Refining SCJ Mission Specifications into Parallel Handler Designs

Frank Zeyda Ana Cavalcanti

Published in: Refine@IFM (2013)

Keyphrases

parallel processing
high level
parallel implementation
shared memory
parallel computing
database
real time
neural network
artificial intelligence
finite state machines
computer architecture