606 search results - page 92 / 122 » A Comparative Study of Industrial Static Analysis Tools |
HPCA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper explores area/parallelism tradeo s in the design of distributed shared-memory (DSM) multiprocessors built out of large single-chip computing nodes. In this context, are...
72
Voted
PLDI
2012
ACM
13 years 19 days ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
79
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Gene-set analysis evaluates the expression of biological pathways, or a priori defined gene sets, rather than that of individual genes, in association with a binary ph...
103
click to vote
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...