Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01472082v1 Reports Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding [Research Report] RR-LIG-031, LIG. 2012
	hal-00576948v1 Journal articles Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
	hal-00743981v1 Journal articles Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
	hal-00724508v1 Conference papers Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
	lirmm-00879575v1 Conference papers Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France
	hal-01208397v1 Conference papers Sofia Kleisarchaki, Sihem Amer-Yahia, Ahlame Douzal-Chouakria, Vassilis Christophides. Querying Temporal Drifts at Multiple Granularities CIKM 2015, Oct 2015, Melbourne, Australia
	hal-00953273v1 Conference papers Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
	hal-01089427v1 Conference papers Stéphane Ayache, Georges Quénot. LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation TRECVID Workshop, 2008, Gaithersburg, MD, United States
	hal-01059677v1 Conference papers Akram Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
	hal-00930964v1 Journal articles Jack Dongarra, Bernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC) International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
	hal-00931040v1 Journal articles Leila Ben Saad, Cedric Chauvenet, Bernard Tourancheau. IPv6 (Internet Protocol version 6) heterogeneous networking infrastructure for energy efficient building Energy, Elsevier, 2012, Integration and Energy System Engineering, 44 (1), pp.447-457. ⟨10.1016/j.energy.2012.06.008⟩
	hal-00930982v1 Other publications Bernard Tourancheau. Vers un monde d'objets interconnectés 2011
	hal-00954076v1 Conference papers Éric Gaussier. Apprentissage pour la Recherche d'Information Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France
	hal-00954024v1 Conference papers Philippe Mulhem, Delphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
	hal-00944484v1 Journal articles Pablo Arrighi, Jonathan Grattage. Intrinsically universal n-dimensional quantum cellular automata Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898
	hal-00758626v1 Journal articles Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. Dynamic Combination of Automatic Speech Recognition Systems by Driven Decoding IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013
	hal-02094742v1 Poster communications Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. GENERALIZED DRIVEN DECODING FOR SPEECH RECOGNITION SYSTEM COMBINATION ICASSP, 2008, Las Vegas, United States
	hal-00683433v1 Conference papers Fabrice Lefèvre, Djamel Mostefa, Laurent Besacier, Yannick Estève, Matthieu Quignard et al. Leveraging study of robustness and portability of spoken language understanding systems across languages and domains: the PORTMEDIA corpora The International Conference on Language Resources and Evaluation, May 2012, Istanbul, Turkey
	hal-02059224v1 Conference papers Annie Foret, Valérie Bellynck, Christian Boitet. Akenou-Breizh, un projet de plate-forme valorisant des ressources et outils informatiques et linguistiques pour le breton TALaRE'2015, Jun 2015, Caen, France
	hal-00712942v1 Journal articles Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
	inria-00326519v1 Conference papers Luis Villaseñor-Pineda, Manuel Montes-Y-Gómez, Dominique Vaufreydaz, Jean-François Serignat. Experiments on the Construction of a Phonetically Balanced Corpus from the Web Conference on Intelligent Text Processing and Computational Linguistics CICLing-2004, Feb 2004, Seoul, South Korea. 4 p
	inria-00326525v1 Conference papers Florian Metze, Petra Gieselmann, Hartwig Holzapfel, Thomas Kluge, Ivica Rogina et al. The “FAME” Interactive Space 2nd Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms, Feb 2005, Edinburgh, United Kingdom. 4 p
	inria-00395108v1 Conference papers Ciaran Bryce, M.A.C Dekker, Sandro Etalle, Daniel Le Métayer, Frédéric Le Mouël et al. Ubiquitous Privacy Protection Proceedings of the 5th Workshop on Ubicomp Privacy in conjunction with the 9th International Conference on Ubiquitous Computing (UbiComp'2007), Sep 2007, Innsbruck, Austria
	hal-00731122v1 Journal articles Christian Obrecht, F. Kuznik, Bernard Tourancheau, J.-J. Roux. The TheLMA project: Multi-GPU Implementation of the Lattice Boltzmann Method International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.295-303. ⟨10.1177/1094342011414745⟩
	hal-00930965v1 Conference papers Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux. Towards Urban-Scale Flow Simulations Using the Lattice Boltzmann Method Building Simulation 2011 - 12th Conference of International Building Performance Simulation Association, Nov 2011, Sydney, Australia. pp.933-940
	hal-01003059v1 Journal articles Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux. Global Memory Access Modelling for Efficient Implementation of the LBM on GPUs Lecture Notes in Computer Science, Springer, 2011, 6449, pp.151-161
	hal-00934042v1 Conference papers Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel de Palma. Reliable Self-Deployment of Cloud Applications SAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea
	hal-00748526v1 Conference papers Zheng Hu, Gilles Privat, Stéphane Frénot, Bernard Tourancheau. Representation and self-configuration of physical entities in extended smart grid perimeter IEEE PES Innovative Smart Grid Technologies (ISGT) Europe Conference, Oct 2012, Berlin, Germany
	hal-00941398v1 Conference papers Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel de Palma. Self-Configuration of Distributed Applications in the Cloud CLOUD 2011 - IEEE International Conference on Cloud Computing, Jul 2011, Washington, DC, United States. pp.668-675, ⟨10.1109/CLOUD.2011.65⟩
	inria-00540814v2 Conference papers Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset. Distributed Datalog Revisited Datalog 2.0 Workshop, Mar 2010, Oxford, United Kingdom
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize