474 search results - page 76 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Data prefetching has been widely used in the past as a technique for hiding memory access latencies. However, data prefetching in multi-threaded applications running on chip multi...
83
Voted
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The Charm++ parallel programming system provides a modular performance interface that can be used to extend its performance measurement and analysis capabilities. The in...
179
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capa...
SP
2010
IEEE
14 years 7 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...