1. Recherche
22 résultats  enregistrer la recherche
...
inria-00073718v1  Rapport
Erven Rohou, François Bodin, André Seznec, Gwendal Le Fol, François Charot et al.  SALTO : System for Assembly-Language Transformation and Optimization
[Research Report] RR-2980, INRIA. 1996
...
inria-00070648v1  Rapport
Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras
[Research Report] RR-5355, INRIA. 2004, pp.28
...
inria-00070418v1  Rapport
Pierrick Coupé, Pierre Hellier, Christian Barillot. État de l'art des méthodes de correction des déformations cérébrales per-opératoires
[Rapport de recherche] RR-5589, INRIA. 2005, pp.51
...
inria-00258507v4  Rapport
Kandaraj Piamrat, César Viho, Adlen Ksentini, Jean-Marie Bonnin. Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges
[Research Report] RR-6459, INRIA. 2008
...
inria-00072091v1  Rapport
Jacques Malenfant. Une étude sémantique du langage QML
[Rapport de recherche] RR-4497, INRIA. 2002
...
inria-00271795v2  Rapport
Naouel Ben Ali, Miklós Molnár, Abdelfattah Belghith. Multi-constrained QoS Multicast Routing Optimization
[Research Report] RR-6500, INRIA. 2008, pp.48
...
inria-00071622v1  Rapport
Laurence Rozé, Marie-Odile Cordier. Diagnosing discrete-event systems: extending the "diagnoser approach" to deal with telecommunication networks
[Research Report] RR-4957, INRIA. 2003
...
inria-00151285v3  Rapport
Pierre Deransart, Mireille Ducassé, Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
[Interne] RR-6229, INRIA. 2007, pp.54
...
inria-00164667v2  Rapport
Olivier Beaumont, Anne-Marie Kermarrec, Etienne Rivière. Peer to peer multidimensional overlays: Approximating complex structures
[Research Report] RR-6248, INRIA. 2007, pp.19
...
inria-00165232v2  Rapport
Yann Busnel, Marin Bertier, Eric Fleury, Anne-Marie Kermarrec. GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Networks
[Research Report] RR-6251, INRIA. 2007, pp.23
...
inria-00169935v2  Rapport
Pierre L'Ecuyer, Jose Blanchet, Bruno Tuffin, Peter Glynn. Asymptotic Robustness of Estimators in Rare-Event Simulation
[Research Report] RR-6281, INRIA. 2007, pp.38
...
inria-00070427v1  Rapport
J. Pagès, Christophe Collewet, François Chaumette, Joaquim Salvi. Visual servoing by means of structured light for plane-to-plane positioning
[Research Report] RR-5579, INRIA. 2005, pp.99
...
inria-00169395v2  Rapport
Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Michelle Cart, Jean Ferrié et al.  A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
[Research Report] RR-6278, INRIA. 2007, pp.19
...
inria-00117018v4  Rapport
Vincent Gramoli, Anne-Marie Kermarrec, Erwan Le Merrer, Didier Neveux. SONDe, Self-Organizing Replica Placement in Large-Scale Dynamic Systems
[Research Report] RR-6052, INRIA. 2006, pp.26
...
inria-00118675v2  Rapport
Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal. Distributed Slicing in Dynamic Systems
[Research Report] RR-6051, INRIA. 2006, pp.27
...
inria-00279074v2  Rapport
Anne-Marie Kermarrec, Erwan Le Merrer, Bruno Sericola, Gilles Trédan. Evaluating topology quality through random walks
[Research Report] RR-6534, INRIA. 2008, pp.22
...
inria-00070271v1  Rapport
Bernard Philippe, Yousef Saad. On correction equations and domain decomposition for computing invariant subspaces
[Research Report] RR-5748, INRIA. 2005, pp.26
...
inria-00070328v1  Rapport
Guy Atenekeng Kahou, Emmanuel Kamgnia, Bernard Philippe. An explicit formulation of the multiplicative Schwarz preconditionner
[Research Report] RR-5685, INRIA. 2005, pp.25
...
inria-00075187v1  Rapport
Jean-Marie Filoque, Eric Gautrin, Bernard Pottier. Efficient global computations on a processor network with programmable logic
[Research Report] RR-1374, INRIA. 1991
...
inria-00077031v1  Rapport
Reinhardt Euler, Hervé Le Verge. A Complete and irredundant linear description of the asymmetric traveling salesman polytope on 6 nodes
[Research Report] RR-1791, INRIA. 1992
...
inria-00073660v1  Rapport
Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot. Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language
[Research Report] RR-3033, INRIA. 1996
...
inria-00074689v1  Rapport
Frédéric Raimbault, Dominique Lavenier, Stéphane Rubini, Bernard Pottier. Fine grain parallelism on a MIMD machine using FPGAs
[Research Report] RR-1983, INRIA. 1993

Contact


archive-ouverte@inria.fr