Sign in

Synthesis-for-Initializability of Asynchronous Sequential Machines.

Montek SinghSteven M. Nowick
Published in: ITC (1996)
Keyphrases
  • databases
  • parallel machines
  • program synthesis
  • sequential search
  • parallel tree search
  • real time
  • high speed
  • parallel version