30 search results - page 6 / 6 » Program Demultiplexing: Data-flow based Speculative Parallel... |
AICOM
2010
13 years 5 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
DAC
2009
ACM
14 years 6 months ago
2009
ACM
Computational complexity has been the primary challenge of many VLSI CAD applications. The emerging multicore and manycore microprocessors have the potential to offer scalable perf...
IFL
2003
Springer
13 years 10 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
AI
2011
Springer
13 years 6 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
PPOPP
1999
ACM
13 years 9 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...