1163 search results - page 22 / 233 » Case Studies of Model Checking for Embedded System Designs |
144
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
121
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
106
Voted
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
145
Voted
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
127
click to vote
EUC
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...