590 search results - page 25 / 118 » Debugging Program Loops Using Approximate Modeling |
RE
2001
Springer
15 years 2 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...
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Many problems in computer vision can be modeled using
conditional Markov random fields (CRF). Since finding
the maximum a posteriori (MAP) solution in such models
is NP-hard, mu...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...