Hardware-software co-design of embedded systems
- 1 July 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 82 (7), 967-989
- https://doi.org/10.1109/5.293155
Abstract
No abstract availableThis publication has 57 references indexed in Scilit:
- An automaton model for scheduling constraints in synchronous machinesIEEE Transactions on Computers, 1995
- Automating the design of computer systemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- Optimal part selectionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- Module allocation of real-time applications to distributed systemsIEEE Transactions on Software Engineering, 1990
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- An incremental version of iterative data flow analysisIEEE Transactions on Software Engineering, 1989
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Attributes of the performance of central processing units: a relative performance prediction modelCommunications of the ACM, 1987