219 search results - page 29 / 44 » Dynamic partial-order reduction for model checking software |
RE
2001
Springer
15 years 4 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
112
click to vote
ISLPED
2010
ACM
14 years 12 months ago
2010
ACM
On-chip coherence directories of today's multi-core systems are not energy efficient. Coherence directories dissipate a significant fraction of their power on unnecessary loo...
100
click to vote
LCPC
2004
Springer
15 years 5 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
VLSID
2003
IEEE
16 years 2 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
108
click to vote
ICECCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...