282 search results - page 30 / 57 » Verifying Commit-Atomicity Using Model-Checking |
111
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
114
Voted
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
217
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
115
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
113
Voted
QSIC
2007
IEEE
15 years 8 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...