Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « distributed »
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.
distributas < distributed < distributing  Facettes :

List of bibliographic references indexed by distributed

Number of relevant bibliographic references: 291.
[0-20] [0 - 20][0 - 50][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
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000371 (2015-08-25) Tomasz Buchert [France] ; Lucas Nussbaum [France] ; Jens Gustedt [France]Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
000469 (2015-06-29) I Aki Fernández Pérez [France] ; Amine Boumaza [France] ; François Charpillet [France]Influence of Selection Pressure in Online, Distributed Evolutionary Robotics
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000546 (2015-05-11) Ta Thanh Dinh [France]Malicious Codes Detection in Distributed Environment
000603 (2015-03-26) Mohamed Tlig [France]Local coordination and distributed optimization of autonomous vehicle traffic in road networks
000615 (2015-03-04) Marion Guthmuller [France] ; Martin Quinson [France] ; Gabriel Corona [France]System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
000730 (2015) Tomasz Buchert [France] ; Cristian Ruiz [France] ; Lucas Nussbaum [France] ; Olivier Richard [France]A survey of general-purpose experiment management tools for distributed systems
000818 (2014-12-24) Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Practical access control management for distributed collaborative editors
000853 (2014-12-01) Axel Hutt [France] ; Jérémie Lefebvre [Suisse]Stochastic center manifold analysis in scalar nonlinear systems involving distributed delays and additive noise
000A15 (2014-07-29) I Aki Fernández Pérez [France] ; Amine Boumaza [France] ; François Charpillet [France]Comparison of Selection Methods in On-line Distributed Evolutionary Robotics
000B51 (2014-05-26) Tomasz Buchert [France] ; Lucas Nussbaum [France] ; Jens Gustedt [France]A workflow-inspired, modular and robust approach to experiments in distributed systems
000C24 (2014-04-01) Marion Guthmuller [France] ; Martin Quinson [France]System-level State Equality Detection for the Dynamic Verification of Distributed Applications
000E30 (2014) Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France]Versatile, scalable, and accurate simulation of distributed applications and platforms
000F47 (2013-11-04) Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France]Distributed ElGamal à la Pedersen - Application to Helios
000F90 (2013-10-14) Abdelkader Lahmadi [France] ; Alexandre Boeglin [France] ; Olivier Festor [France]Efficient Distributed Monitoring in 6LoWPAN Networks
001002 (2013-10-01) Jörn Franke [France] ; François Charoy [France]Coordination of Distributed Collaborative Activities for Disaster Management
001009 (2013-09-23) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero AlejandroSpecification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors

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/Title.i -k "distributed" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "distributed" \
         | 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=    Title.i
   |clé=    distributed
}}
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