2468 search results - page 53 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
click to vote
WSC
2008
15 years 5 months ago
2008
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
159
click to vote
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
138
click to vote
ISIPTA
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper the judgement consisting in choosing a function that is believed to dominate the true probability distribution of a continuous random variable is explored. This kind...
163
click to vote
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
120
click to vote
JCM
2008
15 years 3 months ago
2008
Waterfilling solutions provide optimal power distribution in multiple-input multiple-output (MIMO) system design. However, the optimal distribution is usually obtained through cost...