16 search results - page 1 / 4 » esop 2003 |
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...