-
Communication, correlation and cheap-talk in games with public information
International audience -
A Complete Set of Satisfaction Rules for Property Detection in Distributed Co...
This paper presents a general framework for specification and detection of properties in distributed computations. A property of states in distributed computation in... -
Expressing and Detecting Control Flow Properties of Distributed Computations
Properties of distributed computations can be either on their global states or on their control flows. This paper addresses control flow properties. It first presents... -
Inevitable Global States: a Concept to Detect Unstable Properties of Distribu...
When analyzing, testing or debugging a distributed program, an important question one has to answer is: ``Does this computation satisfy a given property~?''. We are... -
Convergence of the D-iteration algorithm: convergence rate and asynchronous d...
In this paper, we define the general framework to describe the diffusion operators associated to a positive matrix. We define the equations associated to diffusion... -
Adresser les défis de passage à l'échelle en génomique comparée
Comparative genomics is essentially a form of data mining in large collections of n-ary relations between genomic elements. Increases in the number of sequenced...
