590 search results - page 6 / 118 » Debugging Program Loops Using Approximate Modeling |
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe a language-independent and speciļ¬cationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
112
click to vote
DAGSTUHL
2001
14 years 11 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
112
click to vote
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
151
Voted
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Current approaches to develop information extraction (IE) programs have largely focused on producing precise IE results. As such, they suffer from three major limitations. First, ...