Scheduling hardware/software systems using symbolic techniques
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 173-177
- https://doi.org/10.1109/hsc.1999.777427
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Interval diagram techniques for symbolic model checking of Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Ensemble representation and techniques for exact control-dependent schedulingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Combining multiple models of computation for scheduling and allocationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compile-time scheduling of dynamic constructs in dataflow program graphsIEEE Transactions on Computers, 1997
- Dataflow process networksProceedings of the IEEE, 1995
- Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
- Synchronous data flowProceedings of the IEEE, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986