Modeling and verification of randomized distributed real-time systems
R Segala - 1996 - dspace.mit.edu
1996•dspace.mit.edu
… In summary, we obtain a framework that accounts for the classical theoretical results of
concurrent systems and that at the same time proves to be suitable for the actual veri cation
of randomized distributed real-time systems. This double feature should lead eventually to
the easy extension of several veri cation techniques that are currently available for non-…
He suggested the topic of my Master's thesis and he guided me during the project although
there was an ocean (I was in Italy, he was in the States) between us. It is from my experience�…
concurrent systems and that at the same time proves to be suitable for the actual veri cation
of randomized distributed real-time systems. This double feature should lead eventually to
the easy extension of several veri cation techniques that are currently available for non-…
He suggested the topic of my Master's thesis and he guided me during the project although
there was an ocean (I was in Italy, he was in the States) between us. It is from my experience�…
Randomization is an excellent tool for the design of distributed algorithms, sometimes yielding efficient solutions to problems that are inherently complex, or even unsolvable, in the setting of deterministic algorithms. However, this tool has a price: e
dspace.mit.edu
Showing the best result for this search. See all results