-
AIMD algorithms and exponential functionals
The behavior of connection transmitting packets into a network according to a general additive-increase multiplicative-decrease (AIMD) algorithm is investigated. It is... -
Performance Evaluation of Multicast Trees in Adhoc Networks
An adhoc wireless network is a network composed of mobile hosts with no fixed infrastructure and no central administration. The main constraints in these networks are... -
Impact of Out-of-Sequence Processing on the Performance of Data Transmission
Application Level Framing (ALF) was proposed by Clark and Tennenhouse as an important concept for developing high performance applications. ALF relies in part on the... -
Formal Description and Analysis of a Bounded Retransmission Protocol
This paper reports about the formal specification and verification of a Bounded Retransmission Protocol (BRP) used by Philips in one of its products. We started with... -
From Modular to Distributed Architectures: Centaur and Smeci Experiments
In this report we point out the reasons that lead us to distribute modular applications, why we think that modularity is a critical step --~but not a final one~-in the... -
CaPiTo: protocol stacks for services
International audience -
The Inverse Method
International audience -
A component-based approach based on High-Level Petri Nets for modeling Distri...
International audience -
Assistance au développement de spécifications de protocoles de communication
Article dans revue scientifique avec comité de lecture. -
The fieldbuses, study of the standards EN 50170, EN 50254, IEC 61158
Transparents. Colloque sans acte à diffusion restreinte. -
Méthodes formelles de test de conformité des protocoles
Article dans revue scientifique avec comité de lecture.
