1. Recherche
194 résultats  enregistrer la recherche
hal-00954933v1  Chapitre d'ouvrage
Ronan Ysebaert, Nicolas Lambert, Claude Grasland, Benoit Le Rubrus, Marlène Villanova-Oliver et al.  HyperAtlas, un outil scientifique au service du débat politique - Application à la politique de cohésion de l'Union Européenne
Pierre Beckouche, Claude Grasland, France Guérin-Pace & Jean-Yves Moisseron. Fonder les sciences du territoire, Éditions Karthala, pp.243-267, 2012, Collection du CIST
...
inria-00073273v1  Rapport
Charles Pecheur. Advanced Modelling and Verification Techniques Applied to a Cluster File System
RR-3416, INRIA. 1998
...
inria-00073337v1  Rapport
Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing
RR-3352, INRIA. 1998
...
inria-00073106v1  Rapport
Mihaela Sighireanu, Kenneth J. Turner. Requirement Capture, Formal Description and Verification of an Invoicing System
RR-3575, INRIA. 1998
...
inria-00073516v1  Rapport
Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS
[Research Report] RR-3172, INRIA. 1997
...
inria-00073430v1  Rapport
Charles Pecheur. Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS
RR-3259, INRIA. 1997
...
hal-00773168v1  Rapport
Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz et al.  The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
2011
...
inria-00180739v1  Rapport
Pierre Dangauthier. Distribution de maximum d'entropie de moyenne contrainte
[Rapport de recherche] 2007
...
hal-00980580v1  Rapport
Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan. On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution
[Research Report] RR-8522, INRIA. 2014, pp.27
...
inria-00077205v1  Rapport
Gregor Gössler, Joseph Sifakis. Priority Systems
[Research Report] RR-5226, INRIA. 2004
...
inria-00077221v1  Rapport
Pierre Bessière. Survey: Probabilistic Methodology and Techniques for Artefact Conception and Development
[Research Report] RR-4730, INRIA. 2003
hal-00708947v1  Communication dans un congrès
F. Brissaud, Joël Brunet, Corine Cauvet, Jean-Pierre Giraudin, M. Moreno et al.  Modélisation orientée objet : bilan d'une expérience
INFORSID, Jun 1991, France. pp.183-209, 1991
...
hal-01254907v1  Communication dans un congrès
Michelle Cheatham, Zlatan Dragisic, Jérôme Euzenat, Daniel Faria, Alfio Ferrara et al.  Results of the Ontology Alignment Evaluation Initiative 2015
10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016
...
hal-01324224v1  Chapitre d'ouvrage
Frédéric Aman, Véronique Aubergé, Michel Vacher. Influence of expressive speech on ASR performances: application to elderly assistance in smart home
Sojka, Petr and Horak, Ales and Kopecek, Ivan and Pala, Karel. Text, Speech, and Dialogue: 19th International Conference, TSD 2016, Brno Czech Republic, September 12-16, 2016, Proceedings, Springer International Publishing, pp.522--530, 2016, 978-3-319-45510-5. <10.1007/978-3-319-45510-5_60>
hal-00747347v1  Chapitre d'ouvrage
Said Assar, Corine Cauvet, Agnès Front, Charlotte Hug, Jolita Ralyte. Les méthodes adaptables
Lopisteguy Philippe, Rieu Dominique, Roose Philippe. L'adaptation dans tous ses états, Cépaduès, pp.203-225, 2012, 9782364930292
hal-00696168v1  Communication dans un congrès
Fadi Khalil, Carlos Jaime Barrios-Hernandez, Hervé Aubert, Yves Denneulin, Fabio Coccetti et al.  Simulations Electromagnétiques Distribuées sur une Grille de Calcul
Journées Nationales Microondes - JNM 2009, May 2009, Grenoble, France. 2009
hal-00697480v1  Communication dans un congrès
Jean Arnaud, Sara Bouchenak. Gestion de ressources dans les services Internet
RenPar'18, CFSE'6, Feb 2008, Fribourg, Suisse. 2008
hal-00691997v1  Communication dans un congrès
Xavier Besseron, Thierry Gautier. Optimised recovery with a coordinated checkpoint/rollback protocol for domain decomposition applications
Springer. MCO 2008 : Second International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, Sep 2008, Metz, France. Springer, 14, pp.497-506, 2008, Communications in Computer and Information Science. <10.1007/978-3-540-87477-5_53>
...
tel-01167127v1  Thèse
Maria Eugenia Berezin. Cross-layer techniques for Wireless Local Area Networks
Other [cs.OH]. Université de Grenoble, 2013. English. <NNT : 2013GRENM069>
...
tel-01082637v2  Thèse
Asma Azim. 3D Perception of Outdoor and Dynamic Environment using Laser Scanner
Other [cs.OH]. Université de Grenoble, 2013. English. <NNT : 2013GRENM070>
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
...
inria-00630044v1  Rapport
Joseph Emeras, Olivier Richard, Bruno Bzeznik. Reconstructing the Software Environment of an Experiment with Kameleon
[Research Report] RR-7755, INRIA. 2011
...
tel-00430246v3  Thèse
Charlotte Hug. Méthode, modèles et outil pour la méta-modélisation des processus d'ingénierie de systèmes d'information
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2009. Français
...
tel-00957942v1  Thèse
Walter Andrew Rudametkin Ivey. Robusta : une approche pour la construction d'applications dynamiques
Autre [cs.OH]. Université de Grenoble, 2013. Français. < NNT : 2013GRENM008 >
inria-00554283v1  Article dans une revue
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay et al.  A Modal Interface Theory for Component-based Design
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. <10.3233/FI-2011-416>
hal-01301382v1  Communication dans un congrès
Pedro Silva, Christian Pérez, Frédéric Desprez. Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds
16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'16), May 2016, Cartagena, Colombia. 2016, 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). <10.1109/CCGrid.2016.77>
...
hal-01445000v1  Autre publication
Michel Vacher. SWEET-HOME : système domotique d'assistance au domicile
Infrastructures matérielles et logicielles (réseaux de communication et stockage) pour la société.. 2016

Contact


archive-ouverte@inria.fr