Eduardo Antonio Guimarães Tavares
Orcid: 0000-0001-6778-299XAffiliations:
- Universidade Federal de Pernambuco, Brazil
According to our database1,
Eduardo Antonio Guimarães Tavares
authored at least 88 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Availability and Performance Assessment of IoMT Systems: A Stochastic Modeling Approach.
J. Netw. Syst. Manag., October, 2024
J. Syst. Softw., February, 2024
Proceedings of the IEEE International Systems Conference, 2024
Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation.
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024
A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things.
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024
A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers.
Proceedings of the Architecture of Computing Systems - 37th International Conference, 2024
2023
NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption.
J. Supercomput., December, 2023
J. Supercomput., August, 2023
Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems.
Proceedings of the 9th IEEE World Forum on Internet of Things, 2023
2022
J. Supercomput., 2022
A modeling approach for estimating performance and energy consumption of storage systems.
J. Comput. Syst. Sci., 2022
2021
Optim. Lett., 2021
Comput. Oper. Res., 2021
Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems.
Proceedings of the IEEE International Systems Conference, 2021
The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation.
Proceedings of the Intelligent Environments 2021, 2021
2020
Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry.
Int. J. Manuf. Technol. Manag., 2020
Proceedings of the IEEE International Systems Conference, 2020
2019
Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory.
Microprocess. Microsystems, 2019
Computing, 2019
Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling.
Proceedings of the 2019 IEEE International Systems Conference, 2019
Proceedings of the 2019 IEEE International Systems Conference, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
2018
RITA, 2018
Sensitivity analysis of an availability model for disaster tolerant cloud computing system.
Int. J. Netw. Manag., 2018
2017
Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation.
Soft Comput., 2017
Stochastic modeling for performance and availability evaluation of hybrid storage systems.
J. Syst. Softw., 2017
Int. J. Bus. Process. Integr. Manag., 2017
Computing, 2017
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017
Assessment of TCP Parameters for Mobile Devices Concerning Performance and Energy Consumption.
Proceedings of the 2017 IEEE International Conference on Computer and Information Technology, 2017
Proceedings of the 2017 IEEE International Conference on Computer and Information Technology, 2017
2015
A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements.
IEEE Trans. Syst. Man Cybern. Syst., 2015
Comput. Networks, 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 25th International Workshop on Power and Timing Modeling, 2015
2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
Sustain. Comput. Informatics Syst., 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
A simulation optimization approach for design space exploration of soft real-time embedded systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013
2012
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of IEEE International Conference on Communications, 2012
2011
Microprocess. Microsystems, 2011
EURASIP J. Embed. Syst., 2011
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Estimating reliability importance and total cost of acquisition for data center power infrastructures.
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the IEEE International Conference on Systems, 2011
2010
Model-driven software synthesis for hard real-time applications with energy constraints.
Des. Autom. Embed. Syst., 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
2009
ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados.
RITA, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model.
Proceedings of the 21st International Symposium on Computer Architecture and High Performance Computing, 2009
2008
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads.
Microprocess. Microsystems, 2008
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations.
Inf. Process. Lett., 2008
Des. Autom. Embed. Syst., 2008
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.
Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, 2008
Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations.
Proceedings of the IEEE International Conference on Systems, 2007
A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007
2006
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.
ACM SIGSOFT Softw. Eng. Notes, 2006
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the IEEE International Conference on Systems, 2005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.
Proceedings of the Integrated Circuit and System Design, 2005
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
Proceedings of the Integrated Circuit and System Design, 2005
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005
2004
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004