2468 search results - page 177 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
107
click to vote
JMM2
2006
15 years 3 months ago
2006
Recent electronic devices are connected with each other by various connectivity techniques. This trend makes computing resources distributed over many devices. However, since the g...
151
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
154
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
121
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Storing data in distributed systems aims to offer higher bandwidth and scalability than storing locally. But, a couple of disadvantageous issues must be taken into account such as...
133
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...