844 search results - page 93 / 169 » Truncated Message Passing |
AMAST
1997
Springer
14 years 1 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
IPPS
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
IPPS
1993
IEEE
14 years 1 months ago
1993
IEEE
The dramatic improvements in the processing rates of parallel computers are turning many compute-bound jobs into IO-bound jobs. Parallel le systems have been proposed to better ma...
ECOOP
1992
Springer
14 years 1 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
MICRO
1992
IEEE
14 years 1 months ago
1992
IEEE
This paper describes a single chip Multiple Instruction Stream Computer (MISC) capable of extracting instruction level parallelism from a broad spectrum of programs. The MISC arch...