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 < Distribution  Facettes :

List of bibliographic references indexed by Distributed systems

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000B19 (2014-06-02) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement
000C04 (2014-04-13) Mehdi Ahmed-Nacer [France] ; Pascal Urso [France] ; Valter Balegas [Portugal] ; Nuno Preguiça [Portugal]Merging OT and CRDT Algorithms
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
002385 (2011-04-22) Mingqiang Xue [Singapour] ; Panagiotis Papadimitriou [États-Unis] ; Chedy Raïssi [France] ; Panagiotis Kalnis [Arabie saoudite] ; Hung Keng Pung [Singapour]Distributed Privacy Preserving Data Collection
002910 (2010-12-10) Maha Idrissi Aouad [France] ; Lhassane Idoumghar [France] ; René Schott [France] ; Olivier Zendra [France]Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems
002A23 (2010-10-14) Maha Idrissi Aouad [France] ; Lhassane Idoumghar [France] ; René Schott [France] ; Olivier Zendra [France]Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems
00B200 (1998) Dominique Méry [France] ; Guy-René PerrinRenPar'10
00BE28 (1996) Pedro Fonseca ; Zoubir MammeriA Framework for the Analysis of Non-Deterministic Clock Synchronization Algorithms

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