Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
keyword_s ×
All ×
112 results
save search
Document types
Minimize
Reports
(36)
Conference papers
(29)
Journal articles
(21)
Theses
(14)
Habilitation à diriger des recherches
(6)
Preprints, Working Papers, ...
(2)
Book sections
(1)
Directions of work or proceedings
(1)
Lectures
(1)
Books
(1)
Author
Minimize
Emmanuel Agullo
(4)
Deepthi Devaki Akkoorath
(1)
Abdullah Almousa Almaksour
(1)
Gabriel Antoniu
(4)
Luciana Arantes
(2)
Jean-François Aubry
(1)
Guillaume Aupy
(2)
Alex Auvolat
(1)
Valter Balegas
(3)
Carlos Baquero
(1)
Leonardo Bautista-Gomez
(2)
Ahcène Bendjoudi
(1)
Anne Benoit
(9)
Dounia Bentria
(1)
Marin Bertier
(3)
Annette Bieniusa
(4)
Abdelmadjid Bouabdallah
(1)
Luc Bougé
(2)
Dmitry Burlyaev
(1)
Eduardo Canale
(1)
Héctor Cancela
(1)
Franck Cappello
(3)
Eddy Caron
(1)
Eddy Caron
(3)
Aurélien Cavelan
(2)
Emmanuel Cecchet
(1)
Isabelle Chrisment
(1)
Cachin Christian
(1)
Gene Cooperman
(1)
Ajoy Datta
(1)
Carole Delporte-Gallet
(1)
Frédéric Desprez
(3)
Frédéric Desprez
(1)
Dan Dobre
(1)
Alexandru Dobrila
(1)
Inès Doghri
(1)
Sérgio Duarte
(3)
Swan Dubois
(6)
Hugues Fauconnier
(1)
Eugen Feller
(4)
Charles Fourdrignier
(2)
Bruno Gaujal
(5)
Blaise Genest
(1)
Claudio Geyer
(1)
Luc Giraud
(4)
Alain Girault
(2)
Amina Guermouche
(2)
Mourad Hakem
(5)
Haiwu He
(1)
Jean-Michel Helary
(1)
Florian Huc
(2)
Emmanuel Jeanvoine
(1)
Dohyun Kim
(1)
Arnaud Lefray
(1)
Clément Lepelletier
(1)
Constantinos Makassikis
(2)
Toshimitsu Masuzawa
(5)
Alexandre Maurer
(6)
John Mehnert-Spahn
(2)
Sébastien Monnet
(5)
Christine Morin
(9)
Gilles Muller
(1)
Nicolas Navet
(9)
Ndeye Massata Ndiaye
(2)
Jean-Marc Nicod
(1)
Alessio Pace
(1)
Franck Petit
(2)
Nuno Preguiça
(4)
Stéphane Pérennes
(2)
Saurabh K. Raina
(3)
Michel Raynal
(4)
Yves Robert
(10)
Franco Robledo
(1)
Thomas Ropars
(2)
Thomas Ropars
(3)
Anubis Rossetto
(1)
Gerardo Rubino
(1)
Cristian Ruiz
(1)
Pablo Salas
(2)
André Schiper
(1)
Michael Schoettner
(2)
Pierre Sens
(5)
Marc Shapiro
(4)
Matthieu Simonin
(2)
François Simonot
(1)
Françoise Simonot-Lion
(1)
Ye-Qiong Song
(4)
Julien Stainer
(2)
Hongyang Sun
(2)
Bing Tang
(1)
François Taïani
(2)
Cédric Tedeschi
(2)
Sébastien Tixeuil
(7)
Sébastien Tixeuil
(4)
Antonino Virgillito
(1)
Frédéric Wagner
(1)
Dounia Zaidouni
(1)
Marek Zawirski
(3)
Albert Zomaya
(1)
Mawussi Zounon
(5)
Subject field
Minimize
Computer Science [cs]
(110)
Mathematics [math]
(5)
Cognitive science
(2)
Engineering Sciences [physics]
(1)
Laboratory
Minimize
Laboratoire d'Informatique de Paris 6
(26)
Inria Grenoble - Rhône-Alpes
(25)
Institut de Recherche en Informatique et Systèmes Aléatoires
(25)
Inria Rennes – Bretagne Atlantique
(23)
Laboratoire de l'Informatique du Parallélisme
(22)
Inria Paris-Rocquencourt
(15)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(15)
INRIA Lorraine
(13)
Institut Universitaire de France
(9)
Laboratoire Bordelais de Recherche en Informatique
(9)
Inria Bordeaux - Sud-Ouest
(8)
Laboratory of Information, Network and Communication Sciences
(8)
Inria Sophia Antipolis - Méditerranée
(7)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(7)
Department of Information and Computer Sciences [Osaka]
(5)
Laboratoire d'Informatique de Grenoble
(5)
Inria de Paris
(4)
Laboratoire de Recherche en Informatique
(4)
Departamento de Informática
(3)
INRIA Rennes
(3)
Inria Saclay - Ile de France
(3)
Laboratoire d'Informatique Fondamentale de Lille
(3)
Department of Computer Science [Kaiserslautern]
(2)
Fachbereich Informatik [Kaiserslautern]
(2)
IBM Research Laboratory [Zurich]
(2)
Inria Nancy - Grand Est
(2)
Institut für Informatik [Düsseldorf]
(2)
Joint Laboratory for Petascale Computing [Illinois]
(2)
Laboratoire d'Informatique de Nantes Atlantique
(2)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2)
Laboratoire de Recherche en Informatique d'Amiens
(2)
SUPELEC-Campus Metz
(2)
CEntre de REcherches en MAthématiques de la DEcision
(1)
Centre de Mathématiques Appliquées
(1)
Centre de Recherche en Automatique de Nancy
(1)
Centre de recherche sur l'Information Scientifique et Technique
(1)
Centro de Investigação em Informática e Tecnologias da Informação
(1)
Computer Network Information Center [Beijing]
(1)
Computer Science Department [New-York]
(1)
Computing Department [Lancaster]
(1)
Departamento de Informática [Minho]
(1)
Department of Computer Science - University of Pannonia
(1)
Department of Computer Science [UIUC]
(1)
Department of computer science
(1)
Deptartment of Measurement and Information Systems [Budapest]
(1)
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
(1)
Département d'informatique de l'École normale supérieure
(1)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(1)
IBM Research - Ireland
(1)
INESC Tec
(1)
IUF
(1)
Ingénierie des Matériaux Polymères - Laboratoire des Matériaux Polymères et des Biomatériaux
(1)
Innovative Computing Laboratory [Knoxville]
(1)
Inria Lille - Nord Europe
(1)
Institut für Informationssysteme [Wien]
(1)
Instituto de Computacion [Montevideo]
(1)
Kerlabs
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire d'Analyse Numérique et Informatique [Sénégal]
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Laboratoire de Recherche en Informatique de Tlemcen
(1)
Max-Planck-Institut für Informatik
(1)
Orange Labs [Lannion]
(1)
SFU Discrete Mathematics Group
(1)
School of Computer Science and Engineering [ Changsha]
(1)
School of Computer Science and Engineering [Seoul]
(1)
Language
Minimize
English
(93)
French
(19)
Keyword
Minimize
Scheduling
(580)
Simulation
(504)
Machine learning
(444)
Optimization
(418)
Classification
(397)
Security
(368)
Clustering
(301)
Privacy
(278)
Modélisation
(251)
Complexity
(249)
Ordonnancement
(247)
Verification
(247)
Modeling
(242)
Stability
(239)
Optimal control
(230)
Optimisation
(219)
Segmentation
(200)
Computer vision
(198)
Deep learning
(195)
Rewriting
(195)
Cloud computing
(189)
Ontology
(187)
Performance
(182)
Neural networks
(181)
Coq
(178)
Algorithms
(174)
Data mining
(174)
Routing
(174)
Semantics
(171)
Distributed systems
(170)
Performance evaluation
(167)
Real-time
(167)
Bioinformatics
(162)
Visualization
(161)
Parallelism
(158)
Robustness
(158)
Validation
(151)
RDF
(150)
Réécriture
(149)
Evaluation
(148)
Machine Learning
(147)
Semantic web
(142)
FPGA
(141)
Semantic Web
(140)
Sécurité
(140)
Registration
(139)
Modelling
(138)
EEG
(137)
XML
(137)
Compilation
(136)
Reliability
(136)
GPU
(135)
IoT
(135)
Formal methods
(130)
Scalability
(129)
Adaptation
(127)
Algorithm
(126)
Cloud Computing
(126)
Apprentissage
(125)
Inverse problem
(125)
Internet of Things
(123)
Interoperability
(123)
MRI
(123)
Monitoring
(122)
Data assimilation
(121)
Embedded systems
(121)
MPI
(121)
Matching
(121)
Vision par ordinateur
(121)
Cryptography
(120)
Inverse problems
(119)
Game theory
(118)
Cloud
(117)
Robotics
(117)
Static analysis
(116)
Concurrency
(115)
Estimation
(115)
Image processing
(115)
Reinforcement learning
(115)
Ontologies
(114)
Parallélisme
(114)
Web sémantique
(113)
Fault tolerance
(112)
Diffusion MRI
(110)
Speech recognition
(110)
FMRI
(109)
Learning
(109)
Virtual reality
(108)
Wireless sensor networks
(108)
Design
(107)
Energy efficiency
(107)
Interaction
(107)
Virtualization
(107)
Asymptotic analysis
(106)
Finite element method
(106)
Model checking
(105)
Peer-to-peer
(105)
Robotique
(105)
Sparsity
(105)
Complexité
(104)
Type of deposit
Minimize
Fulltext
(90)
Notice
(22)
Year
Minimize
2020
(4)
2019
(1)
2018
(3)
2017
(1)
2016
(7)
2015
(13)
2014
(6)
2013
(12)
2012
(8)
2011
(9)
2010
(11)
2009
(4)
2008
(6)
2007
(4)
2006
(5)
2005
(3)
2004
(2)
2003
(5)
2002
(1)
2001
(1)
1999
(3)
1998
(3)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
Suivant
Dernière
Sort
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
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
inria-00178655
v1
Conference papers
Abdullah Almousa Almaksour
,
Gabriel Antoniu
,
Luc Bougé
,
Loïc Cudennec
,
Stéphane Gançarski
.
Building a DBMS on top of the JuxMem Grid Data-Sharing Service
HiPerGRID Workshop
, Sep 2007, Brasov, Romania
hal-01431487
v1
Reports
Gabriel Antoniu
,
Marin Bertier
,
Luc Bougé
,
Eddy Caron
,
Frédéric Desprez
et al.
GDS: an Architecture Proposal for a Grid Data-Sharing Service
[Research Report] RR-2005-28, LIP - ENS Lyon. 2005
inria-00000990
v2
Conference papers
Sébastien Monnet
,
Christine Morin
,
Ramamurthy Badrinath
.
A Hierarchical Checkpointing Protocol for Parallel Applications in Cluster Federations
9th IEEE Workshop on Fault-Tolerant Parallel, Distributed and Network-Centric Systems
, Apr 2004, Santa Fe, New Mexico, Mexico. pp.211
hal-02402981
v1
Books
Jesus Carretero
,
Emmanuel Jeannot
,
Albert Zomaya
.
Ultrascale Computing Systems
Institution of Engineering and Technology, 2019,
⟨10.1049/PBPC024E⟩
lirmm-00738222
v1
Journal articles
Stéphane Bessy
,
Clément Lepelletier
.
Optical index of fault tolerant routings in WDM networks
Networks
, Wiley, 2010, 56 (2), pp.95-102
hal-01952884
v1
Journal articles
Thomas Ropars
,
Amina Guermouche
,
Franck Cappello
.
HydEE : Vers un protocole de recouvrement arrière hiérarchique pour les machines exascales De l'exploitation du déterminisme des émissions dans les protocoles de recouvrement arrière
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques
, Lavoisier, 2012, 31 (8-10), pp.1049-1078
hal-01909653
v1
Conference papers
Igor Konnov
,
Josef Widder
.
ByMC: Byzantine Model Checker
ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
, Oct 2018, Limassol, Cyprus. pp.327-342,
⟨10.1007/978-3-030-03424-5_22⟩
hal-01121959
v1
Conference papers
Thomas Ropars
,
Arnaud Lefray
,
Dohyun Kim
,
André Schiper
.
Efficient Process Replication for MPI Applications: Sharing Work Between Replicas
29th IEEE International Parallel & Distributed Processing Symposium (IPDPS2015)
, 2015, Hyderabad, India
hal-00708684
v1
Conference papers
Inès Doghri
,
Laurent Reynaud
,
Isabelle Guérin-Lassous
.
On The Recovery Performance of Single- and Multipath OLSR in Wireless Multi-Hop Networks
Third International ICST Conference on Ad Hoc Networks, ADHOCNETS 2011
, Sep 2011, Paris, France. pp.239,
⟨10.1007/978-3-642-29096-1⟩
hal-01430504
v1
Reports
Eddy Caron
,
Frédéric Desprez
,
Charles Fourdrignier
,
Franck Petit
,
Cédric Tedeschi
.
A Repair Mechanism for Fault-Tolerance for Tree-Structured Peer-to-Peer Systems
[Research Report] RR-2006-34, LIP - ENS Lyon. 2006
inria-00071658
v1
Reports
Emmanuel Cecchet
,
Julie Marguerite
,
Willy Zwaenepoel
.
RAIDb: Redundant Array of Inexpensive Databases
[Research Report] RR-4921, INRIA. 2003
hal-01165186
v2
Reports
Emmanuel Agullo
,
Luc Giraud
,
Mawussi Zounon
.
On the resilience of a parallel sparse hybrid solver
[Research Report] RR-8744, INRIA Bordeaux; INRIA. 2015
inria-00082015
v1
Reports
Omid Amini
,
Frédéric Giroire
,
Florian Huc
,
Stéphane Pérennes
.
Minimal Selectors and Fault Tolerant Networks
[Research Report] 2006, pp.24
inria-00115997
v3
Reports
Eddy Caron
,
Frédéric Desprez
,
Franck Petit
,
Cédric Tedeschi
,
Charles Fourdrignier
.
A Repair Mechanism for Fault-Tolerance for Tree-Structured Peer-to-Peer Systems
[Research Report] RR-6029, LIP RR-2006-34, INRIA, LIP. 2006, pp.15
tel-01231838
v2
Theses
Mawussi Zounon
.
On numerical resilience in linear algebra
Numerical Analysis [cs.NA]. Université de Bordeaux, 2015. English.
⟨NNT : 2015BORD0038⟩
tel-00472781
v1
Theses
Florian Huc
.
Conception de Réseaux Dynamiques Tolérants aux Pannes
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2008. Français
tel-00643729
v2
Habilitation à diriger des recherches
François Taïani
.
Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2011
hal-00773335
v1
Journal articles
Eduardo Canale
,
Héctor Cancela
,
Franco Robledo
,
Gerardo Rubino
,
Pablo Sartor
.
On computing the 2-diameter-constrained K-reliability of networks
International Transactions in Operational Research
, Wiley, 2013, 20 (1), pp.49-58.
⟨10.1111/j.1475-3995.2012.00864.x⟩
hal-01086834
v2
Reports
Jiajun Cao
,
Matthieu Simonin
,
Gene Cooperman
,
Christine Morin
.
Checkpointing as a Service in Heterogeneous Cloud Environments
[Research Report] RR-8633, INRIA-IRISA Rennes Bretagne Atlantique; Northeastern University (Boston, Mass); INRIA. 2014, pp.10
hal-01111370
v1
Journal articles
Olivier Delmas
,
Frédéric Havet
,
Mickaël Montassier
,
Stéphane Pérennes
.
Design of fault-tolerant on-board networks with variable switch sizes
Theoretical Computer Science
, Elsevier, 2015, 562, pp.75-89.
⟨10.1016/j.tcs.2014.09.034⟩
hal-01394405
v1
Journal articles
Benoît Libert
,
Marc Joye
,
Moti Yung
.
Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares
Theoretical Computer Science
, Elsevier, 2016, 645, pp.1-24.
⟨10.1016/j.tcs.2016.02.031⟩
tel-00881094
v1
Theses
Mohammed El Mehdi Diouri
.
Efficacité énergétique dans le calcul très haute performance : application à la tolérance aux pannes et à la diffusion de données
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2013. Français.
⟨NNT : 2013ENSL0836⟩
hal-02861511
v3
Journal articles
Alex Auvolat
,
Davide Frey
,
Michel Raynal
,
François Taïani
.
Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
Bulletin of Association for Theoretical Computer Science (BEATCS)
, Kazuo Iwama, RIMS, Kyoto University Kitashirakawa-Oiwakecho, Kyoto 606-8502, Japan, 2020, 132
hal-00949762
v3
Conference papers
Cristian Ruiz
,
Joseph Emeras
,
Emmanuel Jeanvoine
,
Lucas Nussbaum
.
Distem: Evaluation of Fault Tolerance and Load Balancing Strategies in Real HPC Runtimes through Emulation
CCGRID - 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing
, May 2016, Cartagena, Colombia
tel-01094212
v1
Habilitation à diriger des recherches
Clément Pernet
.
High Performance and Reliable Algebraic Computing
Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014
tel-00486939
v1
Theses
Xavier Besseron
.
Tolérance aux fautes et reconfiguration dynamique pour les applications distribuées à grande échelle
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2010. Français
inria-00558861
v1
Reports
Mohamed Slim Bouguerra
,
Denis Trystram
,
Frédéric Wagner
.
An optimal algorithm for scheduling checkpoints with variable costs
[Technical Report] 2010
hal-00857964
v1
Journal articles
Bogdan Nicolae
,
Franck Cappello
.
BlobCR: Virtual Disk Based Checkpoint-Restart for HPC Applications on IaaS Clouds
Journal of Parallel and Distributed Computing
, Elsevier, 2013, 73 (5), pp.698-711.
⟨10.1016/j.jpdc.2013.01.013⟩
hal-00180768
v1
Conference papers
Simon Gyula
,
Miklós Molnár
,
Laszlo Gonczy
,
Bernard Cousin
.
Dependable k-coverage algorithms for sensor networks
IEEE Instrumentation and Measurement Technology Conference
, May 2007, Varsovie, Poland. pp.ISSN: 1091-5281,
⟨10.1109/IMTC.2007.379153⟩
hal-01121941
v1
Conference papers
Amina Guermouche
,
Thomas Ropars
,
Marc Snir
,
Franck Cappello
.
HydEE: Failure Containment without Event Logging for Large Scale Send-Deterministic MPI Applications
, 2012, Shanghai, China.
⟨10.1109/IPDPS.2012.111⟩
1
2
3
4
Suivant
Dernière
Sort
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
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.