Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

22 résultats
Page :
triés par
Image document

On the Formal Specification of Group Membership Services

 Emmanuelle Anceaume , Bernadette Charron-Bost , Pascale Minet , Sam Toueg
[Research Report] RR-2695, INRIA. 1995
Rapport inria-00073995v1
Image document

A theorem about the asymptotic behaviour of stationary functions of some inf-convolution equations

 Philippe Jacquet
[Research Report] RR-1407, INRIA. 1991
Rapport inria-00075153v1
Image document

Le Probleme de tournees de vehicules : etude et resolution approchee

 C. Rego , C. Roucairol
[Rapport de recherche] RR-2197, INRIA. 1994
Rapport inria-00074474v1
Image document

ABP : an atomic broadcast protocol

 Emmanuelle Anceaume , Pascale Minet
[Research Report] RR-1473, INRIA. 1991
Rapport inria-00075089v1
Image document

The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems

 Gerard Le Lann
[Research Report] RR-3079, INRIA. 1996
Rapport inria-00073613v1
Image document

Generalized scheduling on a single machine in a real-time systems based on time value functions

 Paul Mühlethaler , Ken Chen
[Research Report] RR-1759, INRIA. 1992
Rapport inria-00076999v1
Image document

Designing real-time dependable distributed systems

 Gerard Le Lann
[Research Report] RR-1425, INRIA. 1991
Rapport inria-00075135v1
Image document

Real-Time Fixed and Dynamic Priority Driven Scheduling Algorithms: Theory and Experience

 Jean-François Hermant , Laurent Leboucher , Nicolas Rivierre
[Research Report] RR-3081, INRIA. 1996
Rapport inria-00073611v1
Image document

Real-time communications over broadcast networks : the CSMA-DCR and the DOD-CSMA-CD protocols

 Gerard Le Lann , Nicolas Rivierre
[Research Report] RR-1863, INRIA. 1993
Rapport inria-00074810v1
Image document

Tolerance aux fautes et systemes repartis : concepts et mecanismes

 Gerard Le Lann , Pascale Minet , David Powell
[Rapport de recherche] RR-2108, INRIA. 1993
Rapport inria-00074564v1
Image document

Linear probing with lazy deletions, parking problem with exponential sojourn time, receiver release Cambridge ring and other related problems

 Philippe Jacquet
[Research Report] RR-1816, INRIA. 1992
Rapport inria-00074856v1
Image document

On the Impossibility of Group Membership

 Deepak Tushar Chandra , Vassos Hadzilacos , Sam Toueg , Bernadette Charron-Bost
[Research Report] RR-2782, INRIA. 1996
Rapport inria-00073910v1
Image document

Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling

 Laurent George , Nicolas Rivierre , Marco Spuri
[Research Report] RR-2966, INRIA. 1996
Rapport inria-00073732v1
Image document

Etude de protocoles de diffusion atomique

 Emmanuelle Anceaume , Pascale Minet
[Rapport de recherche] RR-1774, INRIA. 1992
Rapport inria-00077014v1
Image document

Holistic Analysis for Deadline Scheduled Real-Time Distributed Systems

 Marco Spuri
[Research Report] RR-2873, INRIA. 1996
Rapport inria-00073818v1
Image document

Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases

 Esther Pacitti , Pascale Minet , Eric Simon
[Research Report] RR-3654, INRIA. 1999
Rapport inria-00077204v1
Image document

More than exponential tail distribution in LAPALICE queues

 Philippe Jacquet
[Research Report] RR-1465, INRIA. 1991
Rapport inria-00075096v1
Image document

A Family of scheduling algorithms for real-time systems using time value functions

 Ken Chen , Paul Mühlethaler
[Research Report] RR-1530, INRIA. 1991
Rapport inria-00075032v1
Image document

Compact suffix trees resemble PATRICIA tries : limiting distribution of depth

 Philippe Jacquet , B. Rais , Wojciec Szpankowski
[Research Report] RR-1995, INRIA. 1993
Rapport inria-00074677v1
Image document

On the lempel-ziv parsing algorithm and its digital tree representation

 Philippe Jacquet , Wojciec Szpankowski
[Research Report] RR-1833, INRIA. 1993
Rapport inria-00074838v1
Image document

Optimality and non-preemptive real-time scheduling revisited

 Laurent George , Paul Mühlethaler , Nicolas Rivierre
[Research Report] RR-2516, INRIA. 1995
Rapport inria-00074162v1
Image document

Analysis of Deadline Scheduled Real-Time Systems

 Marco Spuri
[Research Report] RR-2772, INRIA. 1996
Rapport inria-00073920v1
Page :