557 search results - page 68 / 112 » Useful Transformations in Answer set programming |
171
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
177
click to vote
SIGMETRICS
2003
ACM
15 years 10 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
132
Voted
COLING
1990
15 years 6 months ago
1990
This paper describes a new program, correct, which takes words rejected by the Unix spell program, proposes a list of candidate corrections, and sorts them by probability. The pro...
141
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...
131
click to vote
ESOP
1990
Springer
15 years 9 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...