-
Linear Space Boostrap Communication Scheme
We consider a system of $n$ processes with ids not a priori known, that are drown from a large space, potentially unbounded. How can these $n$ processes communicate to... -
Recommendation And Visualization Techniques For large Scale Data
We have witnessed the rapid development of the information technology during the last decade. On one side, processing and stocking capacity of digital devices is... -
On the Fly PSO Inspired Algorithm For Graph Distribution
International audience -
Formal Verification of Netlog Protocols
International audience -
Revisiting Snapshot Algorithms by Refinement-based Techniques
International audience -
Specification and Verification of various Distributed Leader Election Algorit...
This report deals with the formal specification and verification of distributed leader election algorithms for a set of machines connected by a unidirectional ring... -
Concurrent AVL Revisited: Self-Balancing Distributed Search Trees
We address the concurrent insertion and deletion of keys in binary almost balanced search trees (AVL trees). We show that this problem can be studied through the... -
Contributions for the Security in Mobile Ad hoc Networks (MANETs)
The thesis focuses on security in Mobile Ad hoc Networks (MANETs) [RFC 2501]. The lack of any central management of the network functions make MANETs more vulnerable... -
Debugging the Execution of Distributed Algorithms over Anonymous Networks
International audience -
A Distributed Algorithm for Adaptive Traffic Lights Control
International audience -
A distributed wheel sieve algorithm using Scheduling by Multiple Edge Reversal
Number of pages: 12 -
Usage-based ranking of services and data
The emergence of peer-to-peer systems and the possibility to use web services to perform computations and to exchange data lead to large-scale integration systems... -
Convergence of a multi-agent projected stochastic gradient algorithm for non-...
International audience -
Integrating Proved State-Based Models for Constructing Correct Distributed Al...
International audience -
Programming Environment, Run-Time System and Simulator for Many-Core Machines
Since 2005, chip manufacturers have stopped raising processor frequencies, which had been the primary mean to increase computer processing power since the end of the... -
Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks
International audience -
Modeling and analysis of networked control algorithms using descriptor models
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Distributed algorithms in autonomous and heterogeneous networks
Growing diversity of agents in current communication networks and increasing capacitiesof concurrent technologies in the network environment has lead to the... -
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm
14 pages; International conférence; Uniform self-stabilizing variant of the problem
