s'authentifier
version française rss feed


Zoom sur...

Visibilité des archives ouvertes : HAL-Inria toujours en progression

Le classement mondial des archives ouvertes positionne HAL-Inria au 5ème rang dans le classement général et au 1er rang pour les archives institutionnelles.(Voir les classements)

Consultez les derniers dépôts

Dernières publications avec texte intégral des équipes Inria du domaine des sciences informatiques et mathématiques.

Titre
(Un)Safe Browsing
Auteurs
Thomas Gerbet; Amrit Kumar; Cédric Lauradoux
Détail
[Research Report], 2014. RR-8594
Accès au texte intégral et bibtex
rr8594.pdf BibTex
Titre
Fork/Join Parallelism in the Wild: Documenting Patterns and Anti-patterns in Java Programs Using the Fork/Join Framework
Auteurs
Mattias De Wael url; Stefan Marr url; Tom Van Cutsem url
Détail
PPPJ'14, International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Sep 2014, Cracow, Poland.
Accès au texte intégral et bibtex
pppj14-dewael-et-al-forkjoin-parallelism-in-the-wild.pdf BibTex
Titre
Certified Compilation and Worst-Case Execution Time Estimation
Auteurs
André Oliveira Maroneze
Détail
Université Rennes 1, Jun. 2014. English
Accès au texte intégral et bibtex
OLIVEIRA_-_MARONEZE_Andre.pdf BibTex
Titre
LifeCLEF Plant Identification Task 2014
Auteurs
Hervé Goëau; Alexis Joly; Pierre Bonnet; Souheil Selmi; Jean-François Molino; Daniel Barthélémy; Nozha Boujemaa
Détail
L. Cappellato, N. Ferro, M. Halvey, W. Kraaij. CLEF2014 Working Notes. Working Notes for CLEF 2014 Conference, Sheffield, UK, September 15-18, 2014, CEUR-WS, pp. 598-615, 2014, CEUR Workshop Proceedings
Accès au texte intégral et bibtex
Bonnet_Molino_Barthelemy_LifeCLEF_task_2014.pdf BibTex
Titre
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Auteurs
Zhen Zhang; Wendelin Serwe; Jian Wu; Tomohiro Yoneda; Hao Zheng; Chris Myers
Détail
Frédéric Lang and Francesco Flammini. 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, Sep 2014, Florence, Italy. Springer, 8718, pp. 48-62, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
fmics2014.pdf BibTex
  S'authentifier
Identifiant
Mot de passe
s'inscrireretrouver son mot de passe
  Contact

  Actualités
Créez votre page web à partir de HAL (16/04/2013)
Ajout de vignette, vidéo ou annexe (23/05/2012)
Export XML (13/03/2012)
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...