An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- An Optimal Approach to Hardware/Software Partitioning for Synchronous ModelPublished by Springer Nature ,2004
- Efficient Guiding Towards Cost-Optimality in UPPAALPublished by Springer Nature ,2001
- Minimum-Cost Reachability for Priced Time AutomataPublished by Springer Nature ,2001
- Parts a partitioning transformation systemPublished by Springer Nature ,1999
- Kronos: A model-checking tool for real-time systemsPublished by Springer Nature ,1998
- HyTech: A model checker for hybrid systemsPublished by Springer Nature ,1997
- Model-checking for real-time systemsPublished by Springer Nature ,1995
- Hardware-software co-design of embedded systemsProceedings of the IEEE, 1994
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990
- Theory of tracesTheoretical Computer Science, 1988