- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- Cross-over Composition -enforcement of fairness under unfair adversary
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL2 ACSI Objet
- Robust Self-Stabilizing Clustering Algorithm Colette Johnen, Le Huy Nguyen
- A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm
- Nom de machine -DNS motivation, DNS, nom de domaine,
- UML, C. Johnen 1 IUT Bordeaux 1, 2010 LE DIAGRAMME d'ETATS
- IUT Bordeaux 1 2010 2011 Dpartement Informatique OMGL3 ACSI Objet
- Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler
- Fault-tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks
- java.lang.Object; javax.xml.parsers.*;
- UML, C. Johnen 3 IUT Bordeaux 1, 2010 L'ensemble des cas d'utilisation doit dcrire exhaustivement les exigences fonctionnelles du
- IUT Bordeaux 1 2010 -2011 Dpartement Informatique OMGL ACSI Objet
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL3 ACSI Objet
- Memory space requirements for self-stabilizing leader election protocols Joroy Beauquier, Maria Gradinariu, Colette Johnen
- OMGL, C. Johnen 1 IUT Bordeaux 1, 2010 Diagramme de Contexte Statique
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement. Informatique
- Self-Stabilizing weight-based Clustering Algorithm for Ad hoc sensor Networks
- Self-Stabilizing Depth-First Token Circulation In Arbitrary Rooted Ajoy K. Datta,1
- Self-Stabilizing Depth-First Token Passing on Rooted Networks Colette Johnen1
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- DHCP [RFC 2131 -1997 ] IUT d'Orsay
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL2 ACSI Objet
- Fault-tolerant Implementations of the Atomic-state Communication Model in Weaker Networks ?
- IUT Bordeaux 1 licence SIL-ACPI Dpartement d'Informatique
- Optimization of Service Time and Memory Space in a Self-Stabilizing Token Circulation Protocol on Anonymous
- Randomized Self-stabilizing and Space Optimal Leader Election under Arbitrary Scheduler on Rings
- Protocoles d'applications Le courrier lectronique
- Robust Self-Stabilizing construction of bounded size weight-based clusters
- Self-Stabilizing construction of Bounded Size Clusters Colette Johnen
- Analyze of Probabilistic Algorithms under Indeterministic Scheduler Joffroy Beauquier
- Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings
- A Fault-Tolerant Token Passing Algorithm on Tree Networks
- Fault-Tolerant Implementations of Atomic Registers by Safe Registers in Networks
- Self-Stabilizing implementation of atomic register by regular register in network framework
- Brief Announcement: Computing automatically the stabilization time against the worst and the best schedules
- Rapport prsent pour l'obtention de l'Habilitation Diriger des Recherches
- English abstract of produced documents in order to obtain the HdR
- Service Time of Self-Stabilizing Token Circulation Protocol on Anonymous
- Routage et reroutage dans les reseaux Dominique Barth1, Colette Johnen2 et Veronique V`eque2
- Robust self-stabilizating management for MANET F. Mekhaldi, C. Johnen
- IUT Bordeaux 1 Dpartement d'Informatique licence SIL -ACPI
- Bases mathmatiques pour les mthodes
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- Barrire de Scurit Introduction
- Module complementaire ASR4 Reseaux Departement Informatique IUT Bordeaux 1 ASR4
- OMGL, C. Johnen 1 IUT Bordeaux 1, 2010 DIAGRAMME DE COMMUNICATION
- IUT Bordeaux 1 Dpartement informatique ETUDE DE CAS en UML
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 2010 -2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 TP Algorithmique et programmation AS Dept. Informatique
- IUT Bordeaux 1 TP Algorithmique et programmation AS Dept. Informatique
- Memory ecient, self-stabilizing algorithm to construct BFS spanning trees Colette Johnen
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- All k-bounded policies are equivalent for self-stabilization Rapport de Recherche LRI n
- Token based Self-Stabilizing Uniform Algorithms toroy feuquier
- Memory-Ecient Self-Stabilizing Algorithm to Construct BFS Spanning Trees
- Module complementaire ASR4 Reseaux Departement Informatique IUT Bordeaux 1 ASR4
- Module Complementaire ASR4 Reseaux Departement Informatique IUT Bordeaux 1 ASR4-R
- Prog. Conc. 1 Colette Johnen
- Relationships between communication models in networks using atomic registers
- SPACE-EFFICIENT DISTRIBUTED SELF-STABILIZING DEPTH-FIRST TOKEN
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- IUT Bordeaux 1 2010 -2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 2010 2011 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement. Informatique
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement. Informatique
- IUT Bordeaux1 2010-2011 Dpartement d'Informatique ASR4-Rseaux
- Self-Stabilizing Neighborhood Synchronizer in Tree Networks Colette Johnen1
- Robust Self-Stabilizing construction of bounded size weight-based clusters
- IUT Bordeaux 1 Bases mathmatiques Licence SIL Dpt. Informatique pour les mthodes formelles Option ACPI
- Fault-tolerant Implementations of regular Registers by safe Registers in Link Model
- Bases mathmatiques pour les mthodes
- IUT Bordeaux 1 TP Algorithmique et Programmation AS Dpartement Informatique
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- IUT Bordeaux 1 Dpartement d'Informatique licence SIL -ACPI
- IUT Bordeaux 1 2011 -2012 Dpartement informatique OMGL3 ACSI Objet
- Prog. Conc. 1 Outil Thorique de
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- OMGL, C. Johnen 1 IUT Bordeaux 1, 2011 Diagramme de Contexte Statique
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- Colette Johnen johnen@labri.fr
- La logique de Hoare Colette Johnen
- IUT Bordeaux 1 licence SIL-ACPI Dpartement d'Informatique
- Prog. Conc. 1 Colette Johnen
- UML, C. Johnen 3 IUT Bordeaux 1, 2011 L'ensemble des cas d'utilisation doit dcrire exhaustivement les exigences fonctionnelles du
- IUT Bordeaux 1 licence SIL-ACPI Dpartement d'Informatique
- UML, C. Johnen 1 IUT Bordeaux 1, 2011 LE DIAGRAMME d'ETATS
- OMGL, C. Johnen 1 IUT Bordeaux 1, 2011 DIAGRAMME DE COMMUNICATION
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- IUT Bordeaux 1 mthodes formelles Licence SIL Dpt. Informatique Option ACPI
- IUT Bordeaux 1 2011-2012 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 2011-2012 Dpartement Informatique OMGL2 ACSI Objet
- Self-Stabilizing Computation and preservation of Knowledge of neighbor clusters
- IUT Bordeaux 1 2011-2012 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 2011-2012 Dpartement Informatique OMGL2 ACSI Objet
- IUT Bordeaux 1 2010-2011 Dpartement Informatique OMGL3 ACSI Objet
- IUT Bordeaux 1 2011-2012 Dpartement Informatique OMGL3 ACSI Objet
- Quantitative model for evaluate routing protocols in a vehicular ad hoc networks on highway
- tude de la formation de convois dans un rseau de vhicules sur autoroute
- MajecSTIC 2010 Bordeaux, France, du 13 au 15 octobre 2010
- Vers une modlisation robuste des protocoles de routage pour rseaux de vhicules
- IUT Bordeaux 1 2011 2012 Dpartement d'informatique OMGL2 ACSI Objet
- Spcification en UML de TrafficJam
- Self-stabilization versus Robust Self-stabilization for clustering in Ad-hoc network
- IUT Bordeaux 1 2011 -2012 Dpartement informatique OMGL2 ACSI Objet
