Laboratoire de l'Informatique du Parallélisme

2001

Journal articles

titre

Treewidth of planar graphs: connections with duality

auteur

Vincent Bouchitté, Frédéric Mazoit, Ioan Todinca

article

Electronic Notes in Discrete Mathematics, 2001, 10, pp.34-38. ⟨10.1016/S1571-0653(04)00353-1⟩

Accès au bibtex

titre

Algorithms for Leader Election by Cellular Automata

auteur

Codrin Nichitiu, Jacques Mazoyer, Eric Rémila

article

Journal of Algorithms in Cognition, Informatics and Logic, 2001, 41 (2), pp.302-329. ⟨10.1006/jagm.2001.1175⟩

Accès au bibtex

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

titre

Back-and-forth systems for generic curves and a decision algorithm for the limit theory

auteur

Pascal Koiran, Natacha Portier

article

Annals of Pure and Applied Logic, 2001, 111 (3), pp.257-275. ⟨10.1016/S0168-0072(01)00027-6⟩

Accès au 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

titre

On treewidth approximations

auteur

Vincent Bouchitté, Dieter Kratsch, Haiko Miiller, Ioan Todinca

article

Electronic Notes in Discrete Mathematics, 2001, 8, pp.98-101. ⟨10.1016/S1571-0653(05)80091-5⟩

Accès au 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

titre

Treewidth and Minimum Fill-in: Grouping the Minimal Separators

auteur

Vincent Bouchitté, Ioan Todinca

article

SIAM Journal on Computing, 2001, 31 (1), pp.212-232. ⟨10.1137/S0097539799359683⟩

Accès au 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

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

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

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

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

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

titre

Deciding stability and mortality of piecewise affine dynamical systems

auteur

Vincent D. Blondel, Olivier Bournez, Pascal Koiran, Christos Papadimitriou, John N. Tsitsiklis

article

Theoretical Computer Science, 2001, 255 (1-2), pp.687-696. ⟨10.1016/S0304-3975(00)00399-6⟩

Accès au 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

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

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

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

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

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

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

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

titre

Two-States Bilinear Intrinsically Universal Cellular Automata

auteur

Nicolas Ollinger

article

FCT 2001, Aug 2001, Riga, Latvia. pp.396-399, ⟨10.1007/3-540-44669-9_41⟩

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

An Automatic Correcting Method

auteur

Philippe Langlois

article

RR-4204, INRIA. 2001

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Theses

titre

DSM-PM2: a portable platform for implementing multithreaded consistency protocols pour distributed shared memory systems

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

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