Eduardo Tavares

ATimePetri NetBasedApproach forEmbeddedHard Real-Time Software Synthesis withMultiple Operational Modes

Paulo Maciel, Raimundo Barreto, Ricardo Lima, 2005 .

Evaluating Eucalyptus Virtual Machine Instance Types: a Study Considering Distinct Workload Demand

Paulo Maciel, Eduardo Tavares, Erica Sousa, 2012, CLOUD 2012.

Iterated local search with tabu search for the weighted vertex coloring problem

Paulo Maciel, Bruno Nogueira, Eduardo Tavares, 2021, Comput. Oper. Res..

Iterated local search for the generalized independent set problem

Bruno Nogueira, Eduardo Tavares, Rian G. S. Pinheiro, 2020 .

ASTRO: An integrated environment for dependability and sustainability evaluation

Francisco A. S. Neves, Paulo Maciel, Eduardo Tavares, 2013, Sustain. Comput. Informatics Syst..

A Formal Modeling for Embedded Hard Real-Time Systems

Marcelo Custódio, Raimundo Barreto, Meuse Oliveira, 2006 .