Skip to Main content Skip to Navigation

hal-00344333v1  Journal articles
Irène DurandBruno Salinier. Constructor Equivalent Term Rewriting Systems
Information Processing Letters, Elsevier, 1993, 47, pp.131--137
hal-00344330v1  Journal articles
Irène DurandBruno Salinier. Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
Information Processing Letters, Elsevier, 1994, 52, pp.137--145
hal-00344335v1  Journal articles
Irène Durand. Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems
Journal of Symbolic Computation, Elsevier, 1994, 18, pp.319--352
hal-00344328v1  Conference papers
Irène DurandAart Middeldorp. Decidable Call by Need Computations in Term Rewriting
14th International Conference on Automated Deduction, 1997, Australia. pp.4--18
hal-00347868v1  Journal articles
Xavier AntoineHélène BarucqAbderrahmane Bendali. Bayliss-Turkel-like Radiation Condition on Surfaces of Arbitrary Shape
Journal of Mathematical Analysis and Applications, Elsevier, 1999, 229 (1), pp.184-211. ⟨10.1006/jmaa.1998.6153⟩
hal-00347872v1  Journal articles
Xavier AntoineHélène Barucq. Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2001, 61 (6), pp.1877-1905
hal-00344304v1  Conference papers
Irène DurandAart Middeldorp. On the Modularity of Deciding Call-by-Need
Foundations of Software Science and Computation Structures, 2001, Italy. pp.199-213
hal-00344294v1  Conference papers
Irène Durand. Autowrite: A Tool for Checking Properties of Term Rewriting Systems
13th International Conference on Rewriting Techniques and Applications, 2002, Denmark. pp.371--375
hal-00789455v1  Conference papers
Cyril BaninoOlivier BeaumontArnaud LegrandYves Robert. Scheduling Strategies for Master-Slave Tasking on Heterogeneous Processor Grids
PARA\'02: International Conference on Applied Parallel Computing, Jun 2002, Espoo, Finland. pp.423―432, ⟨10.1007/3-540-48051-X_42⟩
hal-00789429v1  Journal articles
Olivier BeaumontArnaud LegrandYves Robert. The Master-Slave Paradigm with Heterogeneous Processors
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2003, 14, pp.897―908. ⟨10.1109/TPDS.2003.1233712⟩
inria-00357490v1  Conference papers
Michaël DussereAurélien Esnard. Vers le pilotage des simulations numériques sur la grille
15ème Rencontres francophones du parallélisme (RenPar'15), 2003, La Colle sur Loup, France. pp.196--203
hal-00278795v1  Journal articles
Raffaella BernardiRichard Moot. Generalized quantifiers in declarative and interrogative sentences
Logic Journal of the IGPL, Oxford University Press (OUP), 2003, 11 (4), pp.419-434
hal-00308261v2  Conference papers
Xavier GranierM. GoeseleW. HeidrichH.-P. Seidel. Interactive Visualization of Complex Real-World Light Sources
Proceedings of Pacific Graphics 2003, 2003, Calgary, Canada. pp.59- 66, ⟨10.1109/PCCGA.2003.1238247⟩
hal-00278796v1  Conference papers
Richard Moot. Parsing Corpus-Induced Type-Logical Grammars
CoLogNet/ElsNet Workshop on Linguistic Corpora and Logic Based Grammar Formalisms, 2003, Utrecht, Netherlands. pp.70-85
inria-00346587v1  Conference papers
Olivier BeaumontPierre RametJean Roman. Asymptotically optimal algorithm for Laplace task graphs on heterogeneous platforms
Fifth International Conference on Parallel Processing and Applied Mathematics, Workshop HeteroPar, 2003, Czestochowa, Poland. pp.880--887
hal-00906469v1  Conference papers
David DaneyIoannis Z. Emiris. Élimination de variables appliqueée à l'étalonnage des robots parallèles
Journées Nationales de Calcul Formel, Jan 2003, Luminy, France
hal-00789453v1  Conference papers
Olivier BeaumontArnaud LegrandYves Robert. Scheduling Strategies for Mixed Data and Task Parallelism on Heterogeneous Clusters and Grids
PDP'2003, 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, Feb 2003, Gênes, Italy. pp.209―216, ⟨10.1109/EMPDP.2003.1183590⟩
hal-00789449v1  Conference papers
Olivier BeaumontArnaud LegrandYves Robert. Optimal Algorithms for Scheduling Divisible Workloads on Heterogeneous Systems
IPDS'2003, Parallel and Distributed Processing Symposium, 2003, Feb 2003, Nice, France. ⟨10.1109/IPDPS.2003.1213202⟩
hal-00375916v1  Journal articles
Mostafa AdimyFabien Crauste. Un modèle non-linéaire de prolifération cellulaire : extinction des cellules et invariance
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (7), pp.559-564. ⟨10.1016/S1631-073X(03)00125-0⟩
hal-00906467v1  Conference papers
David Daney. Étalonnage des robots parallèles
Journée robés/Max, Apr 2003, Sophia Antipolis, France
inria-00411019v1  Book sections
Alexandre DenisChristian PérezThierry PriolAndré Ribes. Programming the Grid with Distributed Objects
Craig Lee. Process Coordination and Ubiquitous Computing, CRC Press, 2003, 0849314704
inria-00402338v1  Conference papers
Jacques HenryBento LouroMaria Do Céu Soares. Factorization by invariant embedding of elliptic problems in a circular domain
IFIP TC 7 Conference on System Modeling and Optimization, IFIP, Jul 2003, Sophia Antipolis, France. pp.159-170
inria-00411025v1  Journal articles
Alexandre DenisChristian PérezThierry Priol. Achieving Portable and Efficient Parallel CORBA Objects
Concurrency and Computation: Practice and Experience, Wiley, 2003, 15 (10), pp.891-909. ⟨10.1002/cpe.738⟩
hal-00307767v1  Conference papers
Arnaud PêcherAnnegret K. Wagler. A construction for non-rank facets of stable set polytopes of webs
Eurocomb03. European conference on Combinatorics, Graph Theory and Application, Sep 2003, Czech Republic. pp.301--305
hal-00338558v1  Conference papers
Mathieu ColinThierry Colin. Cauchy problem and numerical simulation for a quasilinear Zakharov system describing laser plasma interaction
Conference on nonlinear analysis, 2004, orlando, United States. pp.1679-1686
hal-03201265v1  Conference papers
Jean Goubault-Larrecq. Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?
15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40
hal-00789448v1  Conference papers
Olivier BeaumontArnaud LegrandLoris MarchalYves Robert. Complexity Results and Heuristics for Pipelined Multicast Operations on Heterogeneous Platforms
2004 International Conference on Parallel Processing (ICPP\'2004), 2004, Unknown, pp.267―274, ⟨10.1109/ICPP.2004.1327931⟩
hal-00789444v1  Conference papers
Olivier BeaumontArnaud LegrandLoris MarchalYves Robert. Assessing the Impact and Limits of Steady-State Scheduling for Mixed Task and Data Parallelism on Heterogeneous Platforms
HeteroPar\'2004: International Conference on Heterogeneous Computing, Jointly Published with ISPDC\'2004: International Symposium on Parallel and Distributed Computing, 2004, Unknown, pp.296―302, ⟨10.1109/ISPDC.2004.12⟩
hal-00789446v1  Conference papers
Olivier BeaumontArnaud LegrandLoris MarchalYves Robert. Steady-State Scheduling on Heterogeneous Clusters: Why and How?
6th Workshop on Advances in Parallel and Distributed Computational Models APDCM, 2004, Unknown, 171a (8 p.)
hal-00789427v1  Journal articles
Cyril BaninoOlivier BeaumontLarry CarterJeanne FerranteArnaud Legrand et al.  Scheduling Strategies for Master-Slave Tasking on Heterogeneous Processor Platforms
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2004, 15, pp.319―330. ⟨10.1109/TPDS.2004.1271181⟩
hal-00350215v1  Book sections
Charles ConselLaurent Réveillère. A DSL Paradigm for Domains of Services: A Study of Communication Services
Domain-Specific Program Generation, Springer Verlag, pp.165-179, 2004, Lecture Notes in Computer Science, State-of-the-Art Survey
inria-00357468v1  Conference papers
Olivier CoulaudMichaël DussereAurélien Esnard. Toward a Computational Steering Environment based on CORBA
Parallel Computing: Environments And Tools for Parallel Scientific Computing, 2004, Dresden, Germany. pp.151--158
inria-00357414v1  Conference papers
Aurélien EsnardMichaël DussereOlivier Coulaud. A Time-Coherent Model for the Steering of Parallel Simulations
10th International Euro-Par Conference, 2004, Pisa, Italy. pp.90--97, ⟨10.1007/b99409⟩
hal-00344274v1  Conference papers
Irène Durand. Autowrite: A Tool for Term Rewrite Systems and Tree Automata
Workshop on Rewriting Strategies, 2004, Aachen, Germany. pp.5--14
hal-00410430v1  Conference papers
François PellegriniDavid Goudin. Using the native mesh partitioning capabilities of Scotch 4.0 in a parallel industrial electromagnetics code
Eleventh SIAM Conference on Parallel Processing for Scientific Computing, Feb 2004, San Francisco, United States
hal-00012408v1  Conference papers
Richard Moot. Graph Algorithms for Improving Type-Logical Proof Search
Categorial grammars - an efficient tool for natural language processing, Jun 2004, Montpellier, France. pp.13-28
inria-00000126v1  Conference papers
Alexandre DenisOlivier AumageRutger HofmanKees VerstoepThilo Kielmann et al.  Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems
the Thirteenth IEEE International Symposium on High-Performance Distributed Computing (HPDC'13), Jun 2004, Honolulu/Hawaii, United States
hal-00308004v1  Conference papers
Joachim PouderouxJean-Christophe GonzatoPascal GuittonXavier Granier. A Software for Reconstructing 3D-Terrains from Scanned Maps
ACM SIGGRAPH 2004 Sketches, Aug 2004, Los Angeles, California, United States. pp.11, ⟨10.1145/1186223.1186237⟩