Eduardo Antonio Guimarães Tavares

Eduardo Tavares

	2012
c28		Stenio F. L. Fernandes, Eduardo Tavares, Marcelo Anderson Santos, Victor Lira, Paulo Romero Martins Maciel: Dependability assessment of virtualized networks. ICC 2012: 2711-2716
c27		Eduardo Tavares, J. Aleixo, Paulo Romero Martins Maciel, D. Oliveira, E. Heyde, R. Araujo, L. Maia, A. Duarte, M. Novaes: Performance evaluation of medical imaging service. SAC 2012: 1349-1354
c26		Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira: A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. SMC 2012: 1207-1212
c25		Erica Sousa, Paulo Romero Martins Maciel, Debora Souza, Erico Medeiros, Fernando Antônio Aires Lins, Eduardo Tavares: Capacity planning of EFT service hosted on elastic IaaS. SMC 2012: 1749-1754
	2011
j8		Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz: A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Emb. Sys. 2011 (2011)
j7		Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha: Energy consumption and execution time estimation of embedded system applications. Microprocessors and Microsystems - Embedded Hardware Design 35(4): 426-440 (2011)
c24		Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno L. B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves: Sustainability and dependability evaluation on data center architectures. SMC 2011: 398-403
c23		J. Figueiredo, Bruno L. B. Silva, Gustavo Rau de Almeida Callou, Eduardo Tavares, Erica Sousa, Bruno L. B. Silva: Estimating reliability importance and total cost of acquisition for data center power infrastructures. SMC 2011: 421-426
c22		Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves: A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. SpringSim (TMS-DEVS) 2011: 274-281
	2010
j6		Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha: Model-driven software synthesis for hard real-time applications with energy constraints. Design Autom. for Emb. Sys. 14(4): 327-366 (2010)
c21		Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno L. B. Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, F. S. Magnani: Impact analysis of maintenance policies on data center power infrastructure. SMC 2010: 526-533
c20		Bruno L. B. Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires: ASTRO: A tool for dependability evaluation of Data Center infrastructures. SMC 2010: 783-790
	2009
c19		Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Ermeson Carneiro de Andrade, Gustavo Rau de Almeida Callou, Ricardo Massa Oliveira Lima, Rodolfo Ferraz, Bruno Montenegro: Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. SBAC-PAD 2009: 135-142
c18		Eduardo Tavares, Pedro Dallegrave, Bruno L. B. Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel: A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. SMC 2009: 2848-2853
	2008
j5		Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time Petri net-based method for embedded hard real-time software synthesis. Design Autom. for Emb. Sys. 12(1-2): 31-62 (2008)
j4		Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.: Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Inf. Process. Lett. 108(2): 50-59 (2008)
j3		Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva: Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocessors and Microsystems - Embedded Hardware Design 32(8): 460-473 (2008)
c17		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. PATMOS 2008: 379-388
c16		Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave: Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. SBAC-PAD 2008: 115-122
c15		Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares: A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. SBCCI 2008: 134-139
c14		Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel: An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. SEFM 2008: 291-300
	2007
j2		Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima: Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Software Engineering Notes 32(2): 1-10 (2007)
c13		Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.: A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. SBCCI 2007: 312-317
c12		Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques: Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. SMC 2007: 2496-2501
	2006
j1		Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares: Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Software Engineering Notes 31(3): 1-25 (2006)
c11		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. ICATPN 2006: 261-281
c10		Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custodio: Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264
	2005
c9		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. ICESS 2005: 50-62
c8		Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim: A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS 2005: 49-58
c7		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. PATMOS 2005: 382-392
c6		Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello: A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192
c5		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. SBCCI 2005: 98-103
c4		Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares: A methodology for mapping live sequence chart to coloured Petri net. SMC 2005: 2999-3004
	2004
c3		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. DIPES 2004: 157-166
c2		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. SBAC-PAD 2004: 188-195
c1		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. SBCCI 2004: 163-168

Coauthor Index

Last update Fri May 24 22:58:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page