Keywords
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Hal)

Index « Keywords » - entrée « distributed systems »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
distributed system < distributed systems < distributed threads  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000094 (2016-01-06) Tomasz Buchert [France]Managing large-scale, distributed systems research experiments with control-flows
000151 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000814 (2014-11-10) Nassim Kaldé [France] ; Olivier Simonin [France] ; François Charpillet [France]Asynchronous Computing of a Discrete Voronoi Diagram on a Cellular Automaton Using 1-Norm: Application to Roadmap Extraction
001D91 (2011-06-06) Stephan Merz [France] ; Martin Quinson [France] ; Cristian Rosa [France]SimGrid MC: Verification Support for a Multi-API Simulation Platform
002202 (2010-11-09) Charbel Rahhal [France]Semantic wikis distributed on Peer-to-Peer networks
002F25 (2009) Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]Model-checking Distributed Applications with GRAS
003250 (2008-07) Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France]Towards Validating a Platoon of Cristal Vehicles using CSP||B
003B89 (2007) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time Constraint Patterns for Event B Development
004666 (2005-05-11) Françoise Simonot-Lion [France]Performance and safety construction and evaluation for in-car embedded systems
004F48 (2004) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Achieving Convergence with Operational Transformation in Distributed Groupware Systems
005267 (2003) Cédric Wilwert [France]Etude de la notion de défaillance byzantine appliquée au domaine de l'automobile
005C21 (2001) Manuel Munier [France] ; Khalid Benali [France] ; Claude Godart [France]Un système coopératif basé sur les transactions

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i -k "distributed systems" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i  \
                -Sk "distributed systems" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    distributed systems
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022