3820 search results - page 165 / 764 » Bounded Model Debugging |
116
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
156
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
127
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
118
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Practical schemes for distributed video coding with side information at the decoder need to consider non-standard correlation models in order to take non-stationarities into accou...
118
click to vote
WIOPT
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose a model under which several inherent properties of the Exponential Age SEarch routing protocol can be derived. By making simpliļ¬cations on this model, we are able to ...