506 search results - page 74 / 102 » Where Is the Value in a Program Verifier |
133
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
122
Voted
TSE
2010
14 years 11 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
121
click to vote
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes ...
113
Voted
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
105
Voted
ISBI
2008
IEEE
15 years 7 months ago
2008
IEEE
Automated detection and segmentation of nuclear and glandular structures is critical for classification and grading of prostate and breast cancer histopathology. In this paper, w...