4008 search results - page 708 / 802 » An expressive language of signatures |
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Parallel computing is becoming increasing central and mainstream, driven both by the widespread availability of commodity SMP and high-performance cluster platforms, as well as th...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...
ICCBR
1999
Springer
14 years 2 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
LPAR
1999
Springer
14 years 2 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...