A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.

Published in: ARTS (1999)

Keyphrases

real time
low cost
pc cluster
formal semantics
fuzzy logic
high speed
multi threaded
parallel processing
cell processor
dynamic aspects
parallel computing
shared memory
logic programming
vision system
parallel implementation
semantic information
real time systems
control system
artificial intelligence