Search the dblp DataBase

Publications of Author

1. Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga
   Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2006, pp:261-281 [Conf]
   
2. Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima
   A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. [Citation Graph (0, 0)][DBLP]
   ICESS, 2005, pp:50-62 [Conf]
   
3. Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima
   A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   DIPES, 2004, pp:157-166 [Conf]
   
4. Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leornado Amorim
   A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. [Citation Graph (0, 0)][DBLP]
   PATMOS, 2005, pp:49-58 [Conf]
   
5. Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa
   An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. [Citation Graph (0, 0)][DBLP]
   PATMOS, 2005, pp:382-392 [Conf]
   
6. Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima
   An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. [Citation Graph (0, 0)][DBLP]
   SBAC-PAD, 2004, pp:188-195 [Conf]
   
7. Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima
   A formal software synthesis approach for embedded hard real-time systems. [Citation Graph (0, 0)][DBLP]
   SBCCI, 2004, pp:163-168 [Conf]
   
8. Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima
   A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. [Citation Graph (0, 0)][DBLP]
   SBCCI, 2005, pp:98-103 [Conf]
   
9. Eduardo Tavares, Meuse Oliveira, Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Freitas, Marcelo Custodio
   Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. [Citation Graph (0, 0)][DBLP]
   DIPES, 2006, pp:255-264 [Conf]
   
10. 
    A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. [Citation Graph (, )][DBLP]
    
    
11. 
    A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. [Citation Graph (, )][DBLP]
    
    
12. 
    Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. [Citation Graph (, )][DBLP]
    
    
13. 
    A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. [Citation Graph (, )][DBLP]
    
    
14. 
    An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. [Citation Graph (, )][DBLP]
    
    
15. 
    Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. [Citation Graph (, )][DBLP]
    
    
16. 
    A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. [Citation Graph (, )][DBLP]