755 search results - page 94 / 151 » Sequential Diagnosis by Abstraction |
PVM
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...
TABLEAUX
1997
Springer
14 years 7 hour ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
LCPC
1993
Springer
13 years 12 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
PARLE
1993
13 years 12 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
POPL
1994
ACM
13 years 12 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...