Allocating hard real-time tasks: an NP-hard problem made easy
Real-Time Systems
Real-time object-oriented modeling
Real-time object-oriented modeling
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Communication synthesis for distributed embedded systems
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
BASEMENT: a distributed real-time architecture for vehicle applications
Real-Time Systems - Special issue on the engineering of complex real-time computer control systems
Towards a complete design method for embedded systems using predicate/transition-nets
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
Computer architecture (2nd ed.): a quantitative approach
Computer architecture (2nd ed.): a quantitative approach
Communication synthesis for distributed embedded systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Complete worst-case execution time analysis of straight-line hard real-time programs
Journal of Systems Architecture: the EUROMICRO Journal - Special issue on real-time systems
The SEA Language for System Engineering and Animation
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
| Hi-index | 0.00 |