10568 search results - page 1773 / 2114 » Computer Intelligence and Formalization |
152
click to vote
PPOPP
2012
ACM
14 years 11 days 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 ...
176
click to vote
TACAS
2012
Springer
14 years 11 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
172
click to vote
VMCAI
2012
Springer
14 years 11 days ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
163
Voted
TOG
2012
13 years 7 months ago
2012
We present a technique for performing high-dimensional filtering of images and videos in real time. Our approach produces high-quality results and accelerates filtering by compu...
127
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...