Skip to Main content Skip to Navigation


...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent 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 ChebaroMickaël DelahayeNikolai 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
hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien 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-01059677v1  Conference papers
Akram IdaniNicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
hal-00930964v1  Journal articles
Jack DongarraBernard 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-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 MulhemDelphine 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 ArrighiJonathan 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 LecouteuxGeorges LinaresYannick EstèveGuillaume 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-00712942v1  Journal articles
Laurence DuchienYves 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-PinedaManuel Montes-Y-GómezDominique VaufreydazJean-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 MetzePetra GieselmannHartwig HolzapfelThomas KlugeIvica 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 BryceM.A.C DekkerSandro EtalleDaniel Le MétayerFré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 ObrechtF. KuznikBernard TourancheauJ.-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 ObrechtFrédéric KuznikBernard TourancheauJean-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-00934042v1  Conference papers
Xavier EtcheversGwen SalaünFabienne BoyerThierry CoupayeNoel 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 HuGilles PrivatStéphane FrénotBernard 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 EtcheversThierry CoupayeFabienne BoyerNoel 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 AbiteboulMeghyn BienvenuAlban GallandMarie-Christine Rousset. Distributed Datalog Revisited
Datalog 2.0 Workshop, Mar 2010, Oxford, United Kingdom