93 search results - page 8 / 19 » Efficient Verification of B-tree Integrity |
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
100
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
ATVA
2004
Springer
15 years 1 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...