Adilson Arcoverde

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

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)
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)
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)
Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima
Petri nets tools integration through Eclipse. eTX (2005)
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)