3820 search results - page 73 / 764 » Bounded Model Debugging |
106
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper analyzes the performance of the simple thresholding algorithm for sparse signal representations. In particular, in order to be more realistic we introduce a new probabi...
115
click to vote
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
128
click to vote
SPIN
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
125
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
112
Voted
KBSE
2007
IEEE
15 years 8 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 ...