Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418

2001

Journal articles

titre
Different effects of lorazepam and diazepam on perceptual integration.
auteur
T. Beckers, J. Wagemans, M. Boucart, Arnaud Giersch
article
Vision Research, 2001, 41 (17), pp.2297-303
Accès au bibtex
BibTex
titre
On Efficient Sparse Integer Matrix Smith Normal Form Computations
auteur
Jean-Guillaume Dumas, B. David Saunders, Gilles Villard
article
Journal of Symbolic Computation, 2001, 32 (1-2), pp.71-99. ⟨10.1006/jsco.2001.0451⟩
Accès au bibtex
BibTex
titre
The topological entropy of iterated piecewise affine maps is uncomputable
auteur
Pascal Koiran
article
Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.351-356. ⟨10.46298/dmtcs.292⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00958966/file/dm040219.pdf BibTex
titre
Effects of lorazepam on vision and oculomotor balance.
auteur
C. Speeg-Schatz, Arnaud Giersch, M. Boucart, S. Gottenkiene, M. Tondre, F. Kauffmann-Muller, J. M. Danion
article
Binocular Vision and Strabismus Quarterly, 2001, 16 (2), pp.99-104
Accès au bibtex
BibTex
titre
Alignment and distribution is not (always) NP-hard
auteur
Vincent Boudet, Fabrice Rastello, Yves Robert
article
Journal of Parallel and Distributed Computing, 2001, 61, pp.501-519
Accès au bibtex
BibTex
titre
A proposal for a heterogeneous cluster ScaLAPACK (dense linear solvers)
auteur
Olivier Beaumont, Vincent Boudet, Antoine Petitet, Fabrice Rastello, Yves Robert
article
IEEE Transactions on Computers, 2001, 50 (10), pp.1052-1070
Accès au bibtex
BibTex
titre
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
auteur
Gabriel Antoniu, Luc Bougé, Philip Hatcher, Mark Macbeth, Keith Mcguigan, Raymond Namyst
article
Parallel Computing, 2001, 27, pp.1279-1297. ⟨10.1016/S0167-8191(01)00093-X⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563581/file/10.1.1.29.2369.pdf BibTex
titre
Arithmétique par intervalles
auteur
Nathalie Revol
article
Réseaux et systèmes répartis, calculateurs parallèles, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00545026/file/arith-int.pdf BibTex
titre
Matrix multiplication on heterogeneous platforms
auteur
Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert
article
IEEE Transactions on Parallel and Distributed Systems, 2001, 12 (10), pp.1033-1051. ⟨10.1109/71.963416⟩
Accès au bibtex
BibTex
titre
Static LU Decomposition on Heterogeneous Platforms
auteur
Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, Yves Robert
article
International Journal of High Performance Computing Applications, 2001, 15, pp.310―323
Accès au bibtex
BibTex
titre
Modélisation et évaluation des protocoles du multicast fiable dans le contexte des réseaux actifs
auteur
Moufida Maimour, Cong-Duc Pham
article
Calculateurs Paralleles Reseaux et Systemes Repartis, 2001, 13(6), pp.1
Accès au texte intégral et bibtex
https://hal.science/hal-00096994/file/CPRSR01.pdf BibTex
titre
Scilab to Scilab//, the OURAGAN Project
auteur
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Emmanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Pierre Ramet, Jean Roman, Franck Rubi, Serge Steer, Frédéric Suter, Gil Utard
article
Parallel Computing, 2001, 27 (11), pp.1497-1519. ⟨10.1016/S0167-8191(01)00101-6⟩
Accès au bibtex
BibTex

Conference papers

titre
Impact of Interferences on Bandwidth Reservation for Ad Hoc Networks: a First Theoretical Study
auteur
Karell Bertet, Claude Chaudet, Isabelle Guérin-Lassous, Laurent Viennot
article
IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM), Nov 2001, San Antonio, United States. pp.2907 - 2910, ⟨10.1109/GLOCOM.2001.965960⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00471697/file/sawn.pdf BibTex
titre
Loop fusion for memory space optimization
auteur
Antoine Fraboulet, Karen Godary, Anne Mignotte
article
International Symposium on System Synthesis, Oct 2001, Montréal, Canada. pp.95-100
Accès au bibtex
BibTex
titre
Active Networking Support for the Grid
auteur
Laurent Lefèvre, Cong-Duc Pham, Pascale Primet, Bernard Tourancheau, Benjamin Gaidioz, Jean-Patrick Gelas, Moufida Maimour
article
IWAN 2001 - Third Annual International Working Conference on Actvie Networks, Sep 2001, Philadelphia, United States. pp.16--33, ⟨10.1007/3-540-45451-9_2⟩
Accès au bibtex
BibTex
titre
A methodology of parallelization for continuous verified global optimization
auteur
Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle
article
PPAM 2001: Parallel Processing and Applied Mathematics, Roman Wyrzykowski, Sep 2001, Naleczow, Poland. pp.803-810, ⟨10.1007/3-540-48086-2_90⟩
Accès au bibtex
BibTex
titre
Treewidth of planar graphs: connections with duality
auteur
Vincent Bouchitté, Frédéric . Mazoit, Ioan Todinca
article
Euroconference on Combinatorics, Graph Theory and Applications, Sep 2001, Barcelona, France. pp.34-38, ⟨10.1016/S1571-0653(04)00353-1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00351167/file/_connections_with_duality.pdf BibTex
titre
Protocols and Software for Exploiting Myrinet Clusters
auteur
Patrick Geoffray, Cong-Duc Pham, Loïc Prylli, Bernard Tourancheau, Roland Westrelin
article
Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, May 2001, San Francisco, United States. pp.233--242, ⟨10.1007/3-540-45545-0_32⟩
Accès au bibtex
BibTex
titre
A Generic Object-Calculus Based on Addressed Term Rewriting Systems
auteur
Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose
article
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01152576/file/2001-westapp-01.pdf BibTex
titre
Inversion matricielle parallèle de grande taille
auteur
Eddy Caron
article
RenPar'13. 13èmes Rencontres francophones du Parallélisme des Architectures et des Systèmes., Apr 2001, Paris, France. pp.6
Accès au bibtex
BibTex
titre
DSM-PM2: A portable implementation platform for multithreaded DSM consistency protocols
auteur
Gabriel Antoniu, Luc Bougé
article
Proc. 6th IEEE International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS '01), Apr 2001, San Francisco, United States. pp.55-70, ⟨10.1109/IPDPS.2001.925077⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563583/file/hips01.pdf BibTex
titre
Remote object detection in cluster-based Java
auteur
Gabriel Antoniu, Phil Hatcher
article
Proc. 15th International Parallel and Distributed Processing Symposium (IPDPS'01) Workshops, 3rd Int. Workshop on Java for Parallel and Distributed Computing (JavaPDC '01), Apr 2001, San Francisco, United States. ⟨10.1109/IPDPS.2001.925077⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563582/file/javapdc01.pdf BibTex
titre
Extension de la plate-forme DSM-PM2 pour le support de protocoles de cohérence relâchée multithreads
auteur
Gabriel Antoniu, Vincent Bernardi, Luc Bougé
article
Actes des 13es Rencontres francophones du parallélisme (RenPar 13), Apr 2001, Paris, La Villette, France. pp.175-180
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563586/file/RenPar01.pdf BibTex
titre
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
auteur
Marc Daumas, Laurence Rideau, Laurent Thery
article
Theorem Proving in Higher Order Logics, 2001, Edinburgh, United Kingdom. pp.169-184
Accès au texte intégral et bibtex
https://hal.science/hal-00157285/file/DauRidThe01.pdf BibTex
titre
Master-Slave Tasking with Heterogeneous Processors
auteur
Olivier Beaumont, Arnaud Legrand, Yves Robert
article
2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA\'2001), 2001, Unknown, pp.857―863, ⟨10.1109/IPDPS.2003.1213103⟩
Accès au bibtex
BibTex
titre
The Master-Slave Paradigm with Heterogeneous Processors
auteur
Olivier Beaumont, Arnaud Legrand, Yves Robert
article
Cluster\'2001, 2001, Unknown, pp.419―426, ⟨10.1109/TPDS.2003.1233712⟩
Accès au bibtex
BibTex
titre
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
auteur
Vincent Lefèvre, Jean-Michel Muller
article
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Accès au bibtex
BibTex
titre
A Throughput Analysis of Reliable Multicast Protocols in an Active Networking Environment
auteur
Moufida Maimour, Cong-Duc Pham
article
Sixth IEEE Symposium on Computers and Communications, ISCC'01, 2001, Hammamet, Tunisia. pp.151-158
Accès au texte intégral et bibtex
https://hal.science/hal-00096658/file/ISCC01.pdf BibTex
titre
Loop parallelization algorithms
auteur
Alain Darte, Yves Robert, Frédéric Vivien
article
Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques and Run Time Systems, 2001, Unknown, pp.141-171
Accès au bibtex
BibTex
titre
Heterogeneous Matrix-Matrix Multiplication, or Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms
auteur
Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, Yves Robert
article
EuroMicro Workshop on Parallel and Distributed Computing (EuroMicro\'2001), 2001, Unknown, pp.298―305, ⟨10.1109/EMPDP.2001.905056⟩
Accès au bibtex
BibTex
titre
Équilibrage de Charge Statique Pour la Décomposition LU Sur Une Plate-Forme Hétérogène
auteur
Arnaud Legrand
article
13ième Rencontres Francophones Du Parallélisme Des Architectures Et Des Systèmes, 2001, Paris, La Villette
Accès au bibtex
BibTex
titre
Scheduling heuristics for heterogeneous processors
auteur
Vincent Boudet, Yves Robert
article
2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), 2001, Unknown, pp.2109-2115
Accès au bibtex
BibTex
titre
Active Reliable Multicast Strategies for Internet-based Grid Computing Infrastructures
auteur
Moufida Maimour, Cong-Duc Pham
article
2001, pp.437-443
Accès au texte intégral et bibtex
https://hal.science/hal-00096649/file/IC2001.pdf BibTex
titre
Memory Optimization of Data Flow Applications at the Codesign Level
auteur
Antoine Fraboulet, Laurence Just-Meunier, Anne Mignotte
article
Cadence Technical Conference, 2001, San Jose, United States. 6 p
Accès au bibtex
BibTex

Books

titre
Techniques et Science Informatiques
auteur
C. Mongenet, Yves Robert
article
C. Mongenet and Y. Robert. Hermes, 20, pp.981-1116, 2001
Accès au bibtex
BibTex

Reports

titre
Pavages et Bases de Grobner
auteur
Olivier Bodini
article
[Research Report] LIP RR-2001-51, Laboratoire de l'informatique du parallélisme. 2001, 2+31p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101831/file/RR2001-51.pdf BibTex
titre
Generalized Tilings with Height Functions
auteur
Olivier Bodini, Matthieu Latapy
article
[Research Report] LIP RR-2001-52, Laboratoire de l'informatique du parallélisme. 2001, 2+17p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102104/file/RR2001-52.pdf BibTex
titre
Impact of heavy traffic beyond communication range in multi-hops ad-hoc networks
auteur
Dominique Dhoutaut
article
[Research Report] Laboratoire de l'informatique du parallélisme. 2001, 2+9p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102347/file/RR2001-50.pdf BibTex
titre
Adding Data Persistence and Redistribution to NetSolve
auteur
Frédéric Desprez, E. Jeannot
article
[Research Report] LIP RR-2001-39, Laboratoire de l'informatique du parallélisme. 2001, 2+9p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102008/file/RR2001-39.pdf BibTex
titre
Lattices of tilings : an extension to figures with holes
auteur
Eric Rémila
article
[Research Report] LIP RR-2001-48, Laboratoire de l'informatique du parallélisme. 2001, 2+15p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101896/file/RR2001-48.pdf BibTex
titre
Efficient Parallelization of Line-Sweep Computations
auteur
Daniel Chavarría-Miranda, Alain Darte, Robert Fowler, John Mellor-Crummey
article
[Research Report] LIP RR-2001-45, Laboratoire de l'informatique du parallélisme. 2001, 2+34p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101907/file/RR2001-45.pdf BibTex
titre
Parallelization of the Numerical Lyapunov Calculation for the Fermi-Pasta-Ulam Chain
auteur
Fabrice Rastello, Thierry Dauxois
article
[Research Report] LIP RR-2001-42, Laboratoire de l'informatique du parallélisme. 2001, 2+24p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102055/file/RR2001-42.pdf BibTex
titre
Qualité de service et réseaux ad-hoc - un état de l'art
auteur
Claude Chaudet
article
RR-4325, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072262/file/RR-4325.pdf BibTex
titre
Chordal embeddings of planar graph
auteur
Vincent Bouchitté, Frédéric Mazoit, Ioan Todinca
article
[Research Report] Laboratoire de l'informatique du parallélisme. 2001, 2+14p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101804/file/RR2001-47.pdf BibTex
titre
BRuIT : Bandwidth Reservation under Interferences Influence
auteur
Claude Chaudet, Isabelle Guérin Lassous
article
[Research Report] RR-4308, LIP RR-2001-29, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072279/file/RR-4308.pdf BibTex
titre
Tiling groups for Wang tiles
auteur
Cristopher Moore, Ivan Rapaport, Eric Rémila
article
[Research Report] LIP RR-2001-32, Laboratoire de l'informatique du parallélisme. 2001, 2+14p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101843/file/RR2001-32.pdf BibTex
titre
The limit theory of generic polynomials
auteur
Pascal Koiran
article
[Research Report] LIP RR-2001-35, Laboratoire de l'informatique du parallélisme. 2001, 2+14p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102064/file/RR2001-35.pdf BibTex
titre
A Realistic Model and an Efficient Heuristic for Scheduling with Heterogeneous Processors
auteur
Olivier Beaumont, Vincent Boudet, Yves Robert
article
[Research Report] LIP RR-2001-37, Laboratoire de l'informatique du parallélisme. 2001, 2+18p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101846/file/RR2001-37.pdf BibTex
titre
On randomness and infinity
auteur
Grégory Lafitte
article
[Research Report] LIP RR-2001-36, Laboratoire de l'informatique du parallélisme. 2001, 2+8p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102088/file/RR2001-36.pdf BibTex
titre
Formally validated specification of a micro-payment protocol
auteur
Pierre Dargenton, Daniel Hirschkoff, Pierre Lescanne, E. Pommateau
article
[Research Report] LIP RR-2001-31, Laboratoire de l'informatique du parallélisme. 2001, 2+15p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101908/file/RR2001-31.pdf BibTex
titre
Matrix Rank Certification
auteur
David Saunders, Arne Storjohann, Gilles Villard
article
[Research Report] LIP RR-2001-30, Laboratoire de l'informatique du parallélisme. 2001, 2+6p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102007/file/RR2001-30.pdf BibTex
titre
Parallel Execution of the Saturated Reductions
auteur
Benoît Dupont de Dinechin, Christophe Monat, Fabrice Rastello
article
[Research Report] LIP RR-2001-28, Laboratoire de l'informatique du parallélisme. 2001, 2+15p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101824/file/RR2001-28.pdf BibTex
titre
SCILAB to SCILAB// - The Ouragan Project
auteur
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Emmanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Pierre Ramet, Jean Roman, Franck Rubi, Serge Steer, Frederic Suter, Gil Utard
article
[Research Report] RR-2001-24, LIP - ENS Lyon. 2001
Accès au bibtex
BibTex
titre
An Automatic Correcting Method
auteur
Philippe Langlois
article
RR-4204, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072418/file/RR-4204.pdf BibTex
titre
Cost Analysis of a Distributed Video Storage System
auteur
Alice Bonhomme
article
[Research Report] LIP RR-2001-23, Laboratoire de l'informatique du parallélisme. 2001, 2+14p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102072/file/RR2001-23.pdf BibTex
titre
Scalability Issues in a Reliable Distributed Video Storage System
auteur
Alice Bonhomme
article
[Research Report] LIP RR-2001-21, Laboratoire de l'informatique du parallélisme. 2001, 2+6p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101857/file/RR2001-21.pdf BibTex
titre
The Iso-Level Scheduling Heuristic for Heterogeneous Processors
auteur
Olivier Beaumont, Vincent Boudet, Yves Robert
article
[Research Report] LIP RR-2001-22, Laboratoire de l'informatique du parallélisme. 2001, 2+24p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101928/file/RR2001-22.pdf BibTex
titre
Impact of Interferences on Bandwidth Reservation for Ad Hoc Networks: a First Theoretical Study
auteur
Karell Bertet, Isabelle Guérin-Lassous, Laurent Viennot
article
[Research Report] LIP RR-2001-17, Laboratoire de l'informatique du parallélisme. 2001, 2+6p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102036/file/RR2001-17.pdf BibTex
titre
Epistemic Logic in Higher Order Logic An experiment with COQ
auteur
Pierre Lescanne
article
[Research Report] LIP RR-2001-12, Laboratoire de l'informatique du parallélisme. 2001, 2+9p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101795/file/RR2001-12.pdf BibTex
titre
Quantifier rank for parity of embedded finite models
auteur
Hervé Fournier
article
[Research Report] LIP RR-2001-09, Laboratoire de l'informatique du parallélisme. 2001, 2+15p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101892/file/RR2001-09.pdf BibTex
titre
Additive symmetric: the non-negative case
auteur
Marc Daumas, Philippe Langlois
article
[Research Report] LIP RR-2001-06, Laboratoire de l'informatique du parallélisme. 2001, 2+11p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101768/file/RR2001-06.pdf BibTex
titre
Heterogeneous task scheduling : a survey
auteur
Vincent Boudet
article
[Research Report] LIP RR-2001-*07, Laboratoire de l'informatique du parallélisme. 2001, 2+28p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101844/file/RR2001-07.pdf BibTex
titre
Leader Election without Compass in Some Hyperbolic and Euclidean Cellular Automata
auteur
Codrin Nichitiu, Christophe Papazian, Eric Remila
article
[Research Report] LIP RR-2001-08, Laboratoire de l'informatique du parallélisme. 2001, 2+12p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101930/file/RR2001-08.pdf BibTex
titre
Efficient Matrix Preconditioners for Black Box Linear Algebra
auteur
Lin Chen, W. Eberly, Erich Kaltofen, B.D. Saunders, W.J. Turner, Gilles Villard
article
[Research Report] LIP RR-2001-05, Laboratoire de l'informatique du parallélisme. 2001, 2+18p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101893/file/RR2001-05.pdf BibTex
titre
Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment
auteur
Frédéric Desprez, Martin Quinson, Frédéric Suter
article
[Research Report] RR-4320, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072267/file/RR-4320.pdf BibTex
titre
Data Allocation Strategies for Dense Linear Algebra on two-dimensional Grids with Heterogeneous Communication Links
auteur
Olivier Beaumont, Arnaud Legrand, Yves Robert
article
[Research Report] RR-4165, LIP RR-2001-14, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072457/file/RR-4165.pdf BibTex
titre
Validating Polynomial Numerical Computations with Complementary Automatic Methods
auteur
Philippe Langlois, Nathalie Revol
article
[Research Report] RR-4205, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072417/file/RR-4205.pdf BibTex
titre
Parallelization of Automatic Speech Recognition
auteur
Yahya Ould Mohamed El Hadj, Nathalie Revol
article
[Research Report] RR-4110, LIP RR-2001-02, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072521/file/RR-4110.pdf BibTex
titre
Bandwidth-Centric Allocation of Independent Tasks on Heterogeneous Platforms
auteur
Olivier Beaumont, Larry Carter, Jeanne Ferrante, Arnaud Legrand, Yves Robert
article
[Research Report] RR-4210, LIP RR-2001-25, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072412/file/RR-4210.pdf BibTex
titre
Correctly Rounded Exponential Function in Double Precision Arithmetic
auteur
David Defour, Florent de Dinechin, Jean-Michel Muller
article
[Research Report] RR-4231, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072387/file/RR-4231.pdf BibTex
titre
On digit-recurrence division algorithms for self-timed circuits
auteur
Nicolas Boullis, Arnaud Tisserand
article
[Research Report] RR-4221, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072398/file/RR-4221.pdf BibTex
titre
Remote Object Detection in Cluster-Based Java
auteur
Gabriel Antoniu, Philip Hatcher
article
[Research Report] RR-4101, LIP RR-2001-03, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072530/file/RR-4101.pdf BibTex
titre
Interval Newton Iteration in Multiple Precision for the Univariate Case
auteur
Nathalie Revol
article
[Research Report] RR-4334, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072253/file/RR-4334.pdf BibTex
titre
A New Range Reduction Algorithm
auteur
David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
article
[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072320/file/RR-4267.pdf BibTex
titre
Computer Validated Proofs of a Toolset for Adaptable Arithmetic
auteur
Marc Daumas, Claire Moreau-Finot, Laurent Théry
article
[Research Report] RR-4095, LIP RR2001-01, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072536/file/RR-4095.pdf BibTex
titre
Impact of Heavy Traffic Beyond Communication Range in Multi-Hops Ad-Hoc Networks
auteur
Dominique Dhoutaut, Isabelle Guérin-Lassous
article
[Research Report] RR-4335, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072252/file/RR-4335.pdf BibTex
titre
Introduction à l'arithmétique par intervalles
auteur
Nathalie Revol
article
[Rapport de recherche] RR-4297, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072290/file/RR-4297.pdf BibTex
titre
Multipartite Tables in JBits for the Evaluation of Functions on FPGA
auteur
Jérémie Detrey, Florent de Dinechin
article
[Research Report] RR-4305, LIP RR-2001-44, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072282/file/RR-4305.pdf BibTex
titre
DSM-PM2: A Portable Implementation Platform for Multithreaded DSM Consistency Protocols
auteur
Gabriel Antoniu, Luc Bougé
article
[Research Report] RR-4108, LIP RR-2000-39, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072523/file/RR-4108.pdf BibTex
titre
The Master-Slave Paradigm with Heterogeneous Processors
auteur
Olivier Beaumont, Arnaud Legrand, Yves Robert
article
[Research Report] RR-4156, LIP RR-2001-13, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072467/file/RR-4156.pdf BibTex
titre
SCILAB to SCILAB// - The Ouragan Project
auteur
Frédéric Desprez, Martin Quinson, Frédéric Suter, Eric Fleury, Emmanuel Jeannot, Claude Gomez, Maurice Goursat, Serge Steer, Serge Chaumette, Pierre Ramet, Jean Roman, Franck Rubi, Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Eddy Caron, Dominique Lazure, Gil Utard
article
[Research Report] RR-4203, INRIA. 2001
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072419/file/RR-4203.pdf BibTex

Theses

titre
DSM-PM2 : une plate-forme portable pour l'implémentation de protocoles de cohérence multithreads pour systèmes à mémoire virtuellement partagée
auteur
Gabriel Antoniu
article
Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00565382/file/AntoniuPhD.pdf BibTex

Preprints, Working Papers, ...

titre
Computer validated proofs of a toolset for adaptable arithmetic
auteur
Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Thery
article
2001
Accès au bibtex
https://arxiv.org/pdf/cs.MS/0107025 BibTex