A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption

Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.. A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In Lars Svensson, José Monteiro, editors, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers. Volume 5349 of Lecture Notes in Computer Science, pages 379-388, Springer, 2008. [doi]

Authors

Gustavo Rau de Almeida Callou

This author has not been identified. Look up 'Gustavo Rau de Almeida Callou' in Google

Paulo Romero Martins Maciel

This author has not been identified. Look up 'Paulo Romero Martins Maciel' in Google

Ermeson Carneiro de Andrade

This author has not been identified. Look up 'Ermeson Carneiro de Andrade' in Google

Bruno Costa e Silva Nogueira

This author has not been identified. Look up 'Bruno Costa e Silva Nogueira' in Google

Eduardo Tavares

This author has not been identified. Look up 'Eduardo Tavares' in Google

Meuse N. Oliveira Jr.

This author has not been identified. Look up 'Meuse N. Oliveira Jr.' in Google