Searching for authors named "Steve Haynal" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Automata-Based Symbolic Scheduling
- …Automata-Based Symbolic Scheduling Steve Haynal Committee in charge: UNIVERSITY OF CALIFORNIA…
- Cited by 10 (0 self) – Add To MetaCart
-
Efficient encoding for exact symbolic automatabased scheduling
- …Efficient Encoding for Exact Symbolic Automata-Based Scheduling Steve Haynal Forrest Brewer…
- Cited by 7 (1 self) – Add To MetaCart
-
Representing and Scheduling Looping Behavior Symbolically
- … a brief example followed by a technical description of model construction in sections 1.2- Steve…
- Add To MetaCart
Showing 1 through 3.
