1528 search results - page 62 / 306 » Performance Assertion Checking |
139
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
116
Voted
IJCAI
2007
15 years 3 months ago
2007
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
120
click to vote
ETS
2010
IEEE
15 years 3 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
92
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract-- In this paper we develop instanton method introduced in [1], [2], [3] to analyze quantitatively performance of Low-Density-Parity-Check (LDPC) codes decoded iteratively ...
110
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...