1. Recherche
478 résultats  enregistrer la recherche
...
hal-00923325v1  Communication dans un congrès
Jean-Daniel Boissonnat, Tamal K. Dey, Clément Maria. The Compressed Annotation Matrix : an Efficient Data Structure for Computing Persistent Cohomology
Hans L. Bodlaender and Giuseppe F. Italiano. ESA - European Symposium on Algorithms - 2013, Sep 2013, Sophia Antipolis, France. Springer, 8125, pp.695-706, 2013, Lecture Notes in Computer Science; Algorithms - ESA 2013. <10.1007/978-3-642-40450-4_59>
...
hal-00923328v1  Communication dans un congrès
Giovanni Neglia, Xiaolan Zhang, Jim Kurose, Don Towsley, Haixiang Wang. On Optimal Packet Routing in Deterministic DTNs
IEEE VTC - 77th Vehicular Technology Conference, Jun 2013, Dresden, Germany. pp.1-5, 2013, <10.1109/VTCSpring.2013.6692662>
...
hal-00975339v1  Rapport
Nicaise Choungmo Fofack, Don Towsley, Misha Badov, Mostafa Dehghan, Dennis L. Goeckel. An approximate analysis of heterogeneous and general cache networks
[Research Report] RR-8516, Inria. 2014, pp.36
hal-00923684v1  Communication dans un congrès
Frédéric Chazal, Brittany Terese Fasy, Fabrizio Lecci, Alessandro Rinaldo, Larry Wasserman. Stochastic Convergence of Persistence Landscapes and Silhouettes
30th ACM Symposium on Computational Geometry, Jun 2014, Kyoto, Japan. ACM, pp.474, 2014
hal-01425213v1  Communication dans un congrès
Alessandro Berti, Jean-Pierre Merlet, Marco Carricato. Workspace analysis of redundant cable-suspended parallel robots
2nd Int. Conf. on cable-driven parallel robots (CableCon), 2014, Duisburg, Germany. pp.41-54, 2014
...
inria-00075021v1  Rapport
Zhen Liu, Philippe Nain, Don Towsley. On optimal polling policies
[Research Report] RR-1541, INRIA. 1991
...
inria-00074682v1  Rapport
Mikhail J. Atallah, Andreas Fabri. On the multisearching problem for hypercubes
[Research Report] RR-1990, INRIA. 1993
...
hal-01176856v1  Communication dans un congrès
Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast, Embeddable, λProlog Interpreter
Proceedings of LPAR, Nov 2015, Suva, Fiji. LNCS
...
hal-01227595v1  Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. SUNNY for Algorithm Selection: A Preliminary Study
CILC, Jul 2015, Genova, Italy
...
hal-01378906v1  Pré-publication, Document de travail
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg. Cubical Type Theory: a constructive interpretation of the univalence axiom
Accepted for publication in LIPIcs. 2016
...
inria-00076986v1  Rapport
Philippe Nain, Don Towsley. Stochastic scheduling in a multiclass G/G/1 queue
[Research Report] RR-1746, INRIA. 1992
...
inria-00076957v1  Rapport
Zhen Lui, Don Towsley. Stochastic scheduling in In-Forest Networks
[Research Report] RR-1719, INRIA. 1992
hal-00909382v1  Communication dans un congrès
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model
Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I; Lecture Notes in Computer Science. <10.1007/978-3-642-34026-0_6>
hal-00909381v1  Communication dans un congrès
Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming
Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science; Conflict Detection in Delta-Oriented Programming. <10.1007/978-3-642-34026-0_14>
...
tel-00909410v1  Thèse
Paolo Parisen Toldin. ICC and Probabilistic Classes
Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English
...
hal-00909535v1  Communication dans un congrès
Daniel J. Dougherty, Luigi Liquori. Logic and computation in a lambda calculus with intersection and union types
Edmund M. Clarke and Andrei Voronkov. 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers, Apr 2010, Dakar, Senegal. Springer, 6355, pp.173-191, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-17511-4_11>
hal-00909383v1  Communication dans un congrès
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi et al.  HATS Abstract Behavioral Specification: The Architectural View
Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science; Formal Methods for Components and Objects. <10.1007/978-3-642-35887-6_6>
hal-00909385v1  Communication dans un congrès
Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming
VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. <10.1145/2110147.2110161>
hal-00909386v1  Communication dans un congrès
Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis
Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. Springer, 285, pp.439-444, 2012, Communications in Computer and Information Science; Information Systems, Technology and Management. <10.1007/978-3-642-29166-1_42>
...
inria-00359288v1  Rapport
Jane Tournois, Camille Wormser, Pierre Alliez, Mathieu Desbrun. Interleaving Delaunay Refinement and Optimization for Practical Isotropic Tetrahedron Mesh Generation
[Research Report] RR-6826, INRIA. 2009, pp.27
hal-00858908v1  Autre publication
Xavier Pennec, Sarang Joshi, Mads Nielsen. Mathematical Methods for Medical Imaging
Editorial of the special issue following the Mathematical Foundations of Computational Anatomy (M.. 2013, <10.1007/s11263-013-0650-z>
...
hal-01410567v1  Pré-publication, Document de travail
Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. Implementing Type Theory in Higher Order Constraint Logic Programming
2016
...
hal-01170926v2  Rapport
Stijn De Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. On the Integration of Automatic Deployment into the ABS Modeling Language
[Technical Report] Inria Sophia Antipolis. 2015
...
inria-00074525v1  Rapport
David Harel, Meir Sardas. Randomized graph drawing with heavy-duty preprocessing
[Research Report] RR-2147, INRIA. 1993
...
inria-00074481v1  Rapport
Mark De Berg, Leonidas Guibas, Dan Halperin, Otfried Schwarzkopf, Micha Sharir et al.  Reaching a goal with directional uncertainty
[Research Report] RR-2190, INRIA. 1994
...
inria-00074556v1  Rapport
Zhen Liu, Don Towsley. Burst reduction properties of rate-control throttles : departure process
[Research Report] RR-2116, INRIA. 1993
...
inria-00075321v1  Rapport
Philippe Nain, Don Towsley. Comparison of hybrid minimum laxity / first-in -first-out scheduling policies for real-time multiprocessors
[Research Report] RR-1237, INRIA. 1990
...
hal-01227598v1  Communication dans un congrès
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
LOPSTR, Jul 2015, Siena, Italy
...
hal-01227600v1  Communication dans un congrès
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library
ICTAI, Nov 2015, Vietri sul Mare, Italy

Contact


archive-ouverte@inria.fr