Formally Defining and Verifying Master/Slave Speculative Parallelization.

Pierre Salverda Grigore Rosu Craig B. Zilles

Published in: FM (2005)

Keyphrases

master slave
robotic arm
laparoscopic surgery
parallel processing
neural network
databases
virtual reality
database
real world
machine learning
data structure
model checking
parallel algorithm