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-00934047v1 Conference papers Samuel Bernard, Xavier Défago, Sébastien Tixeuil. A Fast and Robust Optimistic Total Order Broadcast for Online Video Games International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
	hal-00432218v1 Conference papers Olivier Bodini, Thomas Fernique, Éric Rémila. Distances on Lozenge Tilings DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, Sep 2009, Montreal, Canada. pp.240-251, ⟨10.1007/978-3-642-04397-0_21⟩
	hal-01086082v1 Conference papers Ripon K. Saha, Julia L. Lawall, Sarfraz Khurshid, Dewayne Perry. On the Effectiveness of Information Retrieval Based Bug Localization for C Programs ICSME 2014 - 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.161-170, ⟨10.1109/ICSME.2014.38⟩
	hal-01328012v1 Conference papers Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter. Partial Type Equivalences for Verified Dependent Interoperability ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
	hal-01337093v1 Conference papers Mariem Saied, Jens Gustedt, Gilles Muller. Automatic Code Generation for Iterative Multi-dimensional Stencil Computations High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
	hal-01461209v1 Journal articles Pierre-Evariste Dagand. The essence of ornaments Journal of Functional Programming, Cambridge University Press (CUP), 2017, 27, ⟨10.1017/S0956796816000356⟩
	hal-01512286v1 Conference papers Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet et al. A Formally Verified Compiler for Lustre PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
	hal-01556589v1 Conference papers Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller. Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers 2017 USENIX Annual Technical Conference, Jul 2017, Santa Clara, CA, United States. pp.12
	hal-01581628v1 Conference papers Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall et al. Analysing Selfishness Flooding with SEINE The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Jun 2017, Denver, Colorado, United States. pp.603 - 614, ⟨10.1109/DSN.2017.51⟩
	hal-01653728v1 Journal articles Pavneet Singh Kochhar, David Lo, Julia Lawall, Nachiappan Nagappan. Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2017, 66 (4), pp.1213 - 1228. ⟨10.1109/TR.2017.2727062⟩
	tel-01624259v1 Theses Antoine Blin. Vers une utilisation efficace des processeurs multi-coeurs dans des systèmes embarqués à criticités multiples Systèmes embarqués. Université Pierre et Marie Curie - Paris VI, 2017. Français. ⟨NNT : 2017PA066114⟩
	hal-01673541v1 Conference papers Victor Cacciari Miraldo, Pierre-Evariste Dagand, Wouter Swierstra. Type-directed diffing of structured data TyDe 2017 - 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Sep 2017, Oxford, United Kingdom. pp.2-15, ⟨10.1145/3122975.3122976⟩
	hal-01330861v1 Reports Julia Lawall, Quentin Lambert, Gilles Muller. Prequel: A Patch-Like Query Language for Commit History Search [Research Report] RR-8918, Inria Paris. 2016
	hal-01355859v1 Conference papers Ferdian Thung, Dinh Xuan Bach Le, David Lo, Julia Lawall. Recommending Code Changes for Automatic Backporting of Linux Device Drivers 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, Oct 2016, Raleigh, North Carolina, United States
	hal-01403830v1 Conference papers Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, Lionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
	hal-01086077v1 Conference papers Yuan Tian, David Lo, Julia Lawall. Automated construction of a software-specific word similarity database 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.44-53, ⟨10.1109/CSMR-WCRE.2014.6747213⟩
	edutice-00135470v1 Journal articles Brigitte de la Passardière, Monique Grandbastien. Présentation de LOM v1.0, standard IEEE Sciences et Techniques Educatives, Hermes, 2003, Hors série, pp.211-218
	hal-01248216v1 Conference papers Marc Shapiro, Paulo Ferreira, Nicolas Richer. Experience with the PerDiS large-scale data-sharing middleware 9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.55-69, ⟨10.1007/3-540-45498-5_6⟩
	hal-01248218v1 Conference papers Nicolas Richer, Marc Shapiro. The memory behavior of WWW, or the WWW considered as a persistent store 9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.161-176, ⟨10.1007/3-540-45498-5_14⟩
	inria-00071804v1 Reports Simon Patarin, Mesaac Makpangou. On-line Measurement of Web Proxy Cache Efficiency [Research Report] RR-4782, INRIA. 2003
	lirmm-00149373v1 Conference papers Olivier Bodini, Thomas Fernique, Éric Rémila. Characterizations of Flip-Accessibility for Domino Tilings of the Whole Plane FPSAC 2007 - 19th international conference on Formal Power Series and Algebraic Combinatorics, Jul 2007, Tianjin, China. pp.10
	hal-00275358v1 Journal articles Grégoire Henry, Michel Mauny, Emmanuel Chailloux. Typer la désérialisation sans sérialiser les types Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
	lirmm-00379207v1 Journal articles Olivier Bodini, Thomas Fernique, Éric Rémila. A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane Information and Computation, Elsevier, 2008, Special Issue: 1st International Conference on Language and Automata Theory and Applications (LATA 2007), 206 (9-10), pp.1065-1073. ⟨10.1016/j.ic.2008.03.008⟩
	hal-01213325v1 Conference papers Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda et al. WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks The Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩
	inria-00071789v1 Reports Fabrice Le Fessant, Simon Patarin. MLdonkey, a Multi-Network Peer-to-Peer File-Sharing Program [Research Report] RR-4797, INRIA. 2003
	hal-01144309v1 Conference papers Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda et al. De la Survie Énergétique des Réseaux de Capteurs ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
	hal-01148949v1 Preprints, Working Papers, ... Stéphane Fetcher, Luigi Liquori. Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work] 2005
	hal-00773654v1 Conference papers Damien Doligez, Mathieu Jaume, Renaud Rioboo. Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩
	hal-00761351v1 Journal articles Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet. Spécification et mécanisme de détection de flots d'information illégaux Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩
	inria-00070678v1 Reports Daniel Lazard, Fabrice Rouillier. Solving Parametric Polynomial Systems [Research Report] RR-5322, INRIA. 2004, pp.23
	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