Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

201 résultats
keyword_s : Distributed systems
Page :
triés par

Realistic Self-stabilization

 Sébastien Tixeuil
26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium
Communication dans un congrès hal-03971242v1

ECOOP 2006-Object-Oriented Technology. Workshop Reader, Workshops, Nantes, France, July 3-7, 2006, Final Reports

 Mario Südholt , Charles Consel
Springer Verlag, Vol. 4379, 157 p., 2007, Lecture Notes in Computer Science, 978-3-540-71772-0
Ouvrages inria-00473630v1
Image document

A comprehensive study of Convergent and Commutative Replicated Data Types

 Marc Shapiro , Nuno Preguiça , Carlos Baquero , Marek Zawirski
[Research Report] RR-7506, Inria – Centre Paris-Rocquencourt; INRIA. 2011, pp.50
Rapport inria-00555588v1
Image document

Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation

 Samy Abbes
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English. ⟨NNT : ⟩
Thèse tel-00007150v2
Image document

Performance and safety construction and evaluation for in-car embedded systems

 Françoise Simonot-Lion
Workshop on real-time systems, Koblenz University, May 2005, Koblenz University
Communication dans un congrès inria-00000778v1
Image document

Decentralizing news personalization systems

 Antoine Boutet
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S023⟩
Thèse tel-00861370v1
Image document

Scaling Out Link Prediction with SNAPLE: 1 Billion Edges and Beyond

 Anne-Marie Kermarrec , François Taïani , Juan Manuel Tirado Martin
[Technical Report] RT-0454, Inria Rennes; INRIA. 2015
Rapport hal-01111459v1
Image document

Construction d’un multi-modèle d’application répartie pour la détection d’intrusion

 David Lanoë
Cryptographie et sécurité [cs.CR]. CentraleSupélec, 2020. Français. ⟨NNT : 2020CSUP0006⟩
Thèse tel-03564183v1
Image document

Týr: Efficient Transactional Storage for Data-Intensive Applications

 Pierre Matri , Alexandru Costan , Gabriel Antoniu , Jesús Montes , María S. Pérez
[Technical Report] RT-0473, Inria Rennes Bretagne Atlantique; Universidad Politécnica de Madrid. 2016, pp.25
Rapport hal-01256563v2
Image document

Topology Aware Leader Election Algorithm for Dynamic Networks

 Arnaud Favier , Nicolas Guittonneau , Luciana Arantes , Anne Fladenmuller , Jonathan Lejeune , et al.
PRDC 2020 - 25th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2020, Perth, Australia. pp.1-10, ⟨10.1109/PRDC50213.2020.00011⟩
Communication dans un congrès hal-02954037v1
Image document

pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)

 Ludovic Henrio , Eric Madelaine , Min Zhang
[Research Report] RR-8579, INRIA. 2014, pp.23
Rapport hal-01055091v2
Image document

Autonomic resilience of distributed IoT applications in the Fog

 Umar Ibn Zaid Ozeer
Databases [cs.DB]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM054⟩
Thèse tel-02570825v1
Image document

Optimized distributed implementation of multiparty interactions with Restriction

 Saddek Bensalem , Marius Bozga , Jean Quilbeuf , Joseph Sifakis
Science of Computer Programming, 2015, 98, pp.293 - 316. ⟨10.1016/j.scico.2014.02.013⟩
Article dans une revue hal-01864700v1
Image document

Reasoning on a network of aligned ontologies

 Antoine Zimmermann , Chan Le Duc
Proc. 2nd International conference on web reasoning and rule systems (RR), Nov 2008, Karlsruhe, Germany. pp.43-57, ⟨10.1007/978-3-540-88737-9_5⟩
Communication dans un congrès hal-00793549v1
Image document

Towards Verifying Declarative Netlog Protocols with Coq

 Yuxin Deng , Stéphane Grumbach , Jean-François Monin
[Intern report] 2010, pp.20
Rapport inria-00506093v1
Image document

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

 Eric Fabre , Albert Benveniste
[Research Report] PI 1800, 2006, pp.32
Rapport inria-00068387v2
Image document

Products of Message Sequence Charts

 Philippe Darondeau , Blaise Genest , Loïc Hélouët
[Research Report] RR-6258, INRIA. 2007, pp.27
Rapport inria-00156035v3
Image document

Reader Scheduling for Tag Access in RFID Systems

 Arunabha Sen , Arun Das , Chenyang Zhou , Anisha Mazumder , Nathalie Mitton , et al.
NoF 2016 - 7th International Conference on Network of the Future, Nov 2016, Buzios, Rio de Janeiro, Brazil
Communication dans un congrès hal-01372697v1
Image document

Eventual Leader Elections in Dynamic Networks

 Arnaud Favier
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS059⟩
Thèse tel-03624018v2
Image document

Incremental Stream Processing using Computational Conflict-free Replicated Data Types

 David Navalho , Sérgio Duarte , Nuno Preguiça , Marc Shapiro
CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Apr 2013, Prague, Czech Republic. pp.31-36, ⟨10.1145/2460756.2460762⟩
Communication dans un congrès hal-00932788v1

The Case for Fast and Invariant-Preserving Geo-Replication

 Valter Balegas , Nuno Preguiça , Sérgio Duarte , Carla Ferreira , Rodrigo Rodrigues , et al.
SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩
Communication dans un congrès hal-01109107v1
Image document

Achieving Convergence with Operational Transformation in Distributed Groupware Systems

 Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
[Research Report] RR-5188, INRIA. 2004, pp.19
Rapport inria-00071398v1
Image document

R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems

 Jonathan Labéjof , Antoine Léger , Philippe Merle , Lionel Seinturier , Hugues Vincent
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⟩
Communication dans un congrès hal-00710623v1
Image document

Vers une architecture pair-à-pair pour l'informatique dans le nuage

 Willy Malvaut-Martiarena
Autre [cs.OH]. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENM044⟩
Thèse tel-00633787v1
Image document

Dynamic Backup Workers for Parallel Machine Learning

 Chuan Xu , Giovanni Neglia , Nicola Sebastianelli
2020
Pré-publication, Document de travail hal-03044199v1
Image document

Personalized top-k processing: from centralized to decentralized systems

 Xiao Bai
Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English. ⟨NNT : ⟩
Thèse tel-00545642v1
Image document

Dependability in cloud storage

 Pierre Obame Meye
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S091⟩
Thèse tel-01413001v2
Image document

A basis for intrusion detection in distributed systems using kernel-level data tainting.

 Christophe Hauser
Other. Supélec; QUEENSLAND UNIVERSITY OF TECHNOLOGY, 2013. English. ⟨NNT : 2013SUPL0013⟩
Thèse tel-01066750v1

Independent Checkpointing in a Heterogeneous Grid Environment

 Eugen Feller , John Mehnert-Spahn , Michael Schoettner , Christine Morin
Future Generation Computer Systems, 2012, 28 (1), pp.163-170. ⟨10.1016/j.future.2011.03.012⟩
Article dans une revue inria-00605914v1
Image document

GOSSIPKIT: A Unified Component Framework for Gossip

 François Taïani , Shen Lin , Gordon S. Blair
IEEE Transactions on Software Engineering, 2014, 40 (2), pp.123-136. ⟨10.1109/TSE.2013.50⟩
Article dans une revue hal-01080198v1
Page :