Formal synthesis and code generation of embedded real-time software
Proceedings of the ninth international symposium on Hardware/software codesign
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
Synthesis of real-time embedded software with local and global deadlines
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Towards direct execution of esterel programs on reactive processors
Proceedings of the 4th ACM international conference on Embedded software
Hi-index | 0.00 |
Recent advances in system design are presented. The shift towards flexible hardware architectures that can support a variety of applications via programmability and reconfigurability is underlined. Essential to this process is the definition and use ...