default search action
Eduardo Antonio Guimarães Tavares
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j32]Thiago Valentim Bezerra, Gustavo Callou, Cleunio França, Eduardo Tavares:
Availability and Performance Assessment of IoMT Systems: A Stochastic Modeling Approach. J. Netw. Syst. Manag. 32(4): 95 (2024) - [j31]Carlos Araújo, Meuse N. Oliveira Jr., Bruno Nogueira, Paulo Maciel, Eduardo Tavares:
Performability evaluation of NoSQL-based storage systems. J. Syst. Softw. 208: 111885 (2024) - [c54]Eric Borba, Reza Salkhordeh, Salim Mimouni, Eduardo Tavares, Paulo Maciel, Hossein Asadi, André Brinkmann:
A Hierarchical Modeling Approach for Assessing the Reliability and Performability of Burst Buffers. ARCS 2024: 266-281 - [c53]Erick Nascimento, Jamilson Dantas, Eduardo Tavares, Paulo Romero Martins Maciel:
Availability Evaluation of a Softwarized MEC. SysCon 2024: 1-7 - 2023
- [j30]Diogo Lages, Eric Borba, Eduardo Tavares, Andson M. Balieiro, Erica Souza:
A CPN-based model for assessing energy consumption of IoT networks. J. Supercomput. 79(12): 12978-13000 (2023) - [j29]Carlos Gomes, Meuse Nogueira de O. Junior, Bruno C. S. Nogueira, Paulo R. M. Maciel, Eduardo Tavares:
NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption. J. Supercomput. 79(18): 21424-21448 (2023) - [c52]Cleunio França, Gustavo Callou, Eric Borba, Thiago Valentim Bezerra, Eduardo Tavares:
Stochastic Modeling for Performance and Availability Evaluation of Street Lighting Systems. WF-IoT 2023: 1-7 - 2022
- [j28]Eric Borba, Eduardo Tavares, Paulo Maciel:
A modeling approach for estimating performance and energy consumption of storage systems. J. Comput. Syst. Sci. 128: 86-106 (2022) - [j27]Carlos Gomes, Eduardo Tavares, Meuse Nogueira de O. Junior, Bruno C. S. Nogueira:
Cloud storage availability and performance assessment: a study based on NoSQL DBMS. J. Supercomput. 78(2): 2819-2839 (2022) - 2021
- [j26]Bruno C. S. Nogueira, Eduardo Tavares, Paulo R. M. Maciel:
Iterated local search with tabu search for the weighted vertex coloring problem. Comput. Oper. Res. 125: 105087 (2021) - [j25]Bruno Costa e Silva Nogueira, Rian G. S. Pinheiro, Eduardo Tavares:
Iterated local search for the generalized independent set problem. Optim. Lett. 15(4): 1345-1369 (2021) - [c51]Thiago Pinheiro, Danilo Oliveira, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo Pereira, Carlos Melo, Felipe Oliveira, Eduardo Tavares, Jamilson Dantas, Paulo Romero Martins Maciel:
The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation. Intelligent Environments (Workshops) 2021: 16-25 - [c50]Diogo Lages, Eric Borba, Jean Araujo, Eduardo Tavares, Erica Sousa:
Energy Consumption Evaluation of LPWAN: A Stochastic Modeling Approach for IoT Systems. SysCon 2021: 1-8 - 2020
- [j24]Anderson C. A. Nascimento, Eduardo Tavares, Gabriel Alves de Albuquerque, Erica Sousa, Bruno Costa e Silva Nogueira:
Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry. Int. J. Manuf. Technol. Manag. 34(2): 126-147 (2020) - [c49]Eric Borba, Eduardo Tavares, Paulo Romero Martins Maciel, Victor Lira, Carlos Gomes Araújo:
Performance and Energy Consumption Evaluation of Hybrid Storage Systems. SysCon 2020: 1-6
2010 – 2019
- 2019
- [j23]Victor Lira, Eduardo Tavares, Meuse N. Oliveira Jr., Erica Sousa, Bruno Costa e Silva Nogueira:
Virtual network mapping considering energy consumption and availability. Computing 101(8): 937-967 (2019) - [j22]Bruno Costa e Silva Nogueira, Ermeson Carneiro de Andrade, Eduardo Tavares:
Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory. Microprocess. Microsystems 67: 93-102 (2019) - [j21]Bruno C. S. Nogueira, Eduardo Tavares, Jean Araujo, Gustavo Callou:
Accelerating continuous GRASP with a GPU. J. Supercomput. 75(9): 5741-5759 (2019) - [c48]Victor Lira, Eduardo Tavares, Eric Borba, Paulo R. M. Maciel:
Estimating Availability-oriented Throughput of Virtualized Networks. SMC 2019: 2590-2595 - [c47]Thays Moraes, Bruno C. S. Nogueira, Victor Lira, Eduardo Tavares:
Performance Comparison of IoT Communication Protocols. SMC 2019: 3249-3254 - [c46]Carlos Gomes, Eric Borba, Eduardo Tavares, Meuse Nogueira de O. Junior:
Performability Model for Assessing NoSQL DBMS Consistency. SysCon 2019: 1-6 - [c45]Matheus Rodrigues, Breno Vasconcelos, Carlos Gomes, Eduardo Tavares:
Evaluation of NoSQL DBMS in private cloud environment: An Approach Based on Stochastic Modeling. SysCon 2019: 1-7 - 2018
- [j20]Bruno Silva, Rúbens de Souza Matos Júnior, Eduardo Tavares, Paulo Romero Martins Maciel, Armin Zimmermann:
Sensitivity analysis of an availability model for disaster tolerant cloud computing system. Int. J. Netw. Manag. 28(6) (2018) - [j19]Francisco Oliveira, Eduardo Tavares, Erica Sousa, Bruno Costa e Silva Nogueira:
Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network. RITA 25(2): 38-46 (2018) - 2017
- [j18]Erica Sousa, Fernando Lins, Eduardo Tavares, Paulo Romero Martins Maciel:
Cloud infrastructure planning considering different redundancy mechanisms. Computing 99(9): 841-864 (2017) - [j17]Rosiberto Dos Santos Gonçalves, Eduardo Antonio Guimarães Tavares, Gabriel Alves de Albuquerque, Bruno Leonardo Barros Silva:
Stochastic modelling of taxpayer assistance centre for performability evaluation. Int. J. Bus. Process. Integr. Manag. 8(1): 53-63 (2017) - [j16]Eric Borba, Eduardo Tavares:
Stochastic modeling for performance and availability evaluation of hybrid storage systems. J. Syst. Softw. 134: 1-11 (2017) - [j15]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo M. A. Silva, Ermeson Carneiro de Andrade:
Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. Soft Comput. 21(14): 4141-4158 (2017) - [c44]Jonas Pontes, Demetrio Borges, Eric Borba, Victor Lira, Eduardo Tavares:
Assessment of TCP Parameters for Mobile Devices Concerning Performance and Energy Consumption. CIT 2017: 135-141 - [c43]Victor Lira, Eduardo Tavares, Meuse N. Oliveira Jr., Dennys Azevedo, Jonas Pontes:
A Sensitivity Approach to Energy-Efficient Mapping of Dependable Virtual Networks. CIT 2017: 215-222 - [c42]Victor Lira, Eduardo Tavares, Meuse N. Oliveira Jr.:
An Approach for Reducing Energy Consumption in Dependable Virtual Network Embedding. ICCCN 2017: 1-9 - [c41]Eric Borba, Jonas Pontes, Eduardo Tavares:
Performance and availability modeling of hybrid storage systems. SMC 2017: 3721-3726 - 2015
- [j14]Victor Lira, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
An automated approach to dependability evaluation of virtual networks. Comput. Networks 88: 89-102 (2015) - [j13]Victor Lira, Eduardo Antonio Guimarães Tavares, Stenio F. L. Fernandes, Paulo Romero Martins Maciel:
Dependable virtual network mapping. Computing 97(5): 459-481 (2015) - [j12]Alexsandro Melo, Eduardo Antonio Guimarães Tavares, Erica Sousa, Bruno Costa e Silva Nogueira, Marcelo Marinho:
Dependability approach for evaluating software development risks. IET Softw. 9(1): 17-27 (2015) - [j11]Erica Sousa, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel:
A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements. IEEE Trans. Syst. Man Cybern. Syst. 45(4): 549-558 (2015) - [c40]Victor Lira, Eduardo Tavares:
Energy-aware mapping for dependable virtual networks. PATMOS 2015: 161-168 - [c39]Rosiberto Dos Santos Gonçalves, Eduardo Antonio Guimarães Tavares, Anderson C. A. Nascimento, Erica Sousa, Fernando Antônio Aires Lins, Gabriel Alves:
Performability Assessment of a Government Process in the Cloud. SMC 2015: 87-92 - 2014
- [c38]Erica Teixeira Gomes Sousa, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
Performance and Cost Modeling Strategy for Cloud Infrastructure Planning. IEEE CLOUD 2014: 546-553 - [c37]Erica Sousa, Edson Silva, Fernando Antônio Aires Lins, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel:
Dependability evaluation of cloud infrastructures. SMC 2014: 1282-1287 - [c36]Anderson C. A. Nascimento, Gabriel Alves, Erica Sousa, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares:
Transport mode assessment for inbound logistics: A study based on coffee industry. SMC 2014: 1318-1323 - [c35]Bruno Silva, Eduardo Antonio Guimarães Tavares, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Jeisa Oliveira, Antônio Vicente Lourenço Dâmaso, Nelson Souto Rosa:
AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. SMC 2014: 3364-3369 - 2013
- [j10]Bruno Silva, Gustavo Callou, Eduardo Tavares, Paulo R. M. Maciel, Jair Figueiredo, Erica Sousa, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
ASTRO: An integrated environment for dependability and sustainability evaluation. Sustain. Comput. Informatics Syst. 3(1): 1-17 (2013) - [c34]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Ricardo Martins, Eduardo Tavares:
A simulation optimization approach for design space exploration of soft real-time embedded systems. IEEE Congress on Evolutionary Computation 2013: 2773-2780 - [c33]Alexsandro Melo, Eduardo Tavares, Marcelo Marinho, Erica Sousa, Bruno C. S. Nogueira, Paulo R. M. Maciel:
Development Risk Assessment in Software Projects Using Dependability Models. CSE 2013: 260-267 - [c32]Victor Lira, Eduardo Tavares, Stenio F. L. Fernandes, Paulo Romero Martins Maciel, Ricardo M. A. Silva:
Virtual Network Resource Allocation Considering Dependability Issues. CSE 2013: 330-337 - [c31]Bruno Silva, Paulo Romero Martins Maciel, Eduardo Tavares, Armin Zimmermann:
Dependability models for designing disaster tolerant cloud computing systems. DSN 2013: 1-6 - [c30]Erica Sousa, Paulo Romero Martins Maciel, Lais Medeiros, Fernando Antônio Aires Lins, Eduardo Tavares, Erico Medeiros:
Stochastic Model Generation for Cloud Infrastructure Planning. SMC 2013: 4098-4103 - 2012
- [c29]Stenio F. L. Fernandes, Eduardo Tavares, Marcelo Anderson Santos, Victor Lira, Paulo Romero Martins Maciel:
Dependability assessment of virtualized networks. ICC 2012: 2711-2716 - [c28]Eduardo Tavares, J. Aleixo, Paulo Romero Martins Maciel, Danilo Oliveira, E. Heyde, R. Araujo, L. Maia, A. Duarte, M. Novaes:
Performance evaluation of medical imaging service. SAC 2012: 1349-1354 - [c27]Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira:
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. SMC 2012: 1207-1212 - [c26]Erica Sousa, Paulo Romero Martins Maciel, Debora Souza, Erico Medeiros, Fernando Antônio Aires Lins, Eduardo Tavares:
Capacity planning of EFT service hosted on elastic IaaS. SMC 2012: 1749-1754 - 2011
- [j9]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz:
A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Embed. Syst. 2011 (2011) - [j8]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha:
Energy consumption and execution time estimation of embedded system applications. Microprocess. Microsystems 35(4): 426-440 (2011) - [c25]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno Silva, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
Sustainability and dependability evaluation on data center architectures. SMC 2011: 398-403 - [c24]Jair Figueiredo, Paulo R. M. Maciel, Gustavo Rau de Almeida Callou, Eduardo Tavares, Erica Sousa, Bruno Silva:
Estimating reliability importance and total cost of acquisition for data center power infrastructures. SMC 2011: 421-426 - [c23]Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves:
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. SpringSim (TMS-DEVS) 2011: 274-281 - 2010
- [j7]Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, Bruno Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, Paulo R. F. Cunha:
Model-driven software synthesis for hard real-time applications with energy constraints. Des. Autom. Embed. Syst. 14(4): 327-366 (2010) - [c22]Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, Fábio S. Magnani:
Impact analysis of maintenance policies on data center power infrastructure. SMC 2010: 526-533 - [c21]Bruno Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires:
ASTRO: A tool for dependability evaluation of Data Center infrastructures. SMC 2010: 783-790
2000 – 2009
- 2009
- [j6]Bruno C. S. Nogueira, Paulo R. M. Maciel, Gustavo Callou, Ermeson C. Andrade, Eduardo Tavares:
ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. RITA 16(1): 25-44 (2009) - [c20]Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Ermeson Carneiro de Andrade, Gustavo Rau de Almeida Callou, Ricardo Massa Oliveira Lima, Rodolfo Ferraz, Bruno Montenegro:
Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. SBAC-PAD 2009: 135-142 - [c19]Eduardo Tavares, Pedro Dallegrave, Bruno Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel:
A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. SMC 2009: 2848-2853 - 2008
- [j5]Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time Petri net-based method for embedded hard real-time software synthesis. Des. Autom. Embed. Syst. 12(1-2): 31-62 (2008) - [j4]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.:
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Inf. Process. Lett. 108(2): 50-59 (2008) - [j3]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva:
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocess. Microsystems 32(8): 460-473 (2008) - [c18]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.:
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. PATMOS 2008: 379-388 - [c17]Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave:
Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. SBAC-PAD 2008: 115-122 - [c16]Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares:
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. SBCCI 2008: 134-139 - [c15]Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel:
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. SEFM 2008: 291-300 - 2007
- [j2]Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima:
Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes 32(2): 1-10 (2007) - [c14]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.:
A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. SBCCI 2007: 312-317 - [c13]Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques:
Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. SMC 2007: 2496-2501 - 2006
- [j1]Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31(3): 1-25 (2006) - [c12]Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN 2006: 261-281 - [c11]Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custódio:
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264 - 2005
- [c10]Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima:
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS 2005: 50-62 - [c9]Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima:
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS 2005: 77-86 - [c8]Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim:
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS 2005: 49-58 - [c7]Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa:
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 2005: 382-392 - [c6]Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello:
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192 - [c5]Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI 2005: 98-103 - [c4]Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
A methodology for mapping live sequence chart to coloured Petri net. SMC 2005: 2999-3004 - 2004
- [c3]Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166 - [c2]Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima:
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD 2004: 188-195 - [c1]Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A formal software synthesis approach for embedded hard real-time systems. SBCCI 2004: 163-168
Coauthor Index
aka: Gustavo Callou
aka: Meuse Nogueira de O. Junior
aka: Bruno Leonardo Barros Silva
aka: Erica Teixeira Gomes Sousa
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint