Optimal Scheduling of Finite-State Machines.

Ti-Yen Yen Wayne H. Wolf

Published in: ICCD (1993)

Keyphrases

finite state machines
optimal scheduling
scheduling problem
model checking
scheduling algorithm
finite state automata
regular expressions
digital circuits
hidden markov models
state transition
databases
data warehouse