Synthesis-for-Initializability of Asynchronous Sequential Machines.

Montek Singh Steven M. Nowick

Published in: ITC (1996)

Keyphrases

databases
parallel machines
program synthesis
sequential search
parallel tree search
real time
high speed
parallel version