Parameterized Looped Schedules for Compact Representationof Execution Sequences.

Ming-Yung Ko Claudiu Zissulescu Sebastian Puthenpurayil

Published in: ASAP (2006)

Keyphrases

deadlock free
scheduling problem
hidden markov models
data flow
real time
binary strings
sequence matching
execution model
website
neural network
sequential data
control flow
multiple sequence alignment
test sequences
sequence analysis
test cases
database