444 search results - page 52 / 89 » Sensitive state-space exploration |
115
click to vote
WSC
2004
15 years 1 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
109
click to vote
SIGMETRICS
2010
ACM
15 years 22 hour ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
106
click to vote
JIRS
1998
14 years 11 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
102
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...