10159 search results - page 522 / 2032 » System Design Validation Using Formal Models |
149
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
136
click to vote
MEMOCODE
2005
IEEE
15 years 12 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
192
Voted
IEEEARES
2008
IEEE
16 years 21 days ago
2008
IEEE
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
217
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we consider hybrid peer-to-peer systems where users form an unstructured peer-to-peer network with the purpose of assisting a server in the distribution of data. We...
187
click to vote
DSRT
2005
IEEE
15 years 12 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...