1271 search results - page 73 / 255 » On Simulation-Checking with Sequential Systems |
PLDI
2011
ACM
13 years 29 days ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...
SIGMOD
2011
ACM
13 years 28 days ago
2011
ACM
In spite of the omnipresence of parallel (multi-core) systems, the predominant strategy to evaluate window-based stream joins is still strictly sequential, mostly just straightfor...
AAAI
2012
12 years 15 days ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper introduces a new challenge problem, designing robotic systems to recover after disassembly from high energy events. Implementation of a camera-based localization alg...
PDPTA
1996
13 years 11 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...