Sign in

Formally Defining and Verifying Master/Slave Speculative Parallelization.

Pierre SalverdaGrigore RosuCraig 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