283 search results - page 44 / 57 » Effective Program Verification for Relaxed Memory Models |
103
click to vote
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
109
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
103
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...
158
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
We present a novel design and implementation of relational join algorithms for new-generation graphics processing units (GPUs). The most recent GPU features include support for wr...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...