Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 indexed by distributed systems

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]
Ident.Authors (with country if any)Title
000092 (2016-01-06) Tomasz Buchert [France]Managing large-scale, distributed systems research experiments with control-flows
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000880 (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
002318 (2011-06-06) Stephan Merz [France] ; Martin Quinson [France] ; Cristian Rosa [France]SimGrid MC: Verification Support for a Multi-API Simulation Platform
002966 (2010-11-09) Charbel Rahhal [France]Semantic wikis distributed on Peer-to-Peer networks
003C62 (2009) Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]Model-checking Distributed Applications with GRAS
003F31 (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
005363 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time Constraint Patterns for Event B Development
005A31 (2005-05-11) Françoise Simonot-Lion [France]Performance and safety construction and evaluation for in-car embedded systems
005F74 (2005) Françoise Simonot-LionPerformance and safety construction and evaluation for in-car embedded systems
006741 (2004) Gérald Oster ; Pascal Molli ; Hala Skaf-Molli ; Abdessamad ImineUn modèle sûr et générique pour la synchronisation de données divergentes
006777 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDeductive Verification of Distributed Groupware Systems
006855 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchAchieving Convergence with Operational Transformation in Distributed Groupware Systems
007091 (2004) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Achieving Convergence with Operational Transformation in Distributed Groupware Systems
007835 (2003) Cédric WilwertEtude de la notion de défaillance byzantine appliquée au domaine de l'automobile
007C78 (2003) Cédric Wilwert [France]Etude de la notion de défaillance byzantine appliquée au domaine de l'automobile
008E05 (2001) Manuel Munier ; Khalid Benali ; Claude GodartUn système coopératif basé sur les transactions
009473 (2001) Manuel Munier [France] ; Khalid Benali [France] ; Claude Godart [France]Un système coopératif basé sur les transactions
009B32 (2000) Gladys Diaz ; Jean-Pierre Thomesse [France] ; Zoubir MammeriAn Object-Oriented Modeling of Co-operative Multimedia Systems
00A496 (1999) Manuel Munier ; Khalid Benali ; Claude GodartDisCOO, a really distributed system for cooperation
00A545 (1999) A transactional approach for cross-organizational cooperation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "distributed systems" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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