Login / Signup

Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition.

Ganesh GopalakrishnanNarayana ManiVenkatesh Akella
Published in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
  • real time
  • low cost
  • parallel hardware
  • neural network
  • parallel processing
  • hardware and software
  • web services
  • parallel computation
  • hardware architecture
  • parallel execution