557 search results - page 68 / 112 » Useful Transformations in Answer set programming |
CLOUD
2010
ACM
14 years 1 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...
SIGMETRICS
2003
ACM
14 years 1 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...
COLING
1990
13 years 9 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...
CF
2010
ACM
14 years 1 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...
ESOP
1990
Springer
14 years 2 days 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...