4722 search results - page 376 / 945 » Encoding Program Executions |
318
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
171
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
201
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
Most modern Chip Multiprocessors (CMP) feature shared cache on chip. For multithreaded applications, the sharing reduces communication latency among co-running threads, but also r...
171
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
174
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...