327 search results - page 54 / 66 » Model Checking and Evidence Exploration |
119
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
117
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
119
click to vote
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
107
click to vote
STOC
1998
ACM
15 years 7 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
129
click to vote
DSRT
2004
IEEE
15 years 6 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...