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.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
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
001031 (2013-09-06) Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France]SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems
001107 (2013-07-09) Maximiliano Geier [Argentine] ; Lucas Nussbaum [France] ; Martin Quinson [France]On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?
001154 (2013-06-20) Soumeya Hernane [Algérie]Consistent models and algorithms for sharing resources in large scale distributed systems.
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001169 (2013-06-10) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
001201 (2013-06) Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]Formal Verification of Distributed Algorithms
001294 (2013-02-27) Luc Sarzyniec [France] ; Tomasz Buchert [France] ; Emmanuel Jeanvoine [France] ; Lucas Nussbaum [France]Design and Evaluation of a Virtual Experimental Environment for Distributed Systems
001372 (2013) Axel Hutt [France] ; Linghai Zhang [États-Unis]Distributed nonlocal feedback delays may destabilize fronts in neural fields, distributed transmission delays do not
001483 (2013) Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures
001570 (2013) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
001704 (2013) Yì N. Wang [Norvège] ; Thomas Agotnes [Norvège]Public announcement logic with distributed knowledge: expressivity, completeness and complexity
001815 (2012-12-07) Nicolas Rougier [France] ; Jérémy Fix [France]DANA: Distributed (asynchronous) Numerical and Adaptive modelling framework
001840 (2012-11-28) Octave Boussaton [France] ; Johanne Cohen [France] ; Joanna Tomasik [France] ; Dominique Barth [France]On the distributed learning of Nash equilibria with minimal information
001871 (2012-11) Tomasz Buchert [France] ; Lucas Nussbaum [France]Using business workflows to improve quality of experiments in distributed systems research
001984 (2012-08-27) Marion Guthmuller [France]State equality detection for implementation-level model-checking of distributed applications
001A46 (2012-07) Henri Debrat [France] ; Stephan Merz [France]Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model
001B34 (2012-05-16) Bilel Nefzi [France] ; Dawood Khan [France] ; Ye-Qiong Song [France]TBoPS: a Tree based distributed Beacon only Period Scheduling mechanism for IEEE 802.15.4
001B45 (2012-05-13) Laurent Bobelin [France] ; Arnaud Legrand [France] ; Márquez David [France] ; Pierre Navarro [France] ; Martin Quinson [France] ; Frédéric Suter [France] ; Christophe Thiery [France]Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation
001B54 (2012-05-09) Sabina Akhtar [France]Formal Verification of Distributed Algorithms using PlusCal-2
001B67 (2012-04-16) Martín Barrère [France] ; Rémi Badonnel [France] ; Olivier Festor [France]Towards the Assessment of Distributed Vulnerabilities in Autonomic Networks and Systems

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