| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
On-the-Fly Analysis of Distributed Computations
Abstract : At some abstraction level a distributed computation can be modeled as a partial order on a set of observable events. This paper presents an analysis technique which can be superimposed on distributed computations to analyze the structure of control flows terminating at observable events. A general algorithm working on the longest control flows of distributed computations is introduced. Moreover it is shown how this algorithm can be simplified according to the distribution of observable events or to the kind of property we want to recognize.
https://hal.inria.fr/inria-00074088
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:28:46 PM
Last modification on : Friday, February 4, 2022 - 3:18:40 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:11:54 PM
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:28:46 PM
Last modification on : Friday, February 4, 2022 - 3:18:40 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:11:54 PM