175 search results - page 15 / 35 » Variant-based competitive parallel execution of sequential p... |
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
89
Voted
CSL
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
102
click to vote
IEEEPACT
2006
IEEE
15 years 3 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
102
click to vote
POPL
2011
ACM
14 years 10 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
161
Voted
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...