7456 search results - page 1062 / 1492 » Parallelism in Logic Programming |
192
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
188
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
175
click to vote
IEEEPACT
2008
IEEE
16 years 1 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
179
click to vote
IEEEPACT
2008
IEEE
16 years 1 months ago
2008
IEEE
We design and implement Mars, a MapReduce framework, on graphics processors (GPUs). MapReduce is a distributed programming framework originally proposed by Google for the ease of ...
171
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...