PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540512851, 9783540461845

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A compiling approach for exploiting and-parallelism in parallel logic programming systems

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_50 ◽

1989 ◽

pp. 335-345 ◽

Author(s):

Zhiyi Hwang ◽

Shouren Hu

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

A method for refining atomicity in parallel algorithms

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_42 ◽

1989 ◽

pp. 199-216 ◽

Author(s):

R. J. R. Back

Keyword(s):

Parallel Algorithms

Download Full-text

Pruning and scheduling speculative work in or-parallel Prolog

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_38 ◽

1989 ◽

pp. 133-150 ◽

Author(s):

Bogumil Hausman

Download Full-text

Dataflow analysis of term graph rewriting systems

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_33 ◽

1989 ◽

pp. 55-72 ◽

Author(s):

R. Banach

Keyword(s):

Dataflow Analysis ◽

Graph Rewriting ◽

Rewriting Systems ◽

Graph Rewriting Systems

Download Full-text

Compositionality in the temporal logic of concurrent systems

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_55 ◽

1989 ◽

pp. 406-423

Author(s):

F. S. Boer

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

A temporal-logic based compositional proof system for real-time message passing

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_56 ◽

1989 ◽

pp. 424-441 ◽

Author(s):

Jozef Hooman ◽

Jennifer Widom

Keyword(s):

Real Time ◽

Temporal Logic ◽

Message Passing ◽

Download Full-text

RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_37 ◽

1989 ◽

pp. 115-132

Author(s):

Bernd Schwinn ◽

Gerhard Barth ◽

Christoph Welsch

Keyword(s):

Data Flow ◽

Logic Programs ◽

Intelligent Backtracking ◽

Data Flow Model

Download Full-text

The expressive power of simple parallelism

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_54 ◽

1989 ◽

pp. 389-405 ◽

Author(s):

Joachim Parrow

Keyword(s):

Expressive Power

Download Full-text

ASPEN: A stream processing environment

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_53 ◽

1989 ◽

pp. 374-388 ◽

Author(s):

Brian K. Livezey ◽

Richard R. Muntz

Keyword(s):

Stream Processing

Download Full-text

Parle: A parallel target language for integrating symbolic and numeric processing

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_41 ◽

1989 ◽

pp. 181-198 ◽

Author(s):

A. N. Refenes ◽

E. Eberbach ◽

S. C. McCabe ◽

P. C. Treleaven

Keyword(s):

Target Language

Download Full-text