The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Specification and design of embedded systems
Specification and design of embedded systems
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Hardware/Software CO-Design: Principles and Practice
Hardware/Software CO-Design: Principles and Practice
Scheduling for Embedded Real-Time Systems
IEEE Design & Test
Codesign of Embedded Systems: Status and Trends
IEEE Design & Test
Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
Redefining the role of FPGAs in the next generation avionic systems (abstract only)
Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays
Hi-index | 0.00 |