Eduardo Antonio Guimarães Tavares
mestrado e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2006 e 2009)
Informações coletadas do Lattes em 22/04/2025
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2006 - 2009
Universidade Federal de Pernambuco
Título: Software Synthesis for Energy-Constrained Hard Real-Time Embedded Systems
, Ano de obtenção: 2009. Paulo Romero Martins Maciel. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Ciências da Computação
2005 - 2006
Universidade Federal de Pernambuco
Título: A Time Petri Net Based Approach for Software Synthesis in Hard Real-Time Systems with Multiple Processors, Ano de Obtenção: 2006
Paulo Romero Martins Maciel.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Organização de eventos
TAVARES, E. A. G. . IEEE Systems, Man and Cybernetics. 2015. (Congresso).
Participação em eventos
IEEE Consumer Communications Networking Conference. QoE and Energy Consumption Evaluation of Adaptive Video Streaming on Mobile Device. 2017. (Congresso).
IEEE International Conference on Systems, Man, and Cybernetics. Performability Assessment of a Government Process in the Cloud. 2015. (Congresso).
IEEE International Conference on Systems, Man, and Cybernetics. Transport Mode Assessment for Inbound Logistics. 2014. (Congresso).
IEEE International Conference on Computer and Information Technology. 2 Artigos. 2013. (Congresso).
International Conference on Systems, Man and Cybernetics. A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance. 2012. (Congresso).
IEEE International Conference on Systems, Man, and Cybernetics. A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. 2009. (Congresso).
6th IEEE International Conferences on Software Engineering and Formal Methods. An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. 2008. (Congresso).
Software Rejuvenation. 2008. (Outra).
20th Symposium on Integrated Circuits and Systems Design. A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. 2007. (Congresso).
18o Simpósio Brasileiro de Concepção de Circuitos Integrados (SBCCI'05). A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. 2005. (Congresso).
Participação em bancas
SOUSA, E. T. G.; DANTAS, J. R.;TAVARES, E. A. G.. Modelagem Estocástica para Estimativa de Consumo de Energia, Desempenho e Disponibilidade em Sistemas de Armazenamento Baseados em NoSQL. 2025. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
DANTAS, J. R.; SOUSA, E. T. G.;TAVARES, E. A. G.. AVALIAÇÃO DE CONSUMO DE ENERGIA E DESEMPENHO DE SGBDS NOSQL MULTIMODELOS. 2024. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SOUSA, E.TAVARES, E. A. G.; VALE, K. M. A. C.. APRENDIZADO DE MÁQUINA APLICADO À PREDIÇÃO DE FALHAS DE SOFTWARE NA COMPUTAÇÃO EM NUVEM. 2023. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.; NOGUEIRA, B.. Offloading em Dispositivos Móveis Considerando Consumo Energético. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
NOGUEIRA, B.; AQUINO, A. L. L.;TAVARES, E. A. G.. Otimização de Tráfego Urbano Usando Simulação: Estudo de Caso em Maceió/AL. 2022. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.
TAVARES, E. A. G.; BAPTISTA, C. S.; FIDALGO, R. N.. Data Warehouse NewSQL: Uma Análise de Desempenho Explorando Estratégias de Armazenamento e Distribuição. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; DANTAS, J. R.; VALE, K. M. A. C.. Geração de Cargas de Trabalho Virtuais Realísticas para Simulação de Redes. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ALVES, G.; CALLOU, G.;TAVARES, E. A. G.. ? AVALIAÇÃO DE PERFORMABILIDADE DE SISTEMAS DE TRANSPORTE URBANO COM REDES DE PETRI COLORIDAS? AVALIAÇÃO DE PERFORMABILIDADE DE SISTEMAS DE TRANSPORTE URBANO COM REDES DE PETRI COLORIDAS. 2020. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
LOSCIO, B. F.; CALLOU, G.;TAVARES, E. A. G.. Avaliação de SGBDs NoSQL em Ambientes de Nuvem Privada: Uma Abordagem Baseada em Modelagem Estocástica. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SOUSA, E.TAVARES, E. A. G.; AYRES, F.;MACIEL, P. R. M.. Uma Estratégia para Avaliação de Desempenho e Custo de Ambientes Big Data em Infraestruturas de Nuvem Privada. 2019. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
MACIEL, P. R. M.; LIRA, V.;TAVARES, E. A. G.. Planejamento de Infraestrutura Computacional para SGBDs NoSQL. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
DIAS, K. L.; NOGUEIRA, B.;TAVARES, E. A. G.. Comparação de Infraestruturas Baseadas em SDN e Virtualização de Rede para Suporte a Serviços VoIP. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SOUSA, E.MACIEL, P. R. M.TAVARES, E. A. G.. Modelagem de Desempenho e Disponibilidade para Sistemas de Armazenamento Híbridos. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
FERNANDES, S.TAVARES, E. A. G.SILVA, B.. Avaliação de desempenho de videoconferência em redes SDN/Openflow usando vídeo escalável. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CALLOU, G.;ALVES, G.; CARNEIRO, E.;TAVARES, E. A. G.. AVAILABILITY AND PERFORMANCE ANALYSIS OF PRIVATE CLOUD STORAGE SERVICES.. 2017. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
TAVARES, E. A. G.LIMA, R. M.OLIVEIRA JUNIOR, M. N.. Análise de Desempenho e Consumo de Energia de parâmetros TCP/IP em dispositivos móveis. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MOTA, A. C.;SOUSA, E.TAVARES, E. A. G.. Avaliação de Qualidade de Experiência e Consumo de Energia em Transmissão Adaptativa de Vídeos em Dispositivos Móveis. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.; FERREIR, A. A.;TAVARES, E. A. G.. Avaliação do Consumo de Energia em Sistemas de Gerenciamento de Banco de Dados NoSQL. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SAMPAIO, A. C. A.;TAVARES, E. A. G.; ABRANTES, J. C.. CPN SIMULATION BASED TEST CASE GENERATION FROM NATURAL LANGUANGE REQUIREMENTS. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.SILVA, B.MACIEL, P. R. M.. Avaliação da Disponibilidade de Infraestrutura de Sincronização de Dados. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.; GUIMARAES, A. P.. Performability Analysis of Web Cache Server Clusters Applied to Server Virtualization. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.FERNANDES, S.; DANTAS, R. A. S.. Estudo comparativo de controladores SDN: avaliando a utilização de recursos no hospedeiro. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.; SOUZA, F. V.. Avaliação da Disponibilidade de Vídeo Surveillance as a service (VSAAS). 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.; SALGUEIRO, R.. Análise de Disponibilidade e Consumo Energético em Ambientes de Mobile Cloud Computing. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.ALVES, G.. Avaliação de Performabilidade de Riscos de Desenvolvimento em Projetos de Software. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
FERNANDES, S.TAVARES, E. A. G.; GALDINO, S.. Uma abordagem para mapeamento de redes virtuais confiáveis de computadores. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
LINS, F.; MASSA, R.;TAVARES, E. A. G.. Modelagem e Avaliação de Performabilidade de Processo Governamental de um Centro de Atendimento ao Contribuinte (CAC). 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ALVES, G.; IYODA, J.;TAVARES, E. A. G.. Modelagem e Avaliação de Performabilidade de Modais de Transportes em Logística de Suprimentos: Um estudo baseado na indústria de café. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.; OLIVEIRA, L. A. H. G.. Avaliação de Dependabilidade de Infraestruturas de Data Centers Considerando os Efeitos da Variação de Temperatura. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; CELESTINO JUNIOR, J.; CAMPOS, M. A.. Intervalos Autovalidáveis para Métricas de Confiabilidade. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; GOMES, D.; Sadok, D.. Implementação de Algoritmos para Casamento de Expressões Regulares utilizando GPU. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.LIMA, R. M.; OLIVEIRA, S. C.. Construção de Modelos Simuláveis para Avaliação de Consumo de Energia em Redes de Sensores Sem Fio. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P.; GALDINO, S.. Modelagem Nierárquica e Heterogênea para Infraestrutura de Redes Convergentes e Política de Manutenção para Garantia de Níveis de Serviços. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; GUEDES, L. A.;MACIEL, P. R. M.. ASTRO - Uma Ferramenta para Avaliação de Dependabilidade e Sustentabilidade em Ambientes Data Center. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.LIMA, R. M.; SOUZA, F. V.. Análise de Dependabilidade de Sistemas Data Center Baseada em Índices de Importância. 2011.
LIMA, R. M.MACIEL, P. R. M.TAVARES, E. A. G.. Avaliação de Desempenho e Consumo de Energia em Sistemas Embarcados: Uma Abordagem Baseada na Arquitetura da Plataforma. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.; VASCONCELOS, A.;TAVARES, E. A. G.. Avaliação de Desemepenho de Processos de Testes de Software. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MELLO, R. S.; ALENCAR, A. L.;TAVARES, E. A. G.; GARCIA, V. C.; BARBOSA, L.. FRED EDUARDO REVOREDO RABELO FERREIRA. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; DANTAS, J. R.; LOUREIRO, A. A. F.; DANTAS, M. A. R.;SILVA, B.. Analytical and Hierarchical Models for Availability and Performability Evaluation of Edge-Fog-Cloud Continuum Application. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Nelson Rosa;TAVARES, E. A. G.; SOUZA, J. N.; VASCONCELOS, G. C.; ENDO, P. T.. Modelos de Machine Learning baseados no padrão de uso do usuário para estimar consumo energético e utilização de dispositivos do smartphone. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Modelos de Desempenho, Confiabilidade e Disponibilidade para o Planejamento de Sistemas de Transporte Público.. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Estratégias para Analisar e Estimar a Eficiência do Consumo de Energia em Centros de Dados. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
CUNHA, P.LIMA, R. M.TAVARES, E. A. G.; ZIVIANI, A.; SOUZA, J. N.. Planejamento de Infraestrutura de Nuvens Computacionais para Serviço de VoD Streaming Considerando Desempenho, Disponibilidade e Custo. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Nelson Rosa;TAVARES, E. A. G.; MORAES, R. M.; SOUZA, J. N.; MEI, A.. Improving Mobile Cloud Performance using Offloading Techniques. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Nelson Rosa; Sadok, D.;TAVARES, E. A. G.; MADEIRA, E. R. M.; SOUZA, J. N.. Planejamento de Infraestruturas de Mobile Cloud Computing baseado em Modelos Estocásticos. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Avaliação Integrada de Consumo de Energia e Confiabilidade em Redes de Sensores Sem Fio Usando Modelos. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
CUNHA, P.; Nelson Rosa; MADEIRA, E. R. M.;TAVARES, E. A. G.; BRINKMANN, A.. Identification of availability and performance bootlenecks in cloud computing systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.; CASTRO, J.; MASSONI, T.; OLIVEIRA, C.;TAVARES, E. A. G.. A graph-based model for declarative business processes. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.LIMA, R. M.CUNHA, P.; SALGUEIRO, R.; MATIAS JUNIOR, R.. Modelagem e Análise de Mecanismos de Tratamento de Interrupções em Infraestruturas Computacionais dos Sistemas Distribuídos. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
BARBOSA, L. A.;TAVARES, E. A. G.; MELLO, R. S.. A performance analysis of hybrid and columnar cloud databases for efficient schema design in distributed Data Warehouse as a Service. 2024. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; SOUZA, J. N.; MATOS JUNIOR, R. S.. Modelos analíticos baseados em distribuições Phase-Type para avaliações de confiabilidade e desempenho de sistemas. 2022. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; DANTAS, J. R.; LOUREIRO, A. A. F.; DANTAS, M. A. R.. Analytical and Hierarchical Models for Avail- ability and Performance Evaluation of Edge-Fog-Cloud Continuum Applications. 2021. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
IYODA, J. M.; SANTIAGO JUNIOR, V. A.;TAVARES, E. A. G.. Formal Round-Trip Engineering for Control Systems. 2020. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; BAPTISTA, C. S.; SALGADO, A. C.. BigStar: Uma Linguagem de Modelagem para Big Geospatial Data Warehouse Orientados a Documentos ou Orientados a Colunas. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Nelson Rosa; SOUZA, J. N.;TAVARES, E. A. G.. DEpendabilidade de Sistemas mHealth em Ambientes de Mobile Cloud Computing: Planejamento de Infraestruturas através de Modelos Analíticos. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.TAVARES, E. A. G.; NOBREGA, O. O.. Provendo e otimizando o encadeamento de funções de serviço em redes sem fio heterogêneas. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.; MASSONI, T. L.;TAVARES, E. A. G.. REFLex: an efficient graph-based rule engine to execute declarative business process. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Desenvolvendo Estratégias Eficientes de Backup e Recovery. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
TAVARES, E. A. G.. Replicando em Banco de Dados Oracle Utilizando View Materializado. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
TAVARES, E. A. G.. Alta disponibilidade e um sistema de bilhetagem eletrônica. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Faculdades Integradas Barros Melo.
TAVARES, E. A. G.. Aspectos em Segurança em VoIP. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Segurança em Redes de Computador) - Faculdades Integradas Barros Melo.
GUSMAO, C.; CORREIA, B.;TAVARES, E. A. G.. Investigação Forense Computacional: Teoria, Modelos e Tecnologia. 2006.
TAVARES, E. A. G.; FIDALGO, R. N.. Avaliando a performance entre Apache Iceberg e Apache Hive utilizando esquema estrela. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
DANTAS, J. R.;TAVARES, E. A. G.. Ambiente de Medição de Consumo de Energia para SGBDs NoSQL. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
DANTAS, J. R.;TAVARES, E. A. G.. Gerenciamento de Estados no React JS: Uma Avaliação de Desempenho entre Redux e Context API. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência Política) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; FIDALGO, R. N.. Uma Análise de Performance dos Clusteres do SingleStoreDB Cloud Comparando o Armazenamento RowStore e ColumnStore em Banco de Dados do Tipo Data Warehouse. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
MACIEL, P. R. M.TAVARES, E. A. G.. Ferramentas de avaliação de blockchain. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.. Modelo de Disponibilidade para Suporte ao Planejamento de Estruturas Computacionais Baseadas em Fog e Edge Computing. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
SARMENTO, A. A. M.;TAVARES, E. A. G.. DESEMPENHO DE APLICAÇÕES MÓVEIS UTILIZANDO IMPLEMENTAÇÃO NATIVA OU FRAMEWORKS MULTIPLATAFORMAS. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.FERNANDES, S.. Uma abordagem para Alocação de Recursos em Redes Virtuais que considera Atributos de Dependabilidade e Envelhecimento de Software. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.
TAVARES, E. A. G.MACIEL, P. R. M.. Calau, uma ferramenta para análise e modelagem de sistemas embarcados de tempo-real. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
LIMA, R. M.TAVARES, E. A. G.. Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos. 2011 - Universidade Federal de Pernambuco.
TAVARES, E. A. G.; CARNEIRO, E.; MOSTRAERT, H. M.. GINGA: MIDDLEWARE PARA TV DIGITAL INTERATIVA BRASILEIRA. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
TAVARES, E. A. G.; SANTANA, C. A.; VIANA, T. A.. Expertise: Uma Ferramenta para Contribuir na Gestão do Conhecimento. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
SPINDOLA, B.; CALABRIA, E.;TAVARES, E. A. G.. Integração de Bancos de Dado: Metdologia e Estudo de Caso Banco do Brasil. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
CALABRIA, E.;TAVARES, E. A. G.; ALBUQUERQUE, E.. Clusters de Alto Desempenho Utilizando Software Livre para Construção de Render Farms. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
CALABRIA, E.;TAVARES, E. A. G.; CORREIA, B.. Aluno:.Desenvolvimento de Plug-In para Plataforma Eclipse.. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
CALABRIA, E.;TAVARES, E. A. G.; ALBUQUERQUE, E.. Replicação: Conflito ou Solução. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
GUSMAO, C.;TAVARES, E. A. G.; MODESTO, F.. Transmissão de Dados Através de Dispositivos Móveis. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
GUSMAO, C.;TAVARES, E. A. G.; MODESTO, F.. Segurança de Informação com Enfoque no Correio Eletrônico. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
CALABRIA, E.;TAVARES, E. A. G.; CORREIA, B.. - Comparação dos Principais Aspectos de Desenvolvimento de Software Observados nas Plataformas de Desenvolvimento .Net e J2EE. 2006. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo.
TAVARES, E. A. G.SOUSA, E.; SILVA, F.. Concurso para professor assistente da Universidade Federal Rural de Pernambuco. 2013.
REN, T.; CAMPOS, M.;TAVARES, E. A. G.. Concurso para professor temporário da Universidade Federal de Pernambuco. 2011. Universidade Federal de Pernambuco.
TAVARES, E. A. G.; FEITOSA, E.; IYODA, J.. Concurso para professor assistente da Universidade Federal Rural de Pernambuco. 2010. Universidade Federal Rural de Pernambuco.
TAVARES, E. A. G.. Workshop de Testes e Tolerância a Falhas. 2024. Sociedade Brasileira de Computação - Porto Alegre.
TAVARES, E. A. G.. Workshop de Testes e Tolerância a Falhas. 2023. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC).
TAVARES, E. A. G.. IEEE International Conference on Systems, Man, and Cybernetics. 2023. IEEE International Conference on Systems, Man, and Cybernetics.
TAVARES, E. A. G.. International Symposium on Computers and Communications. 2023. International Symposium on Computers and Communications.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2023.
TAVARES, E. A. G.. IEEE Symposium on Computers and Communications. 2016. IEEE Symposium on Computers and Communications.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2015. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. International Conference on Industrial Informatics. 2014. Institute Of Electrical And Electronics Engineers, Inc..
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2014. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Membro do Comitê Avaliador do V Congresso COMPSULMT. 2013. Universidade Federal de Mato Grosso.
TAVARES, E. A. G.. Latin American Symposium of Innovative Data Systems. 2013. Latin American Center for Computational Studies.
TAVARES, E. A. G.. Revisor de artigo do International Conference on High Performance Computing and Communications - HPCC. 2013.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2013. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Membro do Comitê Avaliador do Semish - XXXIX Seminário Integrado de Software e Hardware. 2012.
TAVARES, E. A. G.. Membro do Comitê Avaliador CBSoft tools - Congresso Brasileiro de Software : Teoria e Prática. 2012.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2012.
TAVARES, E. A. G.. Comissão de Seleção do Mestrado em Ciência da Computação. 2012.
TAVARES, E. A. G.. Colegiado da Pós-Graduação. 2012.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2012.
TAVARES, E. A. G.. Avaliador do Programa de Bolsas de Iniciação Científica da Universidade Federal de Pernambuco. 2011. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Mesário para eleição de reitor - UFPE. 2011. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Comissão de Seleção do Mestrado em Ciência da Computação. 2011. Universidade Federal de Pernambuco.
TAVARES, E. A. G.. Colegiado da Pós-graduação. 2011. Universidade Federal de Pernambuco.
Orientou
IA e Cloud Computign; Início: 2024; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
SGBDs Multimodelos; Início: 2024; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Redes Veiculares; Início: 2023; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
IoT Medicina; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Iluminação Pública e IoT; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Modelagem Estocástica para Estimativa de Consumo de Energia, Desempenho e Disponibilidade em Sistemas de Armazenamento Baseados em NoSQL; 2025; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
AVALIAÇÃO DE CONSUMO DE ENERGIA E DESEMPENHO DE SGBDS NOSQL MULTIMODELOS; 2024; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Offloading em Dispositivos Móveis Considerando Consumo Energético; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de Desempenho de Protocolos de Comunicação para Aplicações IoT; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de SGBDs NoSQL em Ambientes de Nuvem Privada: Uma Abordagem Baseada em Modelagem Estocástica; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Planejamento de Infraestrutura Computacional para SGBDs NoSQL; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Eduardo Antonio Guimaraes Tavares;
: Modelagem de Desempenho e Disponibilidade para Sistemas de Armazenamento Híbridos; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Análise de Desempenho e Consumo de Energia de parâmetros TCP/IP em dispositivos móveis; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Comparação de infraestruturas baseadas em SDN e Virtualização de Redes para suporte e serviços VoIP; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de desempenho de videoconferência em redes SDN/Openflow usando vídeo escalável; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de Qualidade de Experiência e Consumo de Energia em Transmissão Adaptativa de Vídeos em Dispositivos Móveis; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação do Consumo de Energia em Sistemas de Gerenciamento de Banco de Dados NoSQL; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Modelagem e Avaliação de Performabilidade de Modais de Transportes em Logística de Suprimentos: Um estudo baseado na indústria de café; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de Performabilidade de Riscos de Desenvolvimento em Projetos de Software; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Modelagem e Avaliação de Performabilidade de Processo Governamental de um Centro de Atendimento ao Contribuinte (CAC); 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Uma abordagem para mapeamento de redes virtuais confiáveis de computadores; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Eduardo Antonio Guimaraes Tavares;
STOCHASTIC MODELING OF DATA STORAGE SYSTEMS FOR EVALUATING PERFORMANCE, DEPENDABILITY, AND ENERGY CONSUMPTION; 2023; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Uma abordagem para análise do impacto da consistência no desempenho e disponibilidade em SGBDs NoSQL; 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Eduardo Antonio Guimaraes Tavares;
Uma estratégia integrada para alocação de redes virtuais de computadores considerando disponibilidade e consumo de energia; 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Eduardo Antonio Guimaraes Tavares;
2020; Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Eduardo Antonio Guimaraes Tavares;
2020; Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Eduardo Antonio Guimaraes Tavares;
Ambiente de Medição de Consumo de Energia para SGBDs NoSQL; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Gerenciamento de Estados no React JS: Uma Avaliação de Desempenho entre Redux e Context API; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
DESEMPENHO DE APLICAÇÕES MÓVEIS UTILIZANDO IMPLEMENTAÇÃO NATIVA OU FRAMEWORKS MULTIPLATAFORMAS; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de desempenho de memórias flash em dispositivos móveis; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AVALIAÇÃO DE ALGORITMOS PARA CONVERSÃO DE REDES DE PETRI ESTOCÁSTICAS PARA CADEIAS DE MARKOV DE TEMPO CONTÍNUO; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Técnicas numéricas para cadeias de Markov de tempo contínuo no ambiente MERCURY; 2012; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Expertise: Uma Ferramenta para Contribuir na Gestão do Conhecimento; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Eduardo Antonio Guimaraes Tavares;
Ginga: Middleware para TV Digital Interativa Brasileira; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas Barros Melo; Orientador: Eduardo Antonio Guimaraes Tavares;
Desempenho em smartphones; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Motorola Brasil; Orientador: Eduardo Antonio Guimaraes Tavares;
AMBIENTE PARA MEDIÇÃO DE CONSUMO DE ENERGIA DE REDES DE COMPUTADORES VIRTUALIZADAS; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Programa de bolsas de iniciação Científica - UFPE; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de desempenho em smartphones; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Motorola Brasil; Orientador: Eduardo Antonio Guimaraes Tavares;
Desempenho em Smartphones; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Motorola Brasil; Orientador: Eduardo Antonio Guimaraes Tavares;
Dependabilidade em Smartphones; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Motorola Brasil; Orientador: Eduardo Antonio Guimaraes Tavares;
Dependabilidade em smartphones; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Motorola Brasil; Orientador: Eduardo Antonio Guimaraes Tavares;
Gerador de Modelos Estocásticos para Avaliação de Dependabilidade de Infraestruturas de Nuvens Computacionais; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Programa de bolsas de iniciação Científica - UFPE; Orientador: Eduardo Antonio Guimaraes Tavares;
Avaliação de Desempenho de Composições de Serviços Web em Ambientes de Computação em Nuvem; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AVALIAÇÃO DE DESEMPENHO E DEPENDABILIDADE DE INFRAESTRUTURAS DA COMPUTAÇÃO EM NUVEM; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AMBIENTE PARA EXPERIMENTAÇÃO E AVALIAÇÃO DE REDES DE COMPUTADORES VIRTUALIZADAS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AMBIENTE PARA EXPERIMENTAÇÃO E AVALIAÇÃO DE REDES DE COMPUTADORES VIRTUALIZADAS; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AVALIAÇÃO DE DESEMPENHO E DEPENDABILIDADE DE INFRAESTRUTURAS DA COMPUTAÇÃO EM NUVEM; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
AVALIAÇÃO DE DESEMPENHO E DEPENDABILIDADE DA INFRAESTRUTURA DA COMPUTAÇÃO EM NUVEM; 2013; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
MERCURY - UM AMBIENTE INTEGRADO PARA AVALIAÇÃO DE DEPENDABILIDADE E DESEMPENHO DE SISTEMAS; 2013; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Gerador de Carga Sintética para Avaliação de desempenho e dependabilidade da infraestrutura da cloud computing; 2012; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Mercury - Um ambiente integrado para avaliação de dependabilidade e desempenho de sistemas; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Mercury - Um ambiente integrado para avaliação de dependabilidade e desempenho de sistemas; 2011; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Moreira; Orientação de estágio; 2017; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Orientação de estágio; 2016; Orientação de outra natureza; (Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Linguagem de Programação; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Laboratório de Informática; 2010; Orientação de outra natureza - Universidade Federal Rural de Pernambuco; Orientador: Eduardo Antonio Guimaraes Tavares;
Produções bibliográficas
-
NOGUEIRA, B. ; CARNEIRO, E. ; TAVARES, E. A. G. ; ROSENDO, W. G. P. . GPU tabu search: a study on using GPU to solve massive instances of the maximum diversity problem . JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING , v. 197, p. 1, 2025.
-
NASCIMENTO, E. B. ; LINS, L. ; TAVARES, E. A. G. ; PEREIRA, P. ; DANTAS, J. R. ; KOSTA, S. ; MACIEL, P. R. M. . Availability Assessment of SDN-ICN Service for Multi-Access Edge Computing. THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE) , v. 81, p. 436, 2025.
-
ARAUJO, C. G. ; NOGUEIRA, B. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . Performability Evaluation of NoSQL-based Storage Systems. Journal Of Systems And Software , v. 208, p. 111885, 2024.
-
FALCAO, F. M. C. ; MOURA, J. P. S. P. ; SILVA, G. F. ; ARAUJO, C. G. ; SOUSA, E. T. G. ; TAVARES, E. A. G. . Energy Consumption and Performance Evaluation of Multi-Model NoSQL DBMSs. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 30, p. 2, 2024.
-
BEZERRA, T. V. ; FRANCA FILHO, C. B. ; CALLOU, G. R. A. ; TAVARES, E. A. G. . Availability and Performance Assessment of IoMT systems: A Stochastic Modeling Approach. Journal of Network and Systems Management , v. 32, p. 95, 2024.
-
FRANCA FILHO, C. B. ; TAVARES, E. A. G. . Stochastic Modeling of Smart Street Lighting Systems: Maintenance Models Assessment. COMPUTING (WIEN. INTERNET) , v. 107, p. 19, 2024.
-
LAGES, D. L. ; BORBA, E. R. ; TAVARES, E. A. G. . A CPN-based Model for Assessing Energy Consumption of IoT Network. The Journal of Supercomputing (Dordrecht. Online) , v. 79, p. 12978-13000, 2023.
-
ARAUJO, C. G. ; NOGUEIRA, B. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . NoSQL-based Storage Systems: Influence of Consistency on Performance, Availability and Energy Consumption. THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE) , v. 79, p. 21424-21448, 2023.
-
BORBA, E. R. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . A modeling approach for estimating performance and energy consumption of storage systems. JOURNAL OF COMPUTER AND SYSTEM SCIENCES (ONLINE) , v. 128, p. 86-106, 2022.
-
NOGUEIRA, B. ; PINHEIRO, R. G. S. ; TAVARES, E. A. G. . Iterated local search for the generalized independent set problem. Optimization Letters , v. 15, p. 1345-1369, 2021.
-
ARAUJO, C. G. ; OLIVEIRA JUNIOR, M. N. ; NOGUEIRA, B. ; TAVARES, E. A. G. . Cloud storage availability and performance assessment: a study based on NoSQL DBMS. JOURNAL OF SUPERCOMPUTING , p. 1, 2021.
-
NASCIMENTO, A. ; SOUSA, E. ; NOGUEIRA, B. ; ALVES, G. ; TAVARES, E. A. G. . Performability Evaluation of Transport Modes for Cloud-based Inbound Logistics: A Study Based on Coffee Industry. International Journal of Manufacturing Technology and Management , v. 34, p. 126-147, 2020.
-
NOGUEIRA, B. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Iterated local search with tabu search for the weighted vertex coloring problem. COMPUTERS & OPERATIONS RESEARCH , v. 125, p. 105087, 2020.
-
NOGUEIRA, B. ; CARNEIRO, E. ; TAVARES, E. A. G. . Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory. MICROPROCESSORS AND MICROSYSTEMS , v. 67, p. 93-102, 2019.
-
NOGUEIRA, B. ; TEIXEIRA, J. ; CALLOU, G. ; TAVARES, E. A. G. . Accelerating Continuous GRASP with a GPU. THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE) , v. 75, p. 5741-5759, 2019.
-
JANIEL, F. ; TAVARES, E. A. G. ; SOUSA, E. ; NOGUEIRA, B. . Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 47-55, 2018.
-
LIRA, V. ; TAVARES, E. A. G. . Virtual Network Mapping Considering Energy Consumption and Availability. COMPUTING , v. 1, p. 1-31, 2018.
-
SILVA, B. ; TAVARES, E. A. G. . Sensitivity Analysis of an Availability Model for Disaster Tolerant Cloud Computing System'. International Journal of Network Management , v. 1, p. 1, 2018.
-
GONCALVES, R. ; TAVARES, E. A. G. ; ALVES, G. ; SILVA, B. . Stochastic Modeling of Taxpayer Assistance Centre for Performability Evaluation. International Journal of Business Process Integration and Management (Online) , v. 8, p. 53-63, 2017.
-
BORBA, E. ; TAVARES, E. A. G. . Stochastic Modeling for Performance and Availability Evaluation of Hybrid Storage Systems. JOURNAL OF SYSTEMS AND SOFTWARE , v. 134, p. 1-11, 2017.
-
NOGUEIRA, B. ; MACIEL, P. R. M. ; MARTINS, R. ; TAVARES, E. A. G. ; CARNEIRO, E. . Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. Soft Computing , v. 1, p. 1-18, 2016.
-
SOUSA, E. ; AYRES, F. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . A MODELING STRATEGY FOR CLOUD INFRASTRUCTUREPLANNING CONSIDERING PERFORMANCE AND COST REQUIREMENTS. Services Transactions on Cloud Computing , v. 4, p. 32-45, 2016.
-
MELO, A. ; TAVARES, E. A. G. ; SOUSA, E. ; NOGUEIRA, B. ; MARINHO, M. . A Dependability Approach for Evaluating Software Development Risks. IET Software (Print) , v. 9, p. 17-27, 2015.
-
SOUSA, E. ; LINS, F. ; TAVARES, E. A. G. ; MACIEL, P. ; CUNHA, P. . A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans , v. 45, p. 549-558, 2015.
-
LIRA, V. ; TAVARES, E. A. G. ; FERNANDES, S. ; MACIEL, P. R. M. . Dependable Virtual Network Mapping. Computing (Wien. Internet) , v. 97, p. 459-481, 2015.
-
LIRA, V. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . An Automated Approach to Dependability Evaluation of Virtual Networks. Computer Networks (1999) , v. 88, p. 89-102, 2015.
-
VASCONCELOS, A. ; TAVARES, E. A. G. . A Performability Approach for Evaluating the Impact of Risks in Software Development. International Journal of Software Engineering, Technology and Applications , v. 1, p. 261-289, 2015.
-
SILVA, B. ; CALLOU, G. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; FIGUEIREDO, J. ; SOUSA, E. ; ARAUJO, C. J. M. ; MAGNANI, F. ; NEVES, F. . ASTRO: An Integrated Environment for Dependability and Sustainability Evaluation. Sustainable Computing: Informatics and Systems , v. 40, p. 1, 2013.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; DALLEGRAVE, P. ; SILVA, B. ; NOGUEIRA, B. ; CALLOU, G. ; CUNHA, P. . Model-driven software synthesis for hard real-time applications with energy constraints. Design Automation for Embedded Systems , v. 1, p. 1-1, 2011.
-
CALLOU, G. ; NOGUEIRA, B. ; CARNEIRO, E. ; ARAUJO, C. J. M. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Energy Consumption and Execution Time Estimation of Embedded System Applications. Microprocessors and Microsystems , v. x, p. x-0, 2010.
-
NOGUEIRA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; CARNEIRO, E. ; LIMA, R. M. ; CALLOU, G. ; FERRAZ, R. . A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP Journal on Embedded Systems , v. N/A, p. 1-0, 2010.
-
NOGUEIRA, B. ; MACIEL, P. R. M. ; CALLOU, G. ; CARNEIRO, E. ; TAVARES, E. A. G. . ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. Revista de Informática Teórica e Aplicada , v. XVI, p. 1-0, 2009.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. . Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Information Processing Letters , v. 108, p. 50-59, 2008.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. . Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocessors and Microsystems , v. 1, p. 1, 2008.
-
CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. . . Estimation of Energy Consumption and Execution Time in Early Phases of Design LifecycleLifecycle: an Application to Biomedical Systems. Electronics Letters , v. 1, p. 1, 2008.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. ; Rafael Rodrigues . Modeling and Scheduling Hard Real-Time Biomedical Systems with Timing and Energy Constraints. Electronics Letters , v. 43, p. 1015-1017, 2007.
-
TAVARES, E. A. G. ; BARRETO, R. S. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARROS, L. ; ROCHA, F. ; LIMA, R. M. . Software Synthesis for Hard Real-Time Embedded Systems with Multiple Processors. Software Engineering Notes , v. 32, p. 1-10, 2007.
-
OLIVEIRA, F. ; LIMA, R. M. ; CONELIO, M. ; SERGIO, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . CML: C Modeling Language. Journal of Universal Computer Science. Journal of Universal Computer Science (Online) , v. 13, p. 682, 2007.
-
BARROS, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software Engineering Notes , v. 31, p. 1-25, 2006.
-
BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; FREITAS, R. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis. Design Automation for Embedded Systems , v. 12, p. 1-10, 2006.
-
TAVARES, E. A. G. . Software Synthesis for Energy-Constrained Hard Real-Time Systems: A Petri net-based approach. 0. ed. Herstellung: LAMBERT Academic Publishing, 2011. v. 0. 227p .
-
CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. ; ARAUJO, C. J. M. . Estimating Energy Consumption and Execution Time of Embedded System Applications. Advances in Energy Research. Nova Publishers: , 2010, v. 1, p. -.
-
BARROS, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. . On the Use of TPN and LSC for Embedded Hard Real-Time Software Synthesis. Embedded Systems: Status and Perspective. : American Scientific publishers, 2007, v. , p. -.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. . Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: IFIP Advances in Information and Communication Technology. (Org.). From Model-Driven Design to Resource Management for Distributed Embedded Systems. 1ed.-: Springer, 2006, v. 225, p. 255-264.
-
BARRETO, R. S. ; TAVARES, E. A. G. . EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS. In: Achim Rettberg,Mauro C. Zanella,Franz J. Rammig. (Org.). From Specification to Embedded Systems Application. 1ed.-: Springer, 2005, v. 184, p. 77-86.
-
NASCIMENTO, E. B. ; DANTAS, J. R. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Availability Evaluation of a Softwarized MEC. In: IEEE SysCon 2024, 2024, Montreal. IEEE SysCon 2024, 2024.
-
NASCIMENTO, E. B. ; TAVARES, E. A. G. ; DANTAS, J. R. ; MACIEL, P. R. M. . Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation. In: Latin-American Symposium on Dependable and Secure Computing (LADC), 2024, Recife. Latin-American Symposium on Dependable and Secure Computing (LADC), 2024.
-
BEZERRA, T. V. ; FRANCA FILHO, C. B. ; CALLOU, G. ; TAVARES, E. A. G. . A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things. In: Latin-American Symposium on Dependable and Secure Computing (LADC), 2024, Recife. Latin-American Symposium on Dependable and Secure Computing (LADC), 2024.
-
BORBA, E. R. ; SALKHORDEH, R. ; MIMOUNI, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; ASSADI, H. ; BRINKMANN, A. . A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers. In: International Conference on Architecture of Computing Systems (ARCS 2024), 2024, Potsdam. International Conference on Architecture of Computing Systems (ARCS 2024), 2024.
-
BEZERRA, T. V. ; CALLOU, G. R. A. ; SILVA, A. ; FRANCA FILHO, C. B. ; TAVARES, E. A. G. . Availability Assessment of Internet of Medical Things Architecture using Private Cloud. In: SEMISH - Seminário Integrado de Software e Hardware, 2023, João Pessoa. SEMISH - Seminário Integrado de Software e Hardware, 2023.
-
FRANCA FILHO, C. B. ; BEZERRA, T. V. ; CALLOU, G. R. A. ; BORBA, E. ; TAVARES, E. A. G. . Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems. In: IEEE 9th World Forum on Internet of Things, 2023, Aveiro. IEEE 9th World Forum on Internet of Things, 2023. v. 0. p. 0-0.
-
LAGES, D. L. ; BORBA, E. R. ; SOUSA, E. T. G. ; ARAUJO, J. C. T. ; TAVARES, E. A. G. . Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems. In: IEEE SysCon 2021, 2021, Virtual Conference. IEEE SysCon 2021, 2021.
-
CUNHA, A. ; SOUSA, E. T. G. ; CALLOU, G. ; TAVARES, E. A. G. . Modelagem Hierárquica e Heterogênea para Avaliação de Disponibilidade de Aplicações Big Data na Nuvem Privada. In: WPerformance, 2021, Online. WPerformance, 2021.
-
BORBA, E. ; TAVARES, E. A. G. . Performance and Energy Consumption Evaluation of Hybrid Storage Systems. In: IEEE SysCon 2020, 2020, Montreal. IEEE SysCon 2020, 2020. v. 0. p. 0-0.
-
BORBA, E. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Analytical models for performance and energy consumption evaluation of storage devices. In: International Conference on Massive Storage Systems and Technology, 2020, Santa Clara. 36th International Conference on Massive Storage Systems and Technology, 2020.
-
LIRA, V. ; TAVARES, E. A. G. . Estimating Availability-Oriented Throughput of Virtualized Networks. In: Systems, Man and Cybernetics, 2019, Bari. Systems, Man and Cybernetics, 2019. v. 0. p. 0-0.
-
MORAES, T. M. ; TAVARES, E. A. G. . Performance Comparison of IoT Communication Protocols. In: Sytems, Man and Cybernetics, 2019, Bari. Sytems, Man and Cybernetics, 2019.
-
ARAUJO, C. G. ; TAVARES, E. A. G. . Performability Model for Assessing NoSQL DBMS Consistency. In: IEEE International Systems Conference, 2019, Orlando. IEEE International Systems Conference, 2019. v. 0. p. 0-0.
-
RODRIGUES, M. D. ; TAVARES, E. A. G. . Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling. In: IEEE International Systems Conference, 2019, Orlando. IEEE International Systems Conference, 2019. v. 0. p. 0-0.
-
MOREIRA, C. B. ; CARVALHO, A. ; BORGES, D. ; BARBOSA, N. ; PONTES, J. ; TAVARES, E. A. G. . QoE and Energy Consumption Evaluation of Adaptive Video Streaming on Mobile Device. In: IEEE Consumer Communications & Networking Conference, 2017, Las Vegas. IEEE Consumer Communications & Networking Conference, 2017. v. 0. p. 1.
-
LIRA, V. ; TAVARES, E. A. G. . An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding. In: 26th International Conference on Computer Communications and Networks, 2017, Vancouver. 26th International Conference on Computer Communications and Networks, 2017. v. 0. p. 1-1.
-
PONTES, J. ; TAVARES, E. A. G. . Assessment of TCP parameters for mobile devices concerning performance and energy consumption. In: 2017 IEEE International Conference on Computer and Information Technology, 2017, Helsinki. 2017 IEEE International Conference on Computer and Information Technology, 2017. v. 0. p. 1.
-
LIRA, V. ; TAVARES, E. A. G. . A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks. In: 2017 IEEE International Conference on Computer and Information Technology, 2017, Helsinki. 2017 IEEE International Conference on Computer and Information Technology, 2017. v. 0. p. 1.
-
BORBA, E. ; PONTES, J. ; TAVARES, E. A. G. . Performance and Availability Modeling of Hybrid Storage Systems. In: The 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC2017), 2017, Banff. The 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC2017), 2017. v. 0. p. 1.
-
ARAUJO, C. G. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. . Energy Consumption Evaluation of NoSQL DBMSs. In: WPerformance, 2016, Porto Alegre. WPerformance 2016, 2016.
-
GONCALVES, R. ; TAVARES, E. A. G. ; NASCIMENTO, A. ; SOUSA, E. ; LINS, F. ; ALVES, G. . Performability Assessment of a Government Process in the Cloud. In: International Conference on Systems, Man, and Cybernetics, 2015, Hong Kong. IEEE International Conference on Systems, Man, and Cybernetics, 2015.
-
MORAIS, L. ; MASSA, R. ; CARNEIRO, E. ; TAVARES, E. A. G. . Avaliação de Desempenho do Processo de Manufatura do Café. In: WPerformance, 2015, Recife. WPerformance, 2015.
-
LIRA, V. ; TAVARES, E. A. G. . Energy-Aware Mapping for Dependable Virtual Networks. In: Power And Timing Modeling, Optimization and Simulation, 2015, Salvador. Power And Timing Modeling, Optimization and Simulation 2015, 2015.
-
SOUSA, E. ; LINS, F. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Performance and Cost Modeling Strategy for Cloud Infrastructure Planning. In: IEEE International Conference on Cloud Computing, 2014, Alask. IEEE International Conference on Cloud Computing, 2014. v. 0. p. 0-1.
-
NASCIMENTO, A. ; ALVES, G. ; SOUSA, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. . Transport Mode Assessment for Inbound Logistics: A Study Based on Coffee Industry. In: IEEE International Conference on Systems, Man, and Cybernetics, 2014, San Diego. IEEE International Conference on Systems, Man, and Cybernetics, 2014.
-
SILVA, B. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; NOGUEIRA, B. . AMALGHMA -An Environment for Measuring Execution Time and Energy Consumption in Embedded Systems. In: EEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, 2014, San Diego. EEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, 2014.
-
SOUSA, E. ; SAMUEL, E. ; LINS, F. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Dependability Evaluation of Virtual Learning Environments Hosted on Cloud Infrastructures. In: IEEE International Conference on Systems, Man, and Cybernetics, 2014, San Diego. IEEE International Conference on Systems, Man, and Cybernetics, 2014.
-
NOGUEIRA, B. ; MACIEL, P. R. M. ; MARTINS, R. ; TAVARES, E. A. G. . A Simulation Optimization Approach for the Design Space Exploration of Soft Real-Time Embedded Systems. In: IEEE Congress on Evolutionary Computation, 2013, Cancún. IEEE Congress on Evolutionary Computation. USA: IEEE, 2013. v. 0. p. 0-0.
-
SILVA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; ZIMMERMAN, A. . Dependability Models for Designing Disaster Tolerant Cloud Computing Systems. In: International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology, 2013, Budapest. International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology. USA: IEEE, 2013. v. 0. p. 0-0.
-
SOUSA, E. ; TAVARES, E. A. G. . Stochastic Model Generation for Cloud Infrastructure Planning. In: IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, 2013, Manchester. IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, 2013. v. 1. p. 1-1.
-
MELO, A. ; TAVARES, E. A. G. ; MARINHO, M. ; SOUSA, E. ; NOGUEIRA, B. ; MACIEL, P. R. M. . Development Risk Assessment in Software Projects using Dependability Models. In: International Conference on Computer and Information Technology, 2013, Sydney. International Conference on Computer and Information Technology. Sydney: IEEE, 2013. v. 0. p. 1.
-
LIRA, V. ; TAVARES, E. A. G. ; FERNANDES, S. ; MACIEL, P. R. M. ; MARTINS, R. . Virtual Network Resource Allocation Considering Dependability Issues. In: International Conference on Computer and Information Technology, 2013, Sydney. International Conference on Computer and Information Technology. Sydney: IEEE, 2013.
-
TAVARES, E. A. G. ; ALEIXO, J. ; MACIEL, P. R. M. ; HEIDE, E. ; ARAUJO, R. ; NOVAES, M. . Performance Evaluation of Medical Imaging Service. In: Symposium On Applied Computing - ACM SAC, 2012, Riva del Garda. Symposium On Applied Computing - ACM SAC, 2012.
-
FERNANDES, S. ; TAVARES, E. A. G. ; SANTOS, M. ; LIRA, V. ; MACIEL, P. R. M. . Dependability Assessment of Virtualized Networks. In: IEEE International Conference on Communications, 2012, Ottawa. IEEE International Conference on Communications, 2012.
-
MEDEIROS, E. ; Erica Souza ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Performance evaluation of lossless file compression in the cloud: a study based on Eucalyptus platform. In: SEMISH - Seminário Integrado de Software e Hardware, 2012, Curitiba. CSBC - Congresso da Sociedade Brasileira de Computação, 2012.
-
SOUSA, E. ; MACIEL, P. R. M. ; MEDEIROS, E. ; LINS, F. ; TAVARES, E. A. G. . Evaluating Eucalyptus Virtual Machine Instance Types: a Study Considering Distinct Workload Demand. In: CLOUD COMPUTING, 2012, Nice. CLOUD COMPUTING, 2012.
-
SOUSA, E. ; MACIEL, P. ; SOUZA, D. ; MEDEIROS, E. ; LINS, F. ; TAVARES, E. A. G. . Capacity Planning of EFT Service Hosted on Elastic IaaS. In: SMC 2012, 2012, Seoul. 2012 IEEE International Conference on Systems, Man, and Cybernetics, 2012.
-
TAVARES, E. A. G. ; MACIEL, P. ; SOUSA, E. ; NOGUEIRA, B. ; AMORIM, L. ; LIRA, V. . A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance. In: 2012 IEEE International Conference on Systems, Man, and Cybernetics, 2012, Seul. 2012 IEEE International Conference on Systems, Man, and Cybernetics, 2011.
-
CALLOU, G. ; Erica Souza ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; SILVA, B. ; ARAUJO, C. J. M. ; MAGNANI, F. ; NEVES, F. . A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures. In: Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), 2011, Boston. Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), 2011. v. 0. p. 0-0.
-
CALLOU, G. ; MACIEL, P. R. M. ; MAGNANI, F. ; FIGUEIREDO, J. ; Erica Souza ; TAVARES, E. A. G. ; SILVA, B. ; NEVES, F. ; ARAUJO, C. J. M. . Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures. In: The International Symposium on Sustainable Systems and Technology, 2011, Chicago. International Symposium on Sustainable Systems and Technology - ISSST, 2011.
-
CALLOU, G. ; MACIEL, P. R. M. ; MAGNANI, F. ; TAVARES, E. A. G. ; SOUSA, E. ; SILVA, B. ; FIGUEIREDO, J. ; ARAUJO, C. J. M. ; NEVES, F. . Sustainability and Dependability Evaluation on Data Center Architecture. In: IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. Procedings of SMC2011, 2011.
-
FIGUEIREDO, J. ; MACIEL, P. R. M. ; CALLOU, G. ; TAVARES, E. A. G. ; SOUSA, E. ; SILVA, B. . Estimating Reliability Importance and Total Cost of Acquisition for Data Center Power Infrastructures. In: IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. Procedings of SMC201, 2011.
-
SILVA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures. In: 2010 IEEE Conference on Systems, Man and Cybernetics, 2010, Istambul. 2010 IEEE Conference on Systems, Man and Cybernetics, 2010.
-
CALLOU, G. ; Erica Souza ; MACIEL, P. R. M. ; TAVARES, E. A. G. . Impact Analysis of Maintenance Policies on Data Center Power Infrastructure. In: 2010 IEEE Conference on Systems, Man and Cybernetics, 2010, Istambul. 2010 IEEE Conference on Systems, Man and Cybernetics, 2010.
-
TAVARES, E. A. G. ; DALLEGRAVE, P. ; SILVA, B. ; CALLOU, G. ; NOGUEIRA, B. ; MACIEL, P. R. M. . A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, San Antonio. 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009.
-
NOGUEIRA, B. ; MACIEL, P. R. M. ; TAVARES, E. A. G. . Performance and Energy Consumption Evaluation of Embedded Applications: A method based on platform's behavioral model. In: SBAC-PAD 2009, 2009, São Paulo. 21st International Symposium on Computer Architecture and High Performance Computing, 2009.
-
TAVARES, E. A. G. ; SILVA, B. ; MACIEL, P. R. M. ; DALLEGRAVE, P. . Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. In: 20th Brazilian Symposium on Computer Architecture and High Performance Computing, 2008, Campo Grande. 20th Brazilian Symposium on Computer Architecture and High Performance Computing, 2008.
-
CALLOU, G. ; MACIEL, P. R. M. ; NOGUEIRA, B. ; CARNEIRO, E. ; TAVARES, E. A. G. . A Coloured Petri Net Based Approach for Estimating Execution Time and Energy Consumption in Embedded Systems. In: 21st Symposium on Integrated Circuits and Systems Desgin, 2008, Gramado. 21st Symposium on Integrated Circuits and Systems Desgin, 2008.
-
CARNEIRO, E. ; MACIEL, P. R. M. ; CALLOU, G. ; TAVARES, E. A. G. ; NOGUEIRA, B. . Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: International Conference on Advances in Electronics and Micro-electronics, 2008, Valência. International Conference on Advances in Electronics and Micro-electronics, 2008.
-
TAVARES, E. A. G. ; SILVA, B. ; MACIEL, P. R. M. . An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. In: 6th IEEE International Conferences on Software Engineering and Formal Methods, 2008, Cape Town. 6th IEEE International Conferences on Software Engineering and Formal Methods, 2008.
-
OLIVEIRA, F. ; LIMA, R. M. ; CONELIO, M. ; SERGIO, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . CML: C Modeling Language.. In: Simpósio Brasileiro de Linguagens de Programação, 2007, Natal. Simpósio Brasileiro de Linguagens de Programação, 2007.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; SILVA, B. ; OLIVEIRA JUNIOR, M. N. . A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. In: Symposium on Integrated Circuits and Systems Design (SBCCI 2007), 2007, Rio de Janeiro. 20th Symposium on Integrated Circuits and Systems Design (SBCCI 2007), 2007.
-
TAVARES, E. A. G. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; SILVA, B. ; Rafael Rodrigues ; MARQUES, R. . Dynamic Voltage Scaling in Hard Real-Time Systems Considering Precedence and Exclusion Relations. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007.
-
SOARES, A. ; TAVARES, E. A. G. ; DURAES, G. ; GIOZZA, W. ; CUNHA, P. . Modelo Analítico Baseado em GSPN para Cálculo de Probabilidade de Bloqueio em Redes Ópticas Transparentes com Conversão Total. In: 6th International Information and Telecommunication Technologies Symposium (I2TS 2007)., 2007, Brasília. 6th International Information and Telecommunication Technologies Symposium (I2TS 2007)., 2007.
-
TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; SILVA, B. ; FREITAS, R. ; NETO, S. ; CUSTODIO, M. . . Pre-runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, 2006, Braga. DIPES 2006, 2006.
-
BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. . A Formal Modeling for Embedded Hard Real-Time Systems.. In: Workshop on Real-Time Systems, 2006, Curitiba. WTR 2006, 2006.
-
OLIVEIRA JUNIOR, M. N. ; NETO, S. ; MACIEL, P. R. M. ; LIMA, R. M. ; RIBEIRO, A. ; BARRETO, R. S. ; TAVARES, E. A. G. . Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling. In: International Conference on the Applications and Theory of Petri Nets, 2006, Turco. International Conference on the Applications and Theory of Petri Nets, 2006.
-
BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; NEVES, M. L. ; BARROS, L. ; LIMA, R. M. ; BESSA, A. . Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. In: International Embedded Systems Symposium 2005, 2005, Manaus. (IESS 2005), 2005.
-
TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; BARROS, L. ; LIMA, R. M. ; BESSA, A. . A Time Petri Net Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. In: 18th Brazilian Symposium on Integrated Circuits and Systems Design, 2005, Florianópolis. SBCCI 2005, 2005.
-
BARROS, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: 2005 IEEE International Conference on Systems, Man, and Cybernetics, 2005, Hawaii. SMC 2005, 2005.
-
TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; LIMA, R. M. ; BESSA, A. ; BARROS, L. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005. PATMOS 2005.
-
OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; BARRETO, R. S. ; LIMA, R. M. ; BARROS, L. ; OLIVEIRA, C. ; ARCOVERDE, A. . A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. In: . International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005, Leuven. PATMOS 2005, 2005.
-
BARRETO, R. S. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; NEVES, M. L. ; BARROS, L. ; BESSA, A. ; LIMA, R. M. . A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads. In: In 17th Brazilian Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. SBAC-PAD 2005, 2005.
-
BARROS, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: 2nd International Conference on Embedded Software and Systems, 2005, Xi'na. 2nd International Conference on Embedded Software and Systems, 2005.
-
BARRETO, R. S. ; MACIEL, P. R. M. ; NEVES, M. L. ; TAVARES, E. A. G. ; LIMA, R. M. . A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. In: 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004, Porto de Galinhas. Brazilian Symposium on Integrated Circuits and Systems Design, 2004.
-
BARRETO, R. S. ; MACIEL, P. R. M. ; NEVES, M. L. ; TAVARES, E. A. G. ; LIMA, R. M. . A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES),, 2004, Toulousse. 18th IFIP World Computer Congress, 2004.
-
TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; NEVES, M. L. ; MACIEL, P. R. M. ; LIMA, R. M. . An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints. In: 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004), 2004, Foz do Iguaçu. Brazilian Symposium on Computer Architecture and High Performance Computing, 2004.
-
BARRETO, R. S. ; NEVES, M. L. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study. In: I Workshop de Sistemas Operacionais, 2004, Salvador. Congresso da Sociedade Brasileira da Computação, 2004.
-
CALLOU, G. ; MACIEL, P. R. M. ; CARNEIRO, E. ; NOGUEIRA, B. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. . A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008, Lisboa. International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008.
-
BEZERRA, T. V. ; CALLOU, G. R. A. ; SILVA, F. A. P. ; TAVARES, E. A. G. . A modeling-based approach for performance and availability assessment of IoMT systems. ELECTRONICS , 2025.
-
SOUZA, F. C. D. ; TAVARES, E. A. G. ; ARAUJO, C. G. . A Modelling Approach for Estimating Energy Consumption of NoSQL-Based Storage Systems. THE JOURNAL OF SUPERCOMPUTING (DORDRECHT. ONLINE) , 2025.
-
TAVARES, E. A. G. . QoE and Energy Consumption Evaluation of Adaptive Video Streaming on Mobile Devic. 2017. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . Performability Assessment of a Government Process in the Cloud. 2015. (Apresentação de Trabalho/Conferência ou palestra).
-
TAVARES, E. A. G. . Transport Mode Assessment for Inbound Logistics. 2014. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . Development Risk Assessment in Software Projects using Dependability Models. 2013. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . Virtual Network Resource Allocation Considering Dependability Issues. 2013. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance. 2012. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. 2009. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. 2008. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations. 2007. (Apresentação de Trabalho/Congresso).
-
TAVARES, E. A. G. . A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. 2005. (Apresentação de Trabalho/Congresso).
Projetos de pesquisa
-
2023 - Atual
Avanços Integrados em Mobilidade Inteligente, Segurança Veicular e Eficiência Energética, Projeto certificado pelo(a) coordenador(a) Paulo Romero Martins Maciel em 03/01/2024., Descrição: O programa tem o objetivo de formar redes voltadas à atuação nos segmentos de segurança veicular, proteção ao meio ambiente, eficiência energética e qualidade de veículos automotores terrestres e autopeças. O AIMOBVE busca a criação de uma cadeia de instituições que possam conglomerar conhecimentos em áreas como Internet das Coisas (IoT), computação em nuvem, consumo energético, desempenho, e sistemas digitais. A iniciativa visa fomentar o desenvolvimento de mecanismos que aumentem a segurança, otimizem a eficiência, melhorem a qualidade dos veículos terrestres e suas respectivas autopeças.Os principais focos do projeto, são o desenvolvimento de sistemas inteligentes para auxiliar a condução dos veículos e prevenir acidentes; a implementação de estratégias que promovam redução do consumo energético dos veículos e a redução das emissões de poluentes; a criação e a implementação de novas tecnologias e materiais para autopeças; e a integração de sistemas digitais nos veículos. Se por um lado, as tecnologias de IoT serão o alicerce para coleta de dados, a computação em nuvem oferecerá a capacidade de processar grandes volumes de dados de maneira eficaz e segura. A conclusão da proposta prevê uma série de soluções para a indústria automotiva, com ênfase na mobilidade elétrica. A meta é impulsionar um setor automotivo mais seguro e eficiente.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (40) / Doutorado: (20) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
-
2023 - Atual
Avaliação da Dependabilidade e Desempenho de Serviços e Infraestruturas Computacionais em Ambientes Inteligentes, Projeto certificado pelo(a) coordenador(a) Paulo Romero Martins Maciel em 08/12/2023., Descrição: A evolução dos sistemas computacionais, dos sistemas de comunicação, dos dispositivos móveis e da tecnologia de sensoriamento proporcionam o desenvolvimento de sistemas dinâmicos de alta complexidade e valor agregado. As pessoas e as organizações dependem, deste modo, dos serviços proporcionados pelas tecnologias da informação e critérios tais qual eficiência, disponibilidade, confiabilidade, consumo energético e custo são requisitos essenciais para o desenvolvimento adequado das atividades da sociedade atual. Parte significativa das atividades dos sistemas computacionais e de comunicação são geridas por um conjunto de regras operacionais sujeitas a eventos discretos. Sistemas com estas características, integrantes da classe de sistemas dinâmicos, são classificados com Sistemas de Eventos Discretos (Discrete Event Systems - DES). O estudo dos DES é uma tarefa complexa que envolve conhecimento de controle; modelagem funcional, análise e verificação de propriedades qualitativas; desempenho, dependabilidade e a avaliação conjunta destes, denominada performabilidade (performability).O objetivo geral deste projeto de pesquisa é investigar a implementação de tecnologias de cidades e campus inteligentes da perspectiva (i) da avaliação de desempenho, dependabilidade e performabilidade e (ii) da segurança e privacidade dos dados. À medida que as cidades e os campi se tornam mais conectados e digitais, é essencial garantir não apenas o desempenho eficiente das infraestruturas e sistemas, mas também a segurança e privacidade dos dados coletados e compartilhados, além de desenvolver estratégias eficazes para o gerenciamento e planejamento de infraestruturas computacionais e de comunicação. A metodologia adotada é baseada em boas práticas de gerência de projetos, considerandoas questões de inovação e pesquisa científica. Dessa forma, fases, marcos e produtos são definidos e refletidos no cronograma físico do projeto... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (20) / Doutorado: (20) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2022 - 2023
Planejamento de Infraestruturas Computacionais Considerando Serviços de Vídeo Streaming, Descrição: Com o passar dos anos, podemos perceber a crescente evolução dos sistemas computacionais. Velocidade de conexão, poder de processamento, segurança dos dados e disponibilidade dos serviços são exigidos por usuários do sistema. Partindo desse pressuposto, podemos perceber que a virtualização de servidores é um dos recursos tecnológicos que está, cada vez mais, fazendo parte como meio essencial nas empresas de todos os tamanhos, em que redução de custos e facilidade na implantação de mecanismos de redundância são alguns dos fatores que impulsionam a adoção dessa tecnologia, em paralelo, podemos citar a implementação da computação em nuvem (cloud computing) pelos provedores de serviços de infraestruturas computacionais. Como as infraestruturas de nuvem envolvem diversos componentes e seus respectivos mecanismos de comunicação, há muitos fatores que podem influenciar no desempenho de um determinado serviço que esteja hospedado na nuvem. A pandemia provocada pelo novo COVID-19 provocou uma série de mudanças de hábito por todo mundo, uma delas é a adaptação de empresas públicas e privadas que tinham atividades presenciais e tiveram que se adaptar para atendimento e continuidade dos serviços. Reuniões, considerando grandes números de funcionários, assim como, escolas e universidades, em suas aulas, passaram a adotar o serviço de vídeo streaming para transmitir os conteúdos na tentativa de minimizar os impactos provocados pela paralisação no período de quarentena. Sistema de streaming de vídeo, seja ela baseada em serviço de VoD (vídeo on demand) e streaming ao vivo, pode ser utilizado para simular o funcionamento de possíveis arquiteturas de streaming service, é importante que tais sistemas sejam open source e de fácil instalação, esses sistemas podem ser o clipbucket, VLC (Video Lan Client streaming server) e FFMPEG. Ao implementar um serviço baseado em streaming service, é importante que se tenha níveis de qualidade de serviço aceitáveis, esses níveis de serviço podem ser descritos como métricas de desempenho e/ou dependabilidade. Como um serviço de vídeo pode ter uma lógica de aplicação complexa, por possuir diversos componentes que realizam atividades distintas, tais como transcodificação, armazenamento e publicação do vídeo, atividades que demandam de tempo, não é trivial verificar se ele será capaz de atender aos requisitos desejados de qualidade de serviço. Assim, demonstra-se o valor da realização de experimentos, seguindo as melhores práticas de planejamento, medição e análise de dados. Os resultados obtidos em ambientes experimentais podem ser usados para prever o comportamento de certos componentes do sistema em um ambiente de produção. Portanto, a combinação de uma ou mais técnicas com o intuito de avaliar o desempenho/dependabilidade do sistema de vídeo podem ser bastante úteis. As medições, podem ser usadas para obter alguns parâmetros do sistema, e esses parâmetros podem ser usados como valor de entrada para um modelo de mais baixo nível.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Jamilson Ramalho Dantas - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Cooperação.
-
2022 - 2023
Avaliação da Eficiência Energética, Desempenho e Dependabilidade Aplicada à Computação nas Nuvens, Descrição: Esse projeto tem como objetivo a proposição de uma estratégia para auxiliar no gerenciamento de recursos de data centers virtualizados e que busque otimizar o número de servidores para atender aos requisitos de cargas de trabalho dinâmicas. A abordagem irá levar em consideração um módulo de previsão da carga de trabalho que será demandada e, também, das técnicas de modelagem para avaliação tanto do desempenho quanto da disponibilidade dos serviços ofertados em computação nas nuvens. Vale destacar que a eficiência energética, o desempenho e a disponibilidade são requisitos conflitantes que dependem diretamente da carga de trabalho e do número de servidores ativos. Nesse sentido, um estudo que busque a proposição de uma estratégia que faça relação do impacto das previsões das cargas de trabalho no número de servidores ativos, na disponibilidade e no desempenho é de fundamental importância.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Gustavo Rau de Almeida Callou - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
-
2022 - Atual
Pesquisa e Desenvolvimento Para Viabilização da Mobilidade Urbana Baseada em Motocicletas Elétricas, Projeto certificado pela empresa VOLTZ MOTORS DO BRASIL COMERCIO DE MOTOCICLETAS LTDA em 14/11/2022., Descrição: Este projeto é composto por dois subprojetos. O primeiro desenvolverá um sistema de apoio ao planejamento logístico através do qual a Voltz poderá planejar e definir a localização, distribuição e operacionalização das estações de troca de baterias. Este sistema receberá informações tais quais que subsidiarão a construção de modelos que maximizem a disponibilidade do serviço de trocas de baterias, e minimizem os custos de implementação. Com base nos dados coletados dos veículos, estações de recargas e da demanda de utilização das estações de troca, o sistema dará suporte à operacionalização das estações, prevendo e identificando picos de utilização. O operador poderá adotar medidas de mitigação desses picos e poderá identificar gargalos no sistema. Esta identificação será utilizada para propor modificações que fornecerão subsídios para otimizar a disponibilização do serviço.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (3) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Cooperação.
-
2019 - 2022
Avaliação e Modelagem de Sistemas Computacionais para Armazenamento de Dados, Descrição: erviços computacionais atuais (ex: redes sociais) guardam, produzem e disponibilizamuma imensa quantidade de dados, necessitando de infraestruturas apropriadas para lidaremcom a grande demanda por armazenamento e processamento. Como consequência, pesquisastêm sido realizadas para aprimorar o dispositivo de hardware de armazenamento, o software degerenciamento e as técnicas de redundância de dados. As melhorias precisam ser avaliadas eas investigações podem envolver diversas combinações de fatores, de tal forma que pode sercustoso (e.g., tempo e recurso financeiro) experimentações somente em sistemas em produçãoou protótipos. Assim, métodos formais são de grande importância, pois permitem descriçõesmatemáticas para representação do comportamento do sistema e a possibilidade de verificaçãoe análise de propriedades quantitativas/qualitativas. As respectivas extensões estocásticasadicionam o poder das técnicas de estatística e probabilidade na avaliação dos modelos. Estaproposta contempla a concepção de técnicas, construção de modelos estocásticos edesenvolvimento de ferramentas para avaliação de desempenho, confiabilidade edisponibilidade de sistemas computacionais de armazenamento de dados. Ademais, estapesquisa engloba a investigação de dispositivos de hardware, software, mecanismos deredundância e infraestrutura de comunicação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2015 - 2019
Avaliação de Dependabilidade de smartphones, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Coordenador.
-
2015 - 2018
Avaliação de Desempenho de Smartphones, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Coordenador., Financiador(es): Motorola Industrial Ltda. - Auxílio financeiro.
-
2013 - 2017
Modelagem Formal de Sistemas para Avaliação de Performabilidade, Descrição: Este projeto propõe o desenvolvimento de técnicas, modelos e ferramentas que permitam a avaliação de dependabilidade e desempenho de forma conjunta para sistemas de eventos discretos (DES), viabilizando, assim, a avaliação de performabilidade. Utilizando os mecanismos a serem desenvolvidos, os projetistas terão uma melhor percepção das modificações a serem realizadas em um sistema existente ou mesmo na construção de um novo. O contexto do projeto englobará sistemas de tempo real, cloud computing, virtualização de redes de computadores e análise de riscos em projetos de desenvolvimento de softwares.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (3) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Coordenador / Paulo Maciel - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2011 - 2013
Modelagem e Avaliação de Sistemas, Descrição: A evolução dos sistemas computacionais, dos sistemas de comunicação e da tecnologia de sensoriamento tem proporcionado o desenvolvimento de sistemas dinâmicos de alta complexidade e valor agregado. Os exemplos estão em nosso entorno, ao nosso alcance e presentes no nosso cotidiano. A ubiqüidade desses sistemas, portanto, é um fator que tem induzido a concepção e desenvolvimento de novas aplicações e serviços que permeiam o cotidiano das pessoas na sociedade moderna. As pessoas e as organizações dependem, deste modo, dos serviços proporcionados pela tecnologia da informação e critérios tais quais eficiência, disponibilidade, confiabilidade, consumo energético, custo etc são requisitos essenciais para o desenvolvimento adequado das atividades da sociedade atual. Esse projeto tem por por objetivo o estudo e desenvolvimento de técnicas de modelagem e avaliação desempenho e dependabilidade de sistemas de eventos discretos. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador.
-
2009 - 2009
Dependability Evaluation and Management of Sustainable Data Centers DESDAC, Descrição: Descrição: Durante os últimos anos, tem se observado um extraordinário crescimento do número, das dimensões e da capacidade dos data centers. É também relevante salientar as diversas características e aspectos que concorrem com a finalidade de se alcançar os altos níveis de disponibilidade nesses sistemas data centers, dentre estes são fundamentais os mecanismos de redundância, as políticas de manutenção e os meios que reduzam a probabilidade do provimento de serviços fora dos níveis de especificação definidos. Dentre estes meios, destacam-se os mecanismos de resfriamento do sistema computacional. Contudo, por outro lado, os sistemas de resfriamento são agentes significativos para o aumento do consumo de energia e conseqüentemente um aspecto relevante a ser considerado com relação à emissão de gás carbônico. Nesse contexto, o projeto DESDAC tem como objetivo o desenvolvimento de uma metodologia de modelagem e de avaliação de confiabilidade e disponibilidade de data centers. O projeto considera a concepção e desenvolvimento de um conjunto de modelos parametrizados que permitam a avaliação de métricas de disponibilidade e confiabilidade dos componentes e sub-sistemas que compreendem os sistemas data centers. Este projeto contempla os sistemas energéticos, o de resfriamento e o computacional (servidores, mecanismos de rede e armazenamento) e suas inter-relações, de maneira que se possam avaliar os efeitos das condições operacionais sobre a disponibilidade deste sistema integrado e dos custos financeiros e ambientais necessários associados. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador / Bruno Silva - Integrante / Gustavo Callou - Integrante / Nelson Rosa - Integrante / Carlos Julian. M. ARAUJO - Integrante / Erica Souza - Integrante.
-
2008 - 2011
Modelagem e Avaliação de Sistemas de Eventos Discretos, Descrição: principal objetivo deste projeto de pesquisa é o desenvolvimento e aplicação de um conhecimento, modelos, métodos e procedimentos objetivando o estudo de aspectos quantitativos, mais particularmente aqueles com implicações temporais, aos sistemas de eventos discretos... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Paulo Maciel - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2005 - 2006
Ambiente de Desenvolvimento de Sistemas Embutidos Críticos com Restrições Temporais e de Consumo de Energia, Descrição: A designação de sistema embutido, ou embarcado, cabe a quaisquer sistemas digitais que estejam incorporados a outros sistemas, com o fim de acrescer ou otimizar funcionalidades. Equipamentos eletro-médico, instrumentação eletrônica, automóveis, aeronaves, telefones, modernos equipamentos eletro-domésticos, todos estes sistemas têm, em maior ou menor grau, um sistema digital embutido que otimiza e implementa algumas funcionalidades que simplesmente não existiam em suas concepções originais. Alguns outros produtos só se tornaram possíveis comercialmente graças ao ato de embutir sistemas computacionais em sua base funcional, como é o caso do telefone celular, sistema de injeção eletrônica, freio ABS e navegação eletrônica de aeronaves. Devido à tamanha diversidade de aplicações, o projeto de sistemas embutidos pode estar sujeito aos mais variados tipos de restrições, incluindo, as restrições temporais, tamanho, peso, consumo de energia, confiabilidade e custo. Novos paradigmas de projeto tiveram de ser criados visando estabelecer ganhos de produtividade e qualidade de projeto. A criação de tais paradigmas e otimizações das técnicas existentes é, em ultima análise, o objetivo da maioria das pesquisas voltadas a sistemas embutidos. O objetivo geral deste projeto é propor uma metodologia formal, e ferramentas de apoio para a geração automática de software para sistemas embutidos de tempo-real críticos, de tal forma que o código resultante satisfaça as propriedades especificadas, assim como as restrições temporais, de consumo de energia e de acesso a recursos compartilhados... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eduardo Antonio Guimaraes Tavares - Integrante / Raimundo Barreto - Integrante / Paulo Maciel - Coordenador / Ricardo Massa Lima - Integrante / Leonardo Barros - Integrante / Angelo Ribeiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Prêmios
2021
Best Paper - WPerformance 2021, SBC.
2016
Premiação de publicações do CIn 2016, Centro de Informática, Universidade Federal de Pernambuco.
2015
Outstanding Contribution in Reviewing, Journal of Systems and Software.
2003
Sun Certified Enterprise Architect, Sun.
2002
Sun Certified Web Component, Sun.
2002
IBM Enterprise Connectivity (with J2EE), IBM.
2001
Sun Certified Programmer for Java 2 Plataform, Sun.
Histórico profissional
Endereço profissional
-
Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (81) 21268430, URL da Homepage:
Experiência profissional
2009 - 2010
Universidade Federal Rural de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professsor, Carga horária: 40, Regime: Dedicação exclusiva.
2009 - 2009
Hewlett-Packard Brasil - MatrizVínculo: Pesquisador, Enquadramento Funcional: Pesquisador
2005 - 2009
Faculdades Integradas Barros MeloVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 10
Atividades
-
02/2005
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Linguages de Programação II (Orientação a Objetos), Estrutura de Dados, Sistemas Operacionais, Arquitetura de Computadores, Paradigmas de Linguagens de Programação, Introducão à Computação
2010 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
2005 - 2006
Universidade Federal de PernambucoVínculo: Colaborador, Enquadramento Funcional: Colaborador
Atividades
-
11/2024
Direção e administração, Centro de Informática.,Cargo ou função, Coordenador de Estágio de Engenharia da Computação.
2005 - 2005
ITECIVínculo: Consultor, Enquadramento Funcional: Professor
Atividades
-
03/2005 - 05/2005
Ensino, Certificação Java, Nível: Aperfeiçoamento,Disciplinas ministradas, Java
2004 - 2004
NDEVínculo: Consultor, Enquadramento Funcional: Profesor
Atividades
-
03/2004 - 04/2004
Ensino, Java Básico e Avançado, Nível: Aperfeiçoamento,Disciplinas ministradas, Java
2003 - 2003
BRQVínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
02/2003 - 07/2003
Serviços técnicos especializados , Desenvolvimento.,Serviço realizado, Consultor/Analista de Sistemas.
2000 - 2005
Centro de Estudos e Sistemas Avançados do RecifeVínculo: Celetista, Enquadramento Funcional: Engenheiro\Arquiteto de Sofware
Atividades
-
08/2003 - 02/2005
Serviços técnicos especializados , Desenvolvimento.,Serviço realizado, Engenheiro/Arquiteto de Software.
-
12/2000 - 03/2003
Serviços técnicos especializados , Desenvolvimento.,Serviço realizado, Engenheiro de Software.
1998 - 2000
Elógica/PSINetVínculo: Estagiário, Enquadramento Funcional: Suporte Técnico, Carga horária: 20
Atividades
-
09/1998 - 06/2000
Estágios , Suporte.,Estágio realizado, Suporte Técnico/Administração de Redes.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Eduardo Antonio Guimarães Tavares e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?