7167 search results - page 959 / 1434 » Answer Set Programming |
130
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
135
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...
145
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...
130
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...
152
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...