1. Recherche
80 résultats  enregistrer la recherche
...
inria-00450054v1  Rapport
Dinil Mon Divakaran, Fabienne Anhalt, Eitan Altman, Pascale Primet. Size-Based Flow Scheduling in a CICQ Switch
[Research Report] RR-7183, INRIA. 2010
...
hal-01197456v2  Rapport
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version)
[Research Report] ENS Lyon. 2015
hal-00909391v1  Chapitre d'ouvrage
Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
...
hal-00020253v1  Communication dans un congrès
David Teller, Pascal Zimmer, Daniel Hirschkoff. Using Ambients to Control Resources (long version)
2004, pp.126 - 144, 2004, <10.1007/s10207-004-0035-y>
...
hal-00798028v1  Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus
Lecture notes in computer science, springer, 2012, 7454, pp 302-316
hal-00747641v1  Communication dans un congrès
Konstantin Avrachenkov, Paulo Gonçalves, Arnaud Legout, Marina Sokol. Classification of Content and Users in BitTorrent by Semi-supervised Learning Methods
8th International Wireless Communications and Mobile Computing Conference (3rd International Workshop on Traffic Analysis and Classification), Date-Added = 2012-04-16 17:03:44 +0200, Date-Modified = 2012-08-30 11:13:51 +0200, Aug 2012, Cyprus, Cyprus. 2012, <10.1109/IWCMC.2012.6314276>
hal-00747652v1  Communication dans un congrès
Konstantin Avrachenkov, Paulo Gonçalves, Arnaud Legout, Marina Sokol. Graph Based Classification of Content and Users in BitTorrent
NIPS Conference, Big Learning Workshop, Dec 2011, Sierra Nevada, Spain. 2011
hal-00747649v1  Communication dans un congrès
Konstantin Avrachenkov, Paulo Gonçalves, Alexey Mishenin, Marina Sokol. Generalized Optimization Framework for Graph-based Semi-supervised Learning
SIAM Data Mining, Date-Added = 2012-01-05 12:17:13 +0100, Date-Modified = 2012-04-16 17:23:09 +0200, Apr 2012, Anaheim (CA), United States. 2012
hal-00798298v1  Communication dans un congrès
Patrick Baillot, Ugo Dal Lago. Higher-Order Interpretations and Program Complexity
Patrick Cegielski and Arnaud Durand. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. Schloss Dagstuhl, 16, pp.62-76, 2012, LIPIcs. <10.4230/LIPIcs.CSL.2012.62>
...
hal-00904138v1  Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types
LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. <10.1109/LICS.2013.44>
...
ensl-00383918v1  Pré-publication, Document de travail
Sébastien Soudan, Dinil Mon Divakaran, Eitan Altman, Pascale Vicat-Blanc Primet. Extending Routing Games to Flows over Time
RRLIP2009-17. 2009
hal-01284117v1  Communication dans un congrès
Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), Nov 2015, Suva, Fiji
...
inria-00633818v1  Rapport
Konstantin Avrachenkov, Paulo Gonçalves, Alexey Mishenin, Marina Sokol. Generalized Optimization Framework for Graph-based Semi-supervised Learning
[Research Report] RR-7774, INRIA. 2011
...
hal-01152576v1  Communication dans un congrès
Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series
...
inria-00348711v1  Communication dans un congrès
Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. The Boost Interval Arithmetic Library
Real Numbers and Computers, 2003, Lyon, France. pp.65-80, 2003
lirmm-00439235v1  Communication dans un congrès
Rodolphe Héliot, Katja Mombaur, Christine Azevedo Coste. Coupling CPG-based trajectory generation and Optimal Control to control online bipedal walking
Humanoids, Dec 2009, Paris, France. 9th IEEE-RAS International Conference on Humanoid Robots, W5, 2009, Modeling, Simulation and Optimization of Bipedal Walking
...
hal-01512294v1  Pré-publication, Document de travail
Arthur Blot, Jean-Michel Muller, Laurent Théry. Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers
2017
...
hal-00720910v2  Rapport
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot et al.  Adding Virtualization Capabilities to Grid'5000
[Research Report] RR-8026, INRIA. 2012, pp.18
...
hal-01246094v2  Communication dans un congrès
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A Behavioural Theory for a π-calculus with Preorders
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.143-158, 2015, Fundamentals of Software Engineering. <10.1007/978-3-319-24644-4_10>
hal-01419632v1  Article dans une revue
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types
Journal of Information and Computation, Elsevier, 2016, 251, pp.26. <10.1016/j.ic.2016.10.003>
...
hal-00818068v2  Pré-publication, Document de travail
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types
2013
...
hal-00949521v1  Pré-publication, Document de travail
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A behavioural theory for a π-calculus with preorders
This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014
...
hal-01149607v1  Communication dans un congrès
Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frederic Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]
Elsevier. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 127 (Issue 5), pp.57-82, 2005, <10.1016/j.entcs.2004.12.042>
hal-00798789v1  Communication dans un congrès
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in Impure Concurrent Languages
CONCUR'10, 2010, France. 6269, pp.328-342, 2010, <10.1007/978-3-642-15375-4_23>
hal-00764423v1  Communication dans un congrès
Dinil Mon Divakaran, Eitan Altman, Georg Post, Ludovic Noirie, Pascale Vicat-Blanc Primet. Analysis of the effects of XLFrames in a network
8th International IFIP-TC 6 Networking Conference (Networking'09), May 2009, Aachen, Germany. pp.364-377, 2009, <10.1007/978-3-642-01399-7_29>
hal-00764417v1  Communication dans un congrès
Dinil Mon Divakaran, Eitan Altman, Georg Post, Ludovic Noirie, Pascale Primet Vicat-Blanc. From Packets to XLFrames: Sand and Rocks for Transfer of Mice and Elephants
IEEE INFOCOM 2009, workshop on High-Speed Networking (HSN'09), Apr 2009, Rio de Janeiro, Brazil. pp.1-6, 2009, <10.1109/INFCOMW.2009.5072149>
...
inria-00383573v1  Rapport
Sébastien Soudan, Dinil Mon Divakaran, Eitan Altman, Pascale Primet. Extending Routing Games to Flows over Time
[Research Report] RR-6931, INRIA. 2009

Contact


archive-ouverte@inria.fr