An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints
Software synthesis for hard real-time embedded systems with multiple processors
CML: C Modeling Language
Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads
A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets
Paulo Romero Martins Maciel
Raimundo da Silva Barreto
Eduardo Tavares
Meuse Nogueira de Oliveira Junior
L. AMORIM
M. L. NEVES