171 search results - page 21 / 35 » Experience report: using RESOLVE C for commercial software |
PLDI
2004
ACM
14 years 25 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
ISLPED
2005
ACM
14 years 29 days ago
2005
ACM
The rate at which a digital signal processing (DSP) system operates depends on the highest frequency component in the input signal. DSP applications must sample their inputs at a ...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
WCRE
2003
IEEE
14 years 20 days ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...