Adaptive Multicast Live Streaming for A/V Conferencing Systems over Software-Defined Networks |
|
Algorithmes de diffusion ordonnée dans les systèmes répartis dynamiques. |
|
Algorithmic analysis of Petri nets : verification of home spaces, using of rewriting systems. |
|
Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, systèmes de réécriture |
|
Analysis of the communication structure of Occam2 programs using Petri Nets |
|
Les arbres couvrants de la théorie à la pratique. Algorithmes auto-stabilisants et réseaux de capteurs |
|
Classification automatique de graphes dynamiques. |
|
Clustering in mobile ad-hoc networks : design and evaluation of robust self-stabilizing protocols. |
|
Communication in highly dynamic networks. |
|
Communications dans les réseaux fortement dynamiques |
|
Compositional and parallel analysis of Petri nets |
|
Computation of P-invariants for integers nets : application to the analysis of algebraic nets |
|
Construction efficace du graphe de couverture minimal : application á l'analyse de protocole |
|
Diffusion multipoint adaptable pour les systèmes de télé- et visioconférences déployés sur les réseaux à définition logicielle. |
|
Efficient distributed algorithms suited for uncertain context. |
|
Étude de la complexité des implémentations d'objets concurrents, sans attente, abandonnables et/ou solo-rapides |
|
Étude des problèmes d'ordonnancement sur des plates-formes hétérogènes en modèle multi-port |
|
Exorcisme ou Communication fiable et équitable autostabilisée |
|
Généralisation de modèles métaboliques par connaissances. |
|
The Home state problem in transition systems |
|
Knowledge-based scaling for biological models |
|
Mariage stable asynchrone et auto-stabilisant. |
|
Mécanismes pour la cohérence, l'atomicité et les communications au niveau des clusters : application au clustering hiérarchique distribué adaptatif |
|
On Delay-Tolerant Groups in Communicating Mobile Fleets. |
|
On the complexity of wait-free, abortable and/or solo-fast concurrent object implementations. |
|
On various graph coloring problems |
|
Ordered broadcast algorithms in dynamic distributed systems |
|
Overcoming interference in the beeping communication model |
|
Papetri : environment for the analysis of Petri nets |
|
Partitionnement dans les réseaux mobiles Ad-hoc : conception et évaluation de protocoles auto-stabilisants et robustes |
|
Revisiting weighted quorums and asynchronous reconfiguration for atomic storage. |
|
Scaffold-based reconstruction method of genome-scale metabolic models |
|
Spanning Trees from theory to practice. Self-Stabilizing algorithms and sensor networks. |
|
Sur divers problèmes de coloration de graphes. |
|
Surmonter les interférences dans le modèle de communication par bips. |
|
Synthèse de modèles dynamiques avec application aux réseaux métaboliques de levures hémiascomycètes. |
|
Towards efficient tools for the verification of concurrent systems. |
|
Vérification d'automates temporisés : sûreté, vivacité et modélisation. |
|
Verification of timed automata : reachability, liveness and modelling |
|
Vers des outils efficaces pour la vérification de systèmes concurrents |
|