Laboratoire de l'Informatique du Parallélisme

2000

Journal articles

titre

Metacomputing : vers une nouvelle dimension pour le calcul haute performance

auteur

Franck Cappello, Daniel Litaize, Jean-François Méhaut, Christine Morin, Serge Petiton, D. Trystram

article

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2000, 19 (6), pp.877

Accès au bibtex

titre

The Complexity of Local Dimensions for Constructible Sets

auteur

Pascal Koiran

article

Journal of Complexity, 2000, 16 (1), pp.311-323. ⟨10.1006/jcom.1999.0536⟩

Accès au bibtex

titre

Compiling Data-parallel Programs to A Distributed Runtime Environment with Thread Isomigration

auteur

Gabriel Antoniu, Luc Bougé, Raymond Namyst, Christian Pérez

article

Parallel Processing Letters, 2000, 10 (2-3), pp.201-214. ⟨10.1142/S0129626400000202⟩

Accès au bibtex

titre

Le problème des grandes puissances et celui des grandes racines

auteur

Natacha Portier

article

The Journal of Symbolic Logic, 2000, 65 (4), pp.1675-1685. ⟨10.2307/2695068⟩

Accès au bibtex

titre

Accelerated Shift-and-Add algorithms

auteur

Nathalie Revol, Jean-Claude Yakoubsohn

article

Reliable Computing, 2000, 6 (2), pp.193-205. ⟨10.1023/A:1009921407000⟩

Accès au bibtex

Conference papers

titre

SCILAB to SCILAB

auteur

Frédéric Desprez, Eric Fleury, Emmanuel Jeannot, Frédéric Suter, Jean-Marc Nicod

article

Workshop on Environments & Tools for Parallel Scientific Computing, Sep 2000, Faverges, France

Accès au bibtex

titre

The Infinite Versions of LogSpace ≠ P Are Consistent with the Axioms of Set Theory

auteur

Grégory Lafitte, Jacques Mazoyer

article

MFCS 2000, Aug 2000, Bratislava, Slovakia. pp.508-517, ⟨10.1007/3-540-44612-5_46⟩

Accès au bibtex

titre

Compiling multithreaded Java bytecode for distributed execution

auteur

Gabriel Antoniu, Luc Bougé, Philip Hatcher, Mark Macbeth, Keith Mcguigan, Raymond Namyst

article

Euro-Par 2000: Parallel Processing, Aug 2000, Munchen, Germany. pp.1039-1052, ⟨10.1007/3-540-44520-X_148⟩

Accès au texte intégral et bibtex

titre

Lower Bounds Are Not Easier over the Reals: Inside PH

auteur

Hervé Fournier, Pascal Koiran

article

ICALP 2000, Jul 2000, Geneve, Switzerland. pp.832-843, ⟨10.1007/3-540-45022-X_70⟩

Accès au bibtex

titre

Approximating the Treewidth of AT-Free Graphs

auteur

Vincent Bouchitté, Ioan Todinca

article

WG 2000, Jun 2000, Konstanz, Germany. pp.59-70, ⟨10.1007/3-540-40064-8_7⟩

Accès au bibtex

titre

VRP : un protocole avec une tolérance de perte ajustable pour des hautes performances sur réseau longue distance

auteur

Alexandre Denis

article

Actes des Rencontres francophones du parallélisme (RenPar 12), Jun 2000, Besançon/France, pp.27-32

Accès au texte intégral et bibtex

titre

An IP Next Generation Compliant Java ™ Virtual Machine

auteur

Guillaume Chelius, Eric Fleury

article

IPDPS 2000 - International Workshop on Java for Parallel & Distributed Computing, D. Caromel, S. Chaumette, G. Fox, P. Graham, May 2000, Cancun, Mexico. pp.528-535, ⟨10.1007/3-540-45591-4_72⟩

Accès au bibtex

titre

Existence test of moments: Application to Multifractal Analysis

auteur

Paulo Gonçalves

article

Proceedings Int. Conf. on Telecommunications, May 2000, Acapulco, Mexico

Accès au bibtex

titre

Some algebraic properties of floating-point arithmetic

auteur

Jean-Michel Muller

article

4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany

Accès au texte intégral et bibtex

titre

Circuits versus Trees in Algebraic Complexity

auteur

Pascal Koiran

article

STACS 2000, Feb 2000, Lille, France. pp.35-52, ⟨10.1007/3-540-46541-3_3⟩

Accès au bibtex

titre

Listing All Potential Maximal Cliques of a Graph

auteur

Vincent Bouchitté, Ioan Todinca

article

STACS 2000, Feb 2000, Lille, France. pp.503-515, ⟨10.1007/3-540-46541-3_42⟩

Accès au bibtex

titre

Implementing Java consistency using a generic multithreaded DSM runtime system

auteur

Gabriel Antoniu, Luc Bougé, Philip Hatcher, Mark Macbeth, Keith Mcguigan, Raymond Namyst

article

Proc. Intl. Parallel and Distributed Processing Symposium( IPDPS'00), Workshop on Java for Parallel and Distributed Computing, 2000, Cancun, Mexico. pp.560-567, ⟨10.1007/3-540-45591-4_76⟩

Accès au texte intégral et bibtex

titre

Dense Linear Algebra Kernels on Heterogeneous Platforms

auteur

Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

Parallel Matrix Algorithms and Applications, 2000, Unknown

Accès au bibtex

titre

A Constructive Solution to the Juggling Problem in Processor Array Synthesis

auteur

Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien

article

Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS 2000), 2000, Cancun, Mexico

Accès au bibtex

titre

Load balancing strategies for dense linear algebra kernels on heterogeneous two-dimensional grids

auteur

Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert

article

14th International Parallel and Distributed Processing Symposium (IPDPS'2000), 2000, Cancun, Mexico. pp.783-792, ⟨10.1109/IPDPS.2000.846065⟩

Accès au bibtex

titre

Matrix-matrix multiplication on heterogeneous platforms

auteur

Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert

article

2000 International Conference on Parallel Processing (ICPP'2000), 2000, Toronto, Canada. pp.289-298, ⟨10.1109/ICPP.2000.876144⟩

Accès au bibtex

titre

Heuristics for Scheduling Parameter Sweep Applications in Grid Environments

auteur

Henri Casanova, Arnaud Legrand, Dmitrii Zagorodnov, Fran Berman

article

Heterogeneous Computing Workshop, 2000, Cancun, Mexico. pp.349-363

Accès au bibtex

titre

Compiling Data-parallel Programs to A Distributed Runtime Environment with Thread Isomigration

auteur

Gabriel Antoniu, Luc Bougé, Raymond Namyst, Christian Pérez

article

The 1999 Intl Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA '99), Technical Session on parallel and distributed languages: mechanisms implementations, and tools, 2000, Las Vegas, NV, United States. pp.1756-1762

Accès au texte intégral et bibtex

titre

Scheduling the Computations of a Loop Nest with Respect to a Given Mapping

auteur

Alain Darte, Claude Diderich, Marc Gengler, Frédéric Vivien

article

Proceedings of Euro-Par 2000, 2000, Munich, Germany. pp.405--414

Accès au bibtex

titre

DSM-PM2: a multi-protocol DSM layer for the PM2 multithreaded runtime system

auteur

Gabriel Antoniu, Luc Bougé, Raymond Namyst

article

Proc. 2nd Workshop on Parallel Computing for Irregular Applications (WPCIA2), 2000, Toulouse, France

Accès au bibtex

titre

Integer Smith form via the valence

auteur

Jean-Guillaume Dumas, B. David Saunders, Gilles Villard

article

International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩

Accès au bibtex

titre

Heterogeneity Considered Harmful to Algorithm Designers

auteur

Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

Cluster'2000, 2000, Unknown, pp.403―404

Accès au bibtex

titre

Parallel and Distributed Scientific Computing: A Numerical Linear Algebra Problem Solving Environment Designer's Perspective

auteur

A. Petitet, H. Casanova, J. Dongarra, Yves Robert, R.C. Whaley

article

Handbook on Parallel and Distributed Processing, 2000, Unknown, pp.464-504

Accès au bibtex

titre

Portable List Ranking: an Experimental Study

auteur

Isabelle Guérin Lassous, Jens Gustedt

article

WAE 2000 - Workshop on Algorithm Engineering, 2000, Saarbrücken, Germany. pp.111-122, ⟨10.1007/3-540-44691-5_10⟩

Accès au bibtex

Books

titre

Scheduling and Automatic Parallelization

auteur

Alain Darte, Yves Robert, Frédéric Vivien

article

Birkhaüser, pp.264, 2000

Accès au bibtex

titre

Special issue on Compilers for parallel computers

auteur

Alain Darte, Yves Robert, George André Silber

article

A. Darte and Y. Robert and G.A. Silber. Parallel Processing Letters, 10, pp.151-250, 2000

Accès au bibtex

titre

Time-frequency in action with Matlab

auteur

François Auger, Patrick Flandrin, Paulo Gonçalves

article

Freeware tutorial, pp.120, 2000

Accès au bibtex

Reports

titre

Parallel Computation on Interval Graphs: Algorithms and Experiments

auteur

Afonso Ferreira, Isabelle Guérin-Lassous, Karina Marcus, Andrew Rau-Chaplin

article

[Research Report] LIP RR-2000-43, Laboratoire de l'informatique du parallélisme. 2000, 2+25p

Accès au texte intégral et bibtex

titre

DAGSim: A Simulator for DAG Scheduling Algorithms

auteur

Aubin Jarry, Henri Casanova, Francine Berman

article

[Research Report] LIP RR-2000-46, Laboratoire de l'informatique du parallélisme. 2000, 2+8p

Accès au texte intégral et bibtex

titre

Dense Linear Algebra Kernels on Heterogeneous Platforms: Redistribution Issue

auteur

Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

[Research Report] LIP RR-2000-45, Laboratoire de l'informatique du parallélisme. 2000, 2+15p

Accès au texte intégral et bibtex

titre

Les nouveaux codecs : un état de l'art

auteur

Jean-Christophe Mignot

article

[Research Report] LIP RR-2000-41, Laboratoire de l'informatique du parallélisme. 2000, 2+24p

Accès au texte intégral et bibtex

titre

Streaming over the Internet : State-of-the-Art Techniques and Prototypes

auteur

Jean-Christophe Mignot

article

RR-4073, INRIA. 2000

Accès au texte intégral et bibtex

titre

New Codecs : State-of-the-Art Techniques and Prototypes

auteur

Jean-Christophe Mignot

article

RR-4074, INRIA. 2000

Accès au texte intégral et bibtex

titre

Les nouveaux codec : un état de l'art

auteur

Jean-Christophe Mignot

article

[Rapport de recherche] cnrs; Ecole Normale Supérieure de Lyon; Laboratoire de l'Informatique du Parallélisme. 2000

Accès au texte intégral et bibtex

titre

Static LU Decomposition on Heterogeneous Platforms

auteur

Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

[Research Report] LIP RR-2000-44, Laboratoire de l'informatique du parallélisme. 2000, 2+13p

Accès au texte intégral et bibtex

titre

Distribution de contenus multimédia par fot continu : un état de l'art

auteur

Jean-Christophe Mignot

article

[Rapport de recherche] 2000-40, CNRS; ENS Lyon; INRIA Grenoble - Rhône-Alpes; UCBL. 2000

Accès au texte intégral et bibtex

titre

Distribution de contenus multimédia par flot continu : un état de l'art.

auteur

Jean-Christophe Mignot

article

[Rapport de recherche] LIP RR-2000-40, Laboratoire de l'informatique du parallélisme. 2000, 2+13p

Accès au texte intégral et bibtex

titre

The topological entropy of iterated piecewise affine maps is uncomputable.

auteur

Pascal Koiran

article

[Research Report] LIP RR-2000-36, Laboratoire de l'informatique du parallélisme. 2000, 2+7p

Accès au texte intégral et bibtex

titre

A Revised Presentation of the CENA Method

auteur

Philippe Langlois

article

RR-4025, INRIA. 2000

Accès au texte intégral et bibtex

titre

Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms

auteur

Philippe Langlois

article

RR-3966, INRIA. 2000

Accès au texte intégral et bibtex

titre

From Rounding Error Estimation to Automatic Correction with Automatic Differentiation

auteur

Philippe Langlois

article

RR-3967, INRIA. 2000

Accès au texte intégral et bibtex

titre

Towards a Formalization of pi-calculus Processes in Higher Order Abstract Syntax

auteur

Christine Roeckl, Daniel Hirschkoff, Stefan Berghofer

article

[Research Report] LIP RR-2000-23, Laboratoire de l'informatique du parallélisme. 2000, 2+15p

Accès au texte intégral et bibtex

titre

Loop Shifting for Loop Parallelization

auteur

Alain Darte, Guillaume Huard

article

[Research Report] Laboratoire de l'informatique du parallélisme. 2000, 2+40p

Accès au texte intégral et bibtex

titre

Generic Distributed Shared Memory: the DSM-PM2 Approach

auteur

Gabriel Antoniu, Luc Bougé, Raymond Namyst

article

[Research Report] LIP RR-2000-19, Laboratoire de l'informatique du parallélisme. 2000, 2+13p

Accès au texte intégral et bibtex

titre

A Portable and Adaptive Multi-Protocol Communication Library for Multithreaded Runtime Systems

auteur

Olivier Aumage, Luc Bougé, Raymond Namyst

article

[Research Report] LIP RR-2000-17, Laboratoire de l'informatique du parallélisme. 2000, 2+7p

Accès au texte intégral et bibtex

titre

On the structure of some spaces of tilings.

auteur

Eric Rémila

article

[Research Report] LIP RR-2000-15, Laboratoire de l'informatique du parallélisme. 2000, 2+23p

Accès au texte intégral et bibtex

titre

Transfer theorems via sign conditions

auteur

Pascal Koiran

article

[Research Report] LIP RR-2000-13, Laboratoire de l'informatique du parallélisme. 2000, 2+7p

Accès au texte intégral et bibtex

titre

Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms

auteur

Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert

article

[Research Report] LIP RR-2000-10, Laboratoire de l'informatique du parallélisme. 2000, 2+25 p

Accès au texte intégral et bibtex

titre

Variable Reliability Protocol: A protocol with a tunable loss tolerance for high performance over a WAN.

auteur

Alexandre Denis

article

[Research Report] LIP RR-2000-11, Laboratoire de l'informatique du parallélisme. 2000, 2+29p

Accès au texte intégral et bibtex

titre

Linux Activations : un support système performant pour les applications de calcul multithreads

auteur

Vincent Danjean

article

[Research Report] LIP RR-2000-14, Laboratoire de l'informatique du parallélisme. 2000, 2+9p

Accès au texte intégral et bibtex

titre

Further reducing the redundancy of a notation over a minimally redundant digit set.

auteur

Marc Daumas, David W. Matula

article

[Research Report] LIP RR-2000-09, Laboratoire de l'informatique du parallélisme. 2000, 2+14p

Accès au texte intégral et bibtex

titre

The Infinite Versions of LogSpace!=P Are Consistent with the Axioms of Set Theory.

auteur

Grégory Lafitte, Jacques Mazoyer

article

[Research Report] LIP RR-2000-06, Laboratoire de l'informatique du parallélisme. 2000, 2+9p

Accès au texte intégral et bibtex

titre

Direct proofs of strong normalisation in calculi of explicit substitutions

auteur

Daniel Dougherty, Pierre Lescanne

article

[Research Report] LIP RR-2000-05, Laboratoire de l'informatique du parallélisme. 2000, 2+20p

Accès au texte intégral et bibtex

titre

Web Caches : State-of-the-Art Techniques and Prototypes

auteur

Jean-Christophe Mignot

article

RR-3854, INRIA. 2000

Accès au texte intégral et bibtex

titre

Matrix-Matrix Multiplication on Heterogeneous Platforms

auteur

Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert

article

[Research Report] LIP RR-2000-02, Laboratoire de l'informatique du parallélisme. 2000, 2+28p

Accès au texte intégral et bibtex

titre

MPICH/Madeleine: a True Multi-Protocol MPI for High Performance Networks

auteur

Olivier Aumage, Guillaume Mercier, Raymond Namyst

article

[Research Report] RR-4016, LIP RR-2000-30, INRIA, LIP. 2000

Accès au texte intégral et bibtex

titre

Static LU Decomposition on Heterogeneous Platforms

auteur

Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

[Research Report] 2000-44, 2000

Accès au bibtex

titre

Asynchronous Communications in MPI - the BIP/Myrinet Approach

auteur

Frédérique Chaussumier, Frédéric Desprez, Loïc Prylli

article

[Research Report] RR-3960, INRIA. 2000

Accès au texte intégral et bibtex

titre

Heterogeneity Considered Harmful to Algorithm Designers

auteur

Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

[Research Report] 2000-24, 2000

Accès au bibtex

titre

Some Improvements on Multipartite Table Methods

auteur

Florent de Dinechin, Arnaud Tisserand

article

[Research Report] RR-4059, INRIA. 2000

Accès au texte intégral et bibtex

titre

Dense Linear Algebra Kernels on Heterogeneous Platforms: Redistribution Issues

auteur

Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, Yves Robert

article

[Research Report] 2000-45, 2000

Accès au bibtex

titre

On-The-Fly Range Reduction

auteur

Vincent Lefèvre, Jean-Michel Muller

article

[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000

Accès au texte intégral et bibtex

titre

Heterogeneous Matrix-Matrix Multiplication or Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms

auteur

Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert

article

[Research Report] 2000-10, 2000

Accès au bibtex

titre

A Portable and Efficient Communication Library for High-Performance Cluster Computing

auteur

Olivier Aumage, Luc Bougé, Alexandre Denis, Jean-François Méhaut, Guillaume Mercier, Raymond Namyst, Loïc Prylli

article

[Research Report] RR-3976, LUP RR-2000-26, INRIA, LIP. 2000

Accès au texte intégral et bibtex

titre

Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions

auteur

Tomas Lang, Jean-Michel Muller

article

[Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000

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

[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000

Accès au texte intégral et bibtex