71 search results - page 5 / 15 » DIFC programs by automatic instrumentation |
ENTCS
2007
13 years 7 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
CMPB
2000
13 years 7 months ago
2000
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...
ICSE
2010
IEEE-ACM
14 years 17 days ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...