540 search results - page 31 / 108 » Mathematical programming based debugging |
ICSM
1994
IEEE
15 years 1 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ï...
151
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...
ISQED
2007
IEEE
15 years 4 months ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...
AGP
1998
IEEE
15 years 2 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...