571 search results - page 51 / 115 » Performing causality analysis by bounded model checking |
136
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
101
click to vote
CIAC
1997
Springer
15 years 4 months ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
100
click to vote
ICCCN
2008
IEEE
15 years 6 months ago
2008
IEEE
— The current access point (AP) association schemes in wireless LANs, such as IEEE 802.11, cause an unbalanced load which reduces the performance of both the entire network and i...
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies,...
ICDE
1994
IEEE
15 years 4 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...