Skip to Main content Skip to Navigation


...
hal-00000840v1  Conference papers
Fabien GaucherErwan JahierFlorence MaraninchiBertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
...
edutice-00000640v1  Conference papers
Marilyne RossellePierre GilloisJosette Morinet-LambertFrançois Kohler. A Reference-Frame for Installing the Student's Computer to Access a Virtual Medicine University
Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Nov 2002, Villeurbanne, France. pp.39-46
...
hal-00003125v1  Conference papers
Pierre-Francois DutotLionel Eyraud-DuboisGrégory MouniéDenis Trystram. Models for scheduling on large scale platforms: which policy for which application?
18th International Parallel and Distributed Processing Symposium (IPDPS'04), 2004, Santa Fe, New Mexico, United States
...
hal-00002546v2  Conference papers
Luiz Angelo SteffenelGrégory Mounié. Performance Characterisation of Intra-Cluster Collective Communications
16th Symposium on Computer Architecture and High Performance Computing, 2004, France. pp.254-261
...
edutice-00000688v1  Conference papers
Lahcen OubahssiMonique GrandbastienGérard Claës. Ré-ingénierie d'une plate-forme fondée sur la modélisation d'un processus global de FOAD
Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie, Oct 2004, Compiègne, France. pp.32-38
...
hal-00003292v1  Conference papers
Assia HachichiCyril MartinGaël ThomasSimon PatarinBertil Folliot. Reconfigurations dynamiques de services dans un intergiciel à composants CORBA CCM
1ère Conférence Francophone sur le Déploiement et la (Re)Configuration de Logiciels (DECOR '04), Oct 2004, Grenoble, France. pp.159-170
...
hal-00003391v1  Conference papers
Sébastien BardinLaure Petrucci. From PNML to counter systems for accelerating Petri Nets with FAST
Workshop on Interchange Formats for Petri Nets, 2004, Bologna, Italy. pp.26-40
...
hal-00002548v3  Conference papers
Luiz Angelo SteffenelGrégory Mounié. Fast Tuning of Intra-Cluster Collective Communications
EuroPVM/MPI 2004 11th European PVM/MPI Users' Group Meeting, 2004, France. pp.28-35, ⟨10.1007/978-3-540-30218-6_12⟩
...
hal-00002547v3  Conference papers
Luiz Angelo SteffenelGrégory Mounié. Identifying Logical Homogeneous Clusters for Efficient Wide-area Communications
EuroPVM/MPI 2004 11th European PVM/MPI Users' Group Meeting, 2004, France. pp.319-326
...
sic_00001210v1  Conference papers
Aurèle CrassonJean-Daniel Fekete. Structuration des manuscrits : Du corpus à la région
Semaine du Document Numérique (SDN 2004). Conférence Internationale Francophone sur l'Ecrit et le Document (CIFED 04), Jun 2004, La Rochelle, France. pp.162-168
...
hal-00001520v3  Conference papers
Pierre-Francois DutotLionel Eyraud-DuboisGrégory MouniéDenis Trystram. Bi-criteria Algorithm for Scheduling Jobs on Cluster Platforms
ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2004, France. pp.125-132
...
halshs-00003807v1  Conference papers
Anne ReboulLaurent RomaryBertrand Gaiffe. Références et gestion du dialogue
Actes du colloque TALN'94, 7-8 avril 1994, Apr 1994, pp.134-150
...
halshs-00003822v1  Conference papers
Anne ReboulOlivier GrisvardBertrand Gaiffe. La représentation des actes de langage pour traiter le dialogue
Actes de l'atelier thématique "Théories sémantiques et pragmatiques: le temps, l'espace et le mouvement, du lexique au discours et au dialogue", TALN'99, 1999
...
inria-00000003v1  Conference papers
Jovan PehcevskiJames ThomS. TahaghoghiAnne-Marie Vercoustre. Hybrid XML Retrieval Revisited
Advances in XML Information Retrieval. Third Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Dec 2004, Schloss Dagstuhl, Germany, ⟨10.1007/11424550_13⟩
...
inria-00000008v1  Conference papers
Jean-Pierre Merlet. The necessity of optimal design for parallel machines and a possible certified methodology
Robotic Systems for Handling and Assembly, SFB 562, May 2005, Braunschweig
inria-00000014v1  Conference papers
Thierry FraichardAlexis ScheuerRichard Desvigne. From Reeds and Shepp's to Continuous-Curvature Paths
Int. Conf. on Advanced Robotics, Oct 1999, Tokyo (JP), Japan. pp.585-590
inria-00000015v1  Conference papers
Alexis ScheuerChristian Laugier. Planning Sub-Optimal and Continuous-Curvature Paths for Car-Like Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, C.S. & Engineering Dept, University of Minnesota, Oct 1998, Victoria BC (CA), United States. pp.25-31
inria-00000016v1  Conference papers
Christian LaugierPhilippe GarnierThierry FraichardIgor ParomtchikAlexis Scheuer. Motion Planning and Sensor-Guided Manoeuvre Generation for an Autonomous Vehicle
Int. Conf. on Field and Service Robotics, Dec 1997, Canberra (AU), Australia. pp.56-65
inria-00000017v1  Conference papers
Philippe GarnierThierry FraichardChristian LaugierIgor ParomtchikAlexis Scheuer. Motion Autonomy Through Sensor­Guided Manoeuvre
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
inria-00000018v1  Conference papers
Alexis ScheuerThierry Fraichard. Continuous-Curvature Path Planning for Car-Like Vehicles
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France. pp.997-1003, ⟨10.1109/IROS.1997.655130⟩
...
inria-00000026v1  Conference papers
Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
inria-00000012v1  Conference papers
Ammar JoukhadarAlexis ScheuerChristian Laugier. Fast contact detection between moving deformable polyhedra
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Korea Advanced Institute of Science and Technology, Oct 1999, Kyongju (KR), South Korea. pp.1810-1815, ⟨10.1109/IROS.1999.811741⟩
inria-00000013v1  Conference papers
Alexis ScheuerMing Xie. Continuous-Curvature Trajectory Planning for Manoeuvrable Non-Holonomic Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, Korea Advanced Institute of Science and Technology, Oct 1999, Kyongju (KR), South Korea. pp.1675-1680, ⟨10.1109/IROS.1999.811719⟩
inria-00000022v1  Conference papers
Alexis ScheuerThierry Fraichard. Planning Continuous-Curvature Paths for Car-Like Robots
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, School of Engineering, Osaka University, Nov 1996, Osaka (JP), Japan. pp.1304-1311, ⟨10.1109/IROS.1996.568985⟩
inria-00000023v1  Conference papers
Thierry FraichardAlexis Scheuer. Car-Like Robots and Moving Obstacles
IEEE Int. Conf. on Robotics and Automation, May 1994, San Diego, California (US), United States. pp.64-69, ⟨10.1109/ROBOT.1994.351009⟩
...
inria-00000028v1  Conference papers
Carlos KavkaMarc Schoenauer. Evolution of Voronoi-based Fuzzy Controllers
PPSN'04, Prof. Xin Yao, 2004, Birmingham, pp.541-550
...
inria-00000029v1  Conference papers
Sylvain ConchonFrançois Pottier. JOIN(X): Constraint-Based Type Inference for the Join-Calculus
Proceedings of the 10th European Symposium on Programming (ESOP'01), Apr 2001, Genova, pp.221--236
...
inria-00000031v1  Conference papers
Olivier AumageRutger HofmanHenri Bal. NetIbis: An Efficient and Dynamic Communication System for Heterogeneous Grids
Cluster Computing and Grid 2005, Cardiff University, May 2005, Cardiff/UK
...
inria-00000032v1  Conference papers
François IngelrestDavid Simplot-RylIvan Stojmenovic. Broadcasting in Hybrid Ad Hoc Networks.
The Second Annual Conference on Wireless On demand Network Systems and Services (WONS 2005)., Jan 2005, St Moritz, Switzerland
...
inria-00000033v1  Conference papers
François IngelrestDavid Simplot-RylIvan Stojmenovic. Target Transmission Radius over LMST for Energy-Efficient Broadcast Protocol in Ad Hoc Networks.
The 39th IEEE International Conference on Communications (ICC'04)., Jun 2004, Paris, France
...
inria-00000059v1  Conference papers
Frédérique PeguironOdile Thiery. Modélisation des acteurs et des ressources : application au contexte d'un SIS universitaire
Organisation des connaissances dans les systèmes d'informations orientés utilisation : contexte de veille et d'intelligence économique - ISKO-France'2005, International Society for Knowledge Organization -France, Apr 2005, Nancy
...
inria-00000064v1  Conference papers
Hadrien CambazardNarendra Jussien. Des explications pour reconnaître et exploiter les structures cachées
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.403-412