|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 45 occurrences of 34 keywords
|
|
|
|
|
Results
Found 88 publication records. Showing 88 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha |
Energy consumption and execution time estimation of embedded system applications.  |
Microprocessors and Microsystems - Embedded Hardware Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz |
A Formal Model for Performance and Energy Evaluation of Embedded Systems. |
EURASIP J. Emb. Sys. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha |
Performability modeling of electronic funds transfer systems. |
Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio Magnani, Adilson Arcoverde Jr. |
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Araujo, Rubens Matos, Paulo Romero Martins Maciel, Rivalino Matias |
Software aging issues on the eucalyptus cloud computing infrastructure. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rivalino Matias, Ana M. M. Carvalho, Lucio Borges de Araujo, Paulo Romero Martins Maciel |
Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno L. B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves |
Sustainability and dependability evaluation on data center architectures. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves |
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. |
SpringSim (TMS-DEVS) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno L. B. Silva, Andre R. R. Souza, D. Aragão, Julio C. Damasceno, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, J. Li |
SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
Business Process Modeling/Execution, Security, Service-Oriented Architectures, Cloud Computing, Web Service Composition |
| 1 | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel |
Planning service agreements in soa-based systems through stochastic models. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Maria, Rivalino Matias, Autran Macedo, Paulo Romero Martins Maciel, Lucio Borges de Araujo |
Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. |
PDCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Damasceno, Fernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno L. B. Silva, Andre R. R. Souza, D. Aragão, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, J. Li |
Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Business Process Execution, Security, Cloud Computing, Business Process Modeling, Web Service Composition |
| 1 | R. O. Nascimento, Paulo Romero Martins Maciel |
DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems. |
Computing and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ermeson Andrade, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou |
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha |
Model-driven software synthesis for hard real-time applications with energy constraints. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermeson Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou |
Performance and energy consumption estimation for commercial off-the-shelf component system design. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann |
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Marwah, Paulo Romero Martins Maciel, Amip Shah, Ratnesh K. Sharma, Tom Christian, Virgilio Almeida, Carlos Araújo, Erica Sousa, Gustavo Rau de Almeida Callou, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires |
Quantifying the sustainability impact of data center availability. |
SIGMETRICS Performance Evaluation Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Almir Pereira Guimaraes, Paulo Romero Martins Maciel, Rivalino Matias |
Quantitative analysis of performability in voice and data networks. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel |
A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno L. B. Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, F. S. Magnani |
Impact analysis of maintenance policies on data center power infrastructure. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Almir Guimares |
Stochastic model for performance evaluation of test planning. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno L. B. Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires |
ASTRO: A tool for dependability evaluation of Data Center infrastructures. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Estanislau Soares Galindo, Erico A. C. Guedes, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino |
WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel |
Availability with input uncertainties using an interval-based approach. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Ermeson Andrade |
Performance evaluation of test process based on stochastic models. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel |
Using Accelerated Life Tests to Estimate Time to Software Aging Failure. |
ISSRE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Pedro Dallegrave, Bruno L. B. Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel |
A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Teixeira Gomes Sousa, Paulo Romero Martins Maciel, Carlos Julian Menezes Araújo |
Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel |
Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno L. B. Silva, Sergio Mario Lins Galdino, Jose Paulo Pires |
Synthetic workload generation for capacity planning of virtual server environments. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Fábio Chicout |
Performability evaluation of EFT systems for SLA assurance. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo |
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
UML, embedded systems, time petri net, requirement validation |
| 1 | Edilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. B. Salgueiro |
Defining bandwidth constraints with cooperative games. |
ICUMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira |
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. |
ICDS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio C. Damasceno, Nelson Souto Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet |
Incorporating Security Requirements into Service Composition: From Modelling to Execution. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet |
Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Araújo, Erica Sousa, Paulo Romero Martins Maciel, Fábio Chicout, Ermeson Carneiro de Andrade |
Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. |
INTENSIVE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Gabriel Alves, Fábio Chicout |
Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva |
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. |
Microprocessors and Microsystems - Embedded Hardware Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima |
A time Petri net-based method for embedded hard real-time software synthesis. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel |
Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. |
IPCCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel |
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Energy Consumption and Execution Time, Simulation, Embedded System, Coloured Petri Net |
| 1 | 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 |
DBLP DOI BibTeX RDF |
simulation, energy consumption, embedded software, coloured petri net, execution time |
| 1 | Ermeson Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira |
Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. |
CIMCA/IAWTIC/ISE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave |
Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. |
SBAC-PAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel |
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta A. de A. Fagundes, Paulo Romero Martins Maciel, Nelson S. Rosa |
Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets. |
RITA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima |
Software synthesis for hard real-time embedded systems with multiple processors. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
petri nets, real-time embedded systems, software synthesis, multiple processors |
| 1 | Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel |
TXM: an agile HW/SW development methodology for building medical devices. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
embedded agile development, health care, agile methodologies, platform-based design, real-time software, organizational patterns |
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
A GSPN based approach to evaluate outbound logistics. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa |
Interval generalized stochastic petri net models in dependability evaluation. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Modeling and evaluation of supply chains with GSPN components. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, modeling, petri nets, supply chain management, stochastic processes, logistics |
| 1 | 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 |
DBLP DOI BibTeX RDF |
petri nets, dynamic voltage scaling, formal models, hard real-time systems |
| 1 | Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel |
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares |
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel |
Using stochastic Petri nets for performance modelling of application servers. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custodio |
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim |
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. |
PATMOS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros |
Managing Petri Nets in MOF Repositories. |
OTM Conferences |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
| 1 | Remy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento |
A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho |
A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Remy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento |
A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). |
FPGA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello |
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. |
SBAC-PAD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro J. C. de Silva, Wellington João Silva, Paulo Romero Martins Maciel |
Modelling and analysis in production system: an approach based on Petri net. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros |
A Petri net based method for functional and interconnect units estimation. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho |
Towards a Software Power Cost Analysis Framework Using Colored Petri Net. |
PATMOS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel |
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho |
A partial reconfigurable architecture for controllers based on Petri nets. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
virtual hardware, FPGAs, Petri nets, partial reconfiguration, programmable logic controller (PLC) |
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
| 1 | Remy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel |
A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. |
FPGA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima |
A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel |
EZPetri: A Petri net interchange framework for Eclipse based on PNML. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel |
Petri Net Based Interface Analysis for Fast IP-Core Integration. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio M. M. Fernandes, Paulo Romero Martins Maciel |
Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Juliana Moura, Bruno Celso |
A Fast IP-Core Integration Methodology for SoC Design. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante |
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. |
SBAC-PAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel |
A Petri Net Model for Hardware/Software Codesign. |
Design Autom. for Emb. Sys. |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #88 of 88 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")