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 ×
170 results
save search
Document types
Minimize
Conference papers
(63)
Theses
(39)
Reports
(30)
Journal articles
(23)
Habilitation à diriger des recherches
(6)
Preprints, Working Papers, ...
(5)
Book sections
(2)
Directions of work or proceedings
(1)
Books
(1)
Author
Minimize
Emmanuelle Anceaume
(3)
Manamiary Bruno Andriamiarina
(2)
Maha Idrissi Aouad
(2)
Luciana Arantes
(2)
Luciana Arantes
(2)
Masoud Saeida Ardekani
(3)
Marcos Dias de Assuncao
(2)
Valter Balegas
(3)
Khalid Benali
(3)
Anne Benoit
(2)
Albert Benveniste
(1)
Alysson Bessani
(1)
Annette Bieniusa
(1)
Charles Consel
(2)
Alexandru Costan
(1)
Alain Cournier
(1)
Abdulhalim Dandoush
(2)
Arun Das
(1)
Jean-Antoine Desideri
(3)
Stéphane Devismes
(2)
Alexandru Dobrila
(1)
Sérgio Duarte
(2)
Swan Dubois
(2)
Ivanoe de Falco
(3)
Eugen Feller
(2)
Anne Fladenmuller
(1)
Stéphane Frénot
(2)
Blaise Genest
(3)
Claude Godart
(3)
Daniel Hagimont
(2)
Ludovic Henrio
(4)
Loïc Hélouët
(4)
Noha Ibrahim
(3)
Lhassane Idoumghar
(2)
Abdessamad Imine
(3)
Alain Jean-Marie
(2)
Elias Duarte Júnior
(2)
Bettina Kemme
(1)
Anne-Marie Kermarrec
(3)
Alexander Kößler
(1)
Philippe Lamarre
(3)
Eryk Laskowski
(3)
Laurent Lefèvre
(2)
Axel Legay
(1)
Antoine Léger
(1)
Eric Madelaine
(4)
Toshimitsu Masuzawa
(2)
Anisha Mazumder
(1)
Abdoul Aziz Mbacké
(6)
John Mehnert-Spahn
(2)
Ismael Mejia
(2)
Stephan Merz
(2)
Nathalie Mitton
(6)
Pascal Molli
(3)
Christine Morin
(3)
Frédéric Le Mouël
(4)
Manuel Munier
(3)
Dominique Méry
(4)
Luis Daniel Benavides Navarro
(2)
Toan Nguyen
(5)
Thomas Nowak
(2)
Richard Olejnik
(3)
Anne-Cécile Orgerie
(1)
Anne-Cécile Orgerie
(4)
Gérald Oster
(3)
Nuno Preguiça
(7)
Jorge-Arnulfo Quiane-Ruiz
(3)
Martin Quinson
(3)
Ameur-Boulifa Rabea
(2)
Aina Ravoaja
(2)
Heverson Borba Ribeiro
(2)
Hervé Rivano
(4)
Cristian Rosa
(2)
Michaël Rusinowitch
(2)
Alexandra Savu
(1)
Umberto Scafuri
(3)
André Schiper
(1)
Michael Schoettner
(2)
René Schott
(2)
Lionel Seinturier
(2)
Arunabha Sen
(1)
Pierre Sens
(4)
Marc Shapiro
(5)
Marc Shapiro
(6)
Neeraj Kumar Singh
(2)
Pierre Sutra
(4)
Adja Sylla
(1)
Adrián Sánchez-Carmona
(1)
Mario Südholt
(5)
Ernesto Tarantino
(3)
François Taïani
(5)
Sébastien Tixeuil
(2)
Sébastien Tixeuil
(3)
Bernardo Toninho
(1)
Laurentiu Trifan
(5)
Marek Tudruj
(3)
Patrick Valduriez
(3)
Shaofa Yang
(2)
Olivier Zendra
(2)
Antoine Zimmermann
(2)
Subject field
Minimize
Computer Science [cs]
(167)
Mathematics [math]
(2)
Cognitive science
(2)
Engineering Sciences [physics]
(1)
Laboratory
Minimize
Inria Rennes – Bretagne Atlantique
(47)
Institut de Recherche en Informatique et Systèmes Aléatoires
(41)
Inria Grenoble - Rhône-Alpes
(29)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(28)
Laboratoire d'Informatique de Paris 6
(20)
Inria Sophia Antipolis - Méditerranée
(18)
INRIA Lorraine
(17)
Inria Paris-Rocquencourt
(16)
Inria Nancy - Grand Est
(14)
CITI Centre of Innovation in Telecommunications and Integration of services
(12)
Inria Lille - Nord Europe
(12)
Laboratoire de l'Informatique du Parallélisme
(12)
Inria de Paris
(10)
Laboratoire d'Informatique Fondamentale de Lille
(9)
Inria Saclay - Ile de France
(8)
Laboratoire d'Informatique de Grenoble
(8)
Laboratoire d'Informatique de Nantes Atlantique
(8)
Laboratoire de Recherche en Informatique
(8)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(7)
Centro de Investigação em Informática e Tecnologias da Informação
(6)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(5)
LIP6
(5)
Laboratoire Jean Alexandre Dieudonné
(5)
Institut d'Informatique [Neuchâtel]
(4)
Max-Planck-Institut für Informatik
(4)
Institute of Computer Science [Warszawa]
(3)
Institute of High Performance Computing and Networking
(3)
Laboratoire Bordelais de Recherche en Informatique
(3)
SUPELEC-Campus Rennes
(3)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(2)
Computing Department [Lancaster]
(2)
Department of Computer Science and Engineering [Bologna]
(2)
Department of Information and Computer Sciences [Osaka]
(2)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(2)
Dipartimento di Ingegneria informatica automatica e gestionale
(2)
Département d'informatique de l'École normale supérieure
(2)
INRIA Rennes
(2)
Informatique et Distribution
(2)
Institut Universitaire de France
(2)
Institut de recherche en informatique de Toulouse
(2)
Institut für Informatik [Düsseldorf]
(2)
Institut Élie Cartan de Nancy
(2)
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
(2)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2)
Laboratoire de Mathématiques Informatique et Applications
(2)
Laboratoire des Sciences du Numérique de Nantes
(2)
Laboratory of Information, Network and Communication Sciences
(2)
School of Computing and Communications [Lancaster]
(2)
BASICS
(1)
Biomedical Image Analysis Group [London]
(1)
Business Process & Interoperability
(1)
Centre Scientifique et Technique du Bâtiment
(1)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(1)
Computer Systems Laboratory [Stanford]
(1)
Departamento de Informatica [Brésil]
(1)
Departamento de Informática
(1)
Departamento de Informática [Minho]
(1)
Department of Biomedical Informatics [Columbus]
(1)
Department of Computer Science
(1)
Department of Computer Science - Singapore
(1)
Department of Computing and Software
(1)
Department of Information Engineering and Computer Science
(1)
Department of computer science
(1)
Dipartimento di Informatica [Torino]
(1)
Dipartimento di Matematica e Informatica
(1)
Dipartimento di Scienze dell'Informazione [Bologna]
(1)
Division of Mathematical and Computer Sciences and Engineering
(1)
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
(1)
Facultatea de Litere - Faculté des lettres
(1)
Google Inc
(1)
Grupo de investigación en desarollo de software [Bogota]
(1)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(1)
IBM Research [Sao Paulo]
(1)
INRIA Futurs
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria@SiliconValley
(1)
Institut Rhône-Alpin des systèmes complexes
(1)
Institut de Recherche Interdisciplinaire de Grenoble
(1)
Institute of Computer Engineering [Vienna]
(1)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(1)
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
(1)
Laboratoire Traitement et Communication de l'Information
(1)
Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(1)
Microsoft Research India [Bangalore]
(1)
Modélisation, Information & Systèmes
(1)
Network Centric
(1)
Preuves, Programmes et Systèmes
(1)
Rigorous System Design Laboratory [Lausanne]
(1)
Shanghai Key Laboratory of Trustworthy Computing
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Thales Services
(1)
Theoretical Computer Science Group
(1)
Universidade Federal do Parana [Curitiba]
(1)
VERIMAG
(1)
unité de recherche de l'institut du thorax UMR1087 UMR6291
(1)
Language
Minimize
English
(151)
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
(146)
Notice
(24)
Year
Minimize
2020
(8)
2019
(6)
2018
(9)
2017
(9)
2016
(13)
2015
(10)
2014
(9)
2013
(16)
2012
(7)
2011
(15)
2010
(14)
2009
(10)
2008
(9)
2007
(9)
2006
(4)
2005
(4)
2004
(4)
2003
(2)
2001
(2)
2000
(2)
1999
(4)
1998
(3)
1996
(1)
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
5
6
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-00442131
v1
Reports
Abdulhalim Dandoush
,
Alain Jean-Marie
.
Download Process in Distributed Systems, Flow-level vs. Packet-level Simulation Analysis
[Research Report] RR-7159, INRIA. 2009, pp.22
tel-03118108
v1
Theses
Giovanni Farina
.
Tractable Reliable Communication in Compromised Networks
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université; Sapienza Università di Roma (Italie), 2020. English
inria-00442030
v2
Reports
Abdulhalim Dandoush
,
Alain Jean-Marie
.
Download Process in Distributed Systems, Flow-level Algorithm vs. Packet-level Simulation Model
[Research Report] RR-7159, INRIA. 2009, pp.22
ensl-00579429
v1
Conference papers
Marcos Dias de Assuncao
,
Anne-Cécile Orgerie
,
Laurent Lefèvre
.
An Analysis of Power Consumption Logs from a Monitored Grid Site
IEEE/ACM International Conference on Green Computing and Communications (GreenCom)
, Dec 2010, Hangzhou, China. pp.61,
⟨10.1109/GreenCom-CPSCom.2010.46⟩
inria-00524656
v1
Conference papers
Toan Nguyen
,
Laurentiu Trifan
,
Jean-Antoine Désidéri
.
Resilient Workflows for High-Performance Computational Mechanics Platforms
World Congress on Computational Mechanics
, Jul 2010, Sydney, Australia
inria-00638857
v1
Conference papers
Toan Nguyen
,
Laurentiu Trifan
,
Jean-Antoine Desideri
.
A Workflow Platform for Simulation on Grids
International Conference on Networking and Services (ICNS 2011)
, IARIA, May 2011, Venise, Italy
tel-00010545
v1
Theses
Felipe Luna del Aguila
.
Information Flow Security for Asynchronous, Distributed, and Mobile Applications
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English
tel-00543961
v1
Theses
Charbel Rahhal
.
Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
hal-01784225
v1
Conference papers
Guillaume Fieni
,
Romain Rouvoy
,
Lionel Seinturier
.
Towards Sustainable Software Infrastructures for Data-Intensive Systems
EuroDW 2018 - 12th EuroSys Doctoral Workshop
, Apr 2018, Porto, Portugal
hal-01952790
v1
Journal articles
Matteo Marra
,
Guillermo Polito
,
Elisa Gonzalez Boix
.
Out-Of-Place debugging: a debugging architecture to reduce debugging interference
The Art, Science, and Engineering of Programming
, aosa, Inc., 2018, 3 (2), pp.1-29.
⟨10.22152/programming-journal.org/2019/3/3⟩
pastel-01061470
v1
Theses
Thomas Nowak
.
Transient Behavior of Distributed Algorithms and Digital Circuit Models
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English
hal-00710623
v1
Conference papers
Jonathan Labéjof
,
Antoine Léger
,
Philippe Merle
,
Lionel Seinturier
,
Hugues Vincent
.
R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems
First International Workshop on Service and Cloud Based Data Integration (SCDI) at the 16th IEEE International EDOC Conference
, Sep 2012, Beijing, China. pp.204-213,
⟨10.1109/EDOCW.2012.35⟩
hal-01402639
v1
Journal articles
Abdoul Aziz Mbacké
,
Nathalie Mitton
,
Hervé Rivano
.
RFID Reader Anticollision Protocols for Dense and Mobile Deployments
Electronics
, MDPI, 2016, 5 (4),
⟨10.3390/electronics5040084⟩
hal-01213201
v1
Journal articles
Massimo Bartoletti
,
Ilaria Castellani
,
Pierre-Malo Deniélou
,
Mariangiola Dezani-Ciancaglini
,
Silvia Ghilezan
et al.
Combining behavioural types with security analysis
Journal of Logical and Algebraic Methods in Programming
, Elsevier, 2015, pp.18.
⟨10.1016/j.jlamp.2015.09.003⟩
inria-00506093
v1
Reports
Yuxin Deng
,
Stéphane Grumbach
,
Jean-François Monin
.
Towards Verifying Declarative Netlog Protocols with Coq
[Intern report] 2010, pp.20
tel-01622349
v2
Theses
Resmi Ariyattu
.
Towards federated social infrastructures for plug-based decentralized social networks
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2017. English.
⟨NNT : 2017REN1S031⟩
tel-00919684
v1
Theses
Rouwaida Abdallah
.
Implementability of distributed systems described with scenarios
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English.
⟨NNT : 2013DENS0027⟩
tel-00861370
v1
Theses
Antoine Boutet
.
Decentralizing news personalization systems
Other [cs.OH]. Université Rennes 1, 2013. English.
⟨NNT : 2013REN1S023⟩
inria-00435573
v1
Reports
Muhammad Uzair Khan
,
Ludovic Henrio
.
First Class Futures: a Study of Update Strategies
[Research Report] RR-7113, INRIA. 2009
hal-01076951
v1
Conference papers
Nassim Kaldé
,
Olivier Simonin
,
François Charpillet
.
Asynchronous Computing of a Discrete Voronoi Diagram on a Cellular Automaton Using 1-Norm: Application to Roadmap Extraction
IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
, Nov 2014, Limassol, Cyprus
inria-00173529
v2
Reports
Thomas Gazagnaire
,
Shaofa Yang
,
Loïc Hélouët
,
Blaise Genest
,
P.S. Thiagarajan
.
Causal Message Sequence charts
[Research Report] RR-6301, INRIA. 2007, pp.39
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
tel-00545642
v1
Theses
Xiao Bai
.
Personalized top-k processing: from centralized to decentralized systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
tel-00007150
v2
Theses
Samy Abbes
.
Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English
hal-00646730
v2
Preprints, Working Papers, ...
Anne-Marie Kermarrec
,
François Taïani
.
Constellation: Programming decentralised social networks
2011
tel-00926742
v1
Habilitation à diriger des recherches
Loïc Hélouët
.
Scenario automata : theory and applications
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2013
inria-00068387
v2
Reports
Eric Fabre
,
Albert Benveniste
.
Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them
[Research Report] PI 1800, 2006, pp.32
tel-00545641
v1
Theses
Nicolas Le Scouarnec
.
Coding for resource optimization in large-scale distributed systems
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English
inria-00282294
v1
Reports
Xavier Le Guillou
,
Marie-Odile Cordier
,
Sophie Robin
,
Laurence Rozé
.
Chronicles for On-line Diagnosis of Distributed Systems
[Research Report] PI 1890, 2008, pp.49
tel-01413001
v2
Theses
Pierre Obame Meye
.
Dependability in cloud storage
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2016. English.
⟨NNT : 2016REN1S091⟩
1
2
3
4
5
6
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.