-
Quantitative MRFM characterization of the autonomous and forced dynamics in a...
International audience -
WiMax quality-of-service estimations and measurement
International audience -
An Overview of Synchronization Algorithms for IR-UWB Systems
International audience -
Resonance Assisted Synchronization of Coupled Oscillators: Frequency Locking ...
International audience -
Blind Algorithms for Timing Acquisition of Impulse Radio UWB Communications
International audience -
Locks and Barriers in Checkpointing and Recovery
Dependency tracking between communicating tasks is an important concept in backward error recovery for parallel applications. One can extend the traditional dependence... -
TCP Throughput Analysis under Transmission Error and Congestion Losses
This paper analyzes the performance of a large population of long lived TCP flows experiencing random packet losses due to both random transmission errors and... -
Global visualization of experiments in ad hoc networks
The real experiments in ad hoc networks study metrics that can be obtained with local monitoring on the machines. No global and full visualization of the experiments... -
Refinement and Verification of Synchronized Component-based Systems
This article deals with specification, refinement and verification approaches for systems designed with synchronized components. First of all, we define a synchronized... -
Many TCP User Asymptotic Analysis of the AIMD Model
A simple fluid model for the joint throughput evolution of a set of TCP sessions sharing a common bottleneck router has been introduced in \citeaimd based on products... -
Validity of the phase approximation for coupled nonlinear oscillators: a case...
International audience -
Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebr...
In this paper we present the model of a system of periodic real-time tasks with fixed priorities, preemption and synchronization, performed by a robot controler, using... -
Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs
ATHAPASCAN-0 programs are executed by a network of communicating threads evolving dynamically. Within the same node, threads communicate through shared memory and... -
MiMaze, a Multiuser Game on the Internet
This report describes the design, the implementation, and the evaluation of MiMaze, a totally distributed game on the Internet. This work focusses on the mechanisms... -
A 2D discrete model for crowd-structure interaction
International audience -
Orthogonal and Non-Orthogonal Joint Blind Source Separation in the Least-Squa...
International audience -
On the Validation of Robotics Control Systems Part II: Analysis of real-time ...
In the framework of the {\sc Orccad} system, periodic and multi-rate control laws are implemented in terms of a set of computing tasks to be executed under a real-time... -
Parameter identification and synchronization of spatio-temporal chaotic syste...
International audience -
An Implementation of Global Flush Primitives Using Counters
We present an implementation of \gfp\ using counters. This implementation costs comparable to the most lightweight implementation of causal ordering. Thus, at a...
