1163 search results - page 164 / 233 » Case Studies of Model Checking for Embedded System Designs |
132
click to vote
TC
2008
15 years 4 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
172
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
128
click to vote
PDP
1996
IEEE
15 years 8 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
152
click to vote
CE
2008
15 years 4 months ago
2008
Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learn...
163
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...