Charron-Bost, Bernadette
Bernadette Charron-Bost chercheuse en informatique
VIAF ID: 107715717 ( Personal )
Permalink: http://viaf.org/viaf/107715717
Preferred Forms
- 100 0 _ ‡a Bernadette Charron-Bost ‡c chercheuse en informatique
- 100 1 _ ‡a Charron-Bost, Bernadette
-
- 100 1 _ ‡a Charron-Bost, Bernadette
- 100 1 _ ‡a Charron-Bost, Bernadette
- 100 1 _ ‡a Charron-Bost, Bernadette
-
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Accords exacts et approchés pour les adversaires de message | |
Approximation d'une borne inférieure répartie | |
Average consensus in anonymous dynamic networks : An algorithmic approach. | |
Certification formelle de la correction d'algorithmes distribués avec erreurs de transmission | |
Comportement transitoire d'algorithmes distribués et modèles de circuits. | |
Consensus de moyenne dans les réseaux dynamiques anonymes : Une approche algorithmique | |
Data structures for large scale distributed environments. | |
Exact and approximate agreements for message adversaries. | |
Formal verification of distributed algorithms with transition failures. | |
Formalisation of asynchronous interactions | |
Geometric semantics for asynchronous computability. | |
Introduction à l'algorithmique des objets partagés | |
Local and temporal predicates in distributed systems | |
Local certification in distributed computing : error-sensitivity, uniformity, redundancy, and interactivity | |
MEASURES OF CONCURRENCY AND PARALLELISM OF DISTRIBUTED COMPUTATIONS. | |
MESURES DE LA CONCURRENCE ET DU PARALLELISME DES CALCULS REPARTIS | |
On the formal specification of group membership services | |
Problèmes de communications dans les systèmes distribués : ruptures et corruptions | |
Replication, c2010, via WWW, Mar. 13, 2010: | |
Replication : theory and practice | |
Sémantique géométrique pour la calculabilité asynchrone | |
Solving problems in the presence of process crashes and lossy links | |
Structures de données pour environnements distribués à grande échelle | |
Sur le pouvoir des tours : explorations du modèle Heard-Of. | |
Transient Behavior of Distributed Algorithms and Digital Circuit Models |