16 search results - page 1 / 4 » esop 2003 |
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
ESOP
2003
Springer
14 years 1 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
14 years 1 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...