Projet EURECAIn this paper, we analyze : a storage allocation algorithm which permits to maintain two stacks inside a shared (contiguous) memory area of a fixed size - the well-known banker algorithm which plays a fundamental role in parallel processing. The natural formulation of these problems is in terms of constrained random walks. Our results rely on diffusion techniques
International audienceIn a distributed game we imagine a team Player engaging a team Opponent in a d...
Dans la première partie de cette étude, nous proposons et analysons des algorithmes probabilistes d'...
We analyze a model of exhaustion of shared resources where allocation and deallocation requests are ...
In this paper we analyse: i) a storage allocation algorithm (Knuth [11] Ex.2.2.2.13) which permits t...
L’intérêt porté aux algorithmes probabilistes est, entre autres,dû à leur simplicité. Cependant, leu...
We provide a probabilistic analysis of the banker algorithm when transition probabilities may depend...
Randomization is of paramount importance in practical applications and randomized algorithms are us...
Probabilistic algorithms are simple to formulate. However, theiranalysis can become very complex, es...
New results are obtained concerning the analysis of the storage allocation algorithm which permits o...
The subject of this thesis concerns verification of distributed systems. More precisely, we focus on...
Ouvrage (auteur).This book presents a large variety of applications of probability theory and statis...
A behavioural theory comprises a set of postulates that characterise a particular class of algorith...
A distributed algorithm is presented, for allocating a large number of identical resources (such as ...
We propose in this work a study of the random walks in the distributed algorithms for dynamic networ...
UnrestrictedAn algorithm can be defined as a set of computational steps that transform the input to ...
International audienceIn a distributed game we imagine a team Player engaging a team Opponent in a d...
Dans la première partie de cette étude, nous proposons et analysons des algorithmes probabilistes d'...
We analyze a model of exhaustion of shared resources where allocation and deallocation requests are ...
In this paper we analyse: i) a storage allocation algorithm (Knuth [11] Ex.2.2.2.13) which permits t...
L’intérêt porté aux algorithmes probabilistes est, entre autres,dû à leur simplicité. Cependant, leu...
We provide a probabilistic analysis of the banker algorithm when transition probabilities may depend...
Randomization is of paramount importance in practical applications and randomized algorithms are us...
Probabilistic algorithms are simple to formulate. However, theiranalysis can become very complex, es...
New results are obtained concerning the analysis of the storage allocation algorithm which permits o...
The subject of this thesis concerns verification of distributed systems. More precisely, we focus on...
Ouvrage (auteur).This book presents a large variety of applications of probability theory and statis...
A behavioural theory comprises a set of postulates that characterise a particular class of algorith...
A distributed algorithm is presented, for allocating a large number of identical resources (such as ...
We propose in this work a study of the random walks in the distributed algorithms for dynamic networ...
UnrestrictedAn algorithm can be defined as a set of computational steps that transform the input to ...
International audienceIn a distributed game we imagine a team Player engaging a team Opponent in a d...
Dans la première partie de cette étude, nous proposons et analysons des algorithmes probabilistes d'...
We analyze a model of exhaustion of shared resources where allocation and deallocation requests are ...