Recherche

	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 1588 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00940366v1 Article dans une revue Julia Lawall, René Hansen, Nicolas Palix, Gilles Muller. Improving the Security of Infrastructure Software using Coccinelle. ERCIM News, ERCIM, 2010, pp.54
	hal-00940375v1 Communication dans un congrès Julia Lawall, Ben Laurie, René Hansen, Nicolas Palix, Gilles Muller. Finding Error Handling Bugs in OpenSSL Using Coccinelle European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, 2010, <10.1109/EDCC.2010.31>
	hal-00941123v1 Communication dans un congrès Nicolas Palix, Julia Lawall, Gilles Muller. Tracking Code Patterns over Multiple Software Versions with Herodotos AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, 2010, <10.1145/1739230.1739250>
	hal-00941142v1 Communication dans un congrès Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart et al. WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. IEEE, pp.43-52, 2009, <10.1109/DSN.2009.5270354>
	hal-00777788v1 Communication dans un congrès Guillaume Barbu, Alberto Battistelllo, Guillaume Dabosville, Christophe Giraud, Guénaël Renault et al. Combined Attack on CRT-RSA. Why Public Verification Must Not Be Public? Kaoru Kurosawa; Goichiro Hanaoka. PKC 2013 - Public-Key Cryptography, Feb 2013, Nara, Japan. Springer, 7778, pp.198-215, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-36362-7_13>
	hal-01003189v1 Communication dans un congrès Sylvie Borne, Pierre Fouilhoux, Roland Grappe, Mathieu Lacroix, Pierre Pesneau. Circuit and bond polytopes in series-parallel graphs ISCO 2014 - 3rd International Symposium on Combinatorial Optimization, Mar 2014, Lisbon, Portugal. 2014
	inria-00368260v1 Communication dans un congrès Emmanuel Hyon, Alain Jean-Marie. Politique de service optimal dans une file d'attente en temps discret avec impatiences ROADEF'2009: 10ième Conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2009, Nancy, France. pp.214-215, 2009
	ensl-01529804v1 Rapport Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast et al. CR-LIBM A library of correctly rounded elementary functions in double-precision [Research Report] LIP,. 2006
	lirmm-00149368v1 Communication dans un congrès Olivier Bodini, Thomas Fernique, Éric Rémila. A Characterization of Flip-Accessibility for Rhombus Tilings of the Whole Plane LATA 2007 - 1st International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragona, Spain. pp.139-150, 2007
	hal-00446101v1 Communication dans un congrès Samir Aknine, Usama Mir, Luciana Arantes. Multi-agent Coordination in Ad-hoc Networks based on Coalition Formation ICAART 2010 - International Conference on Agents and Artificial Intelligence, Jan 2010, Valencia, Spain. INSTICC Press, 1, pp.241-246, 2010
	hal-01528377v1 Communication dans un congrès Angelos Mantzaflaris, Éric Schost, Elias Tsigaridas. Sparse Rational Univariate Representation ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, 2017, <10.1145/3087604.3087653>
	hal-01528392v2 Communication dans un congrès Michael Burr, Shuhong Gao, Elias Tsigaridas. The Complexity of an Adaptive Subdivision Method for Approximating Real Curves ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, 2017, <10.1145/3087604.3087654>
	hal-01414786v1 Communication dans un congrès Dominique Béréziat, Isabelle Herlin, Yann Lepoittevin. Ensemble Kalman Filter based on the image structures International Conference on Computer Vision Theory and Applications, Feb 2017, Porto, Portugal
	hal-01349026v1 Communication dans un congrès Walid Benchaïta, Gioacchino Tangari, Samir Ghamri-Doudane, Sébastien Tixeuil. Enhancing Content Distribution through Information-Aware Mechanisms CloudNet, Oct 2016, Pisa, Italy. <http://cloudnet2016.ieee-cloudnet.org/>
	hal-01016470v2 Pré-publication, Document de travail Tuan Minh Pham, Michel Minoux, Serge Fdida, Marcin Pilarski. Optimization of Content Caching in Content-Centric Network 2017
	hal-01500488v1 Pré-publication, Document de travail Benoit Donnet, Bruno Baynat, Timur Friedman. Retouched Bloom Filters: Allowing Networked Applications to Flexibly Trade Off Selected False Positives Against False Negatives 2017
	hal-01527656v1 Direction d'ouvrage, Proceedings Marceau Coupechoux, Anastasios Giovanidis, Jean Walrand, Thomas Bonald, Mérouane Debbah et al. Proceedings of the 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2017 May 2017, Paris, France. 2017, 978-3-901882-90-6. <http://wiopt.telecom-paristech.fr/>
	hal-01511559v1 Communication dans un congrès Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre Sens. Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. <http://algotel2017.ensai.fr/>
	hal-01515359v1 Communication dans un congrès Gauthier Voron, Gaël Thomas, Vivien Quema, Pierre Sens. An interface to implement NUMA policies in the Xen hypervisor Twelfth European Conference on Computer Systems, EuroSys 2017 , Apr 2017, Belgrade, Serbia. pp.15, 2017
	hal-00840829v2 Communication dans un congrès Matteo Sammarco, Miguel Elias Mitre Campista, Marcelo Dias de Amorim. Trace Selection for Improved WLAN Monitoring HotPlanet 2013 - 5th ACM HotPlanet Workshop, Aug 2013, Hong Kong, Hong Kong SAR China. ACM, pp.9-14, 2013, <10.1145/2491159.2491165>
	hal-01453086v1 Rapport George Bosilca, Aurelien Bouteiller, Amina Guermouche, Thomas Herault, Yves Robert et al. A Failure Detector for HPC Platforms [Research Report] RR-9024, INRIA. 2017
	hal-01494871v1 Direction d'ouvrage, Proceedings Paolo Bellavista, Koushik Kar, Sébastien Tixeuil. 18th International Conference on Distributed Computing and Networking (ICDCN 2017) 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ACM New York, NY, USA, pp.367, 2017, 978-1-4503-4839-3. <http://dl.acm.org/citation.cfm?doid=3007748>
	hal-01490178v1 Communication dans un congrès Raphaël Monat, Antoine Miné. Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions Ahmed Bouajjani; David Monniaux. Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. Springer, Verification, Model Checking, and Abstract Interpretation, 10145, pp.386-404, 2017, Lecture Notes in Computer Science. <http://conf.researchr.org/track/VMCAI-2017/>. <10.1007/978-3-319-52234-0_21>
	hal-01001820v3 Article dans une revue Adam Strzebonski, Elias Tsigaridas. Univariate real root isolation over a single logarithmic extension of real algebraic numbers Springer Proceedings in Mathematics & Statistics, Springer, 2017, Applications of Computer Algebra: July 20-23, 2015, Kalamata, Greece, < Ilias S. Kotsireas and Edgar Martínez-Moro>
	hal-01520335v1 Article dans une revue Jordan Adamek, Farina Giovanni, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating and Optimizing Stabilizing Dining Philosophers Elsevier Journal of Parallel and Distributed Computing (JPDC), 2017
	hal-01500348v1 Communication dans un congrès Armel Jacques, Maurice Tchuente, Matthieu Latapy. Time Weight Content-Based Extensions of Temporal Graphs for Personalized Recommendation WEBIST 2017 - 13th International Conference on Web Information Systems and Technologies, Apr 2017, Porto, Portugal. WEBIST 2017
	hal-01500484v1 Pré-publication, Document de travail Vania Conan, Jérémie Leguay, Timur Friedman. The heterogeneity of inter-contact time distributions: its importance for routing in delay tolerant networks 2017
	hal-01500489v1 Pré-publication, Document de travail Benoit Donnet, Philippe Raoult, Timur Friedman. Efficient Route Tracing from a Single Source 2017
	hal-01500491v1 Pré-publication, Document de travail Benoit Donnet, Bradley Huffaker, Timur Friedman, Kimberly C. Claffy. Implementation and Deployment of a Distributed Network Topology Discovery Algorithm 2017
	hal-01512286v1 Communication dans un congrès 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, Jun 2017, Barcelone, Spain. Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, <http://pldi17.sigplan.og>
	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 1588 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Mot-clé

Type de dépôt

Année

Contact