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-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-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-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-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-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-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⟩
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
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-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-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⟩