1528 search results - page 157 / 306 » Performance Assertion Checking |
123
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
139
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
101
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
In this article we propose a high speed and highly testable parallel two-rail code checker, which features a compact structure and is Totally-Self-Checking or Strongly Code-Disjoi...
112
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents flexible protocols for dynamic database design and reconfiguration, enabling mobile database to be designed in such a way that data location, replication and e...
130
Voted
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...