- Ivone Amorim, António Machiavelo, Rogério Reis:
Statistical Study On The Number Of Injective Linear Finite Transducers. CoRR abs/1407.0169 (2014) - 2012
- António Silva, Pedro Amorim, Manuel Rodrigues Quintas, Luis Mourão, Joaquim Gabriel:
Digital Laryngoscope - A New Force Measuring Laryngoscope. BIODEVICES 2012: 368-371 - Ivone Amorim, António Machiavelo, Rogério Reis:
Formal Power Series and the Invertibility of Finite Linear Transducers. NCMA 2012: 33-48 - 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 - 2010
- Henrique Jorge A. Holanda, José Javier Merseguer, Giovanni Cordeiro Barroso, Antônio de Barros Serra:
Performance Evaluation of BPEL4People Specifications Integrate Human Interactions Into Business Process. SBSI 2010: 178-189 - Willian Paraguassu Amorim, Hemerson Pistori
, Mauro Conti Pereira, Manuel Antonio Chagas Jacinto
:
Attributes Reduction Applied to Leather Defects Classification. SIBGRAPI 2010: 353-359 - 2009
- Henrique Jorge Amorim Holanda, Giovanni Cordeiro Barroso, Antônio de Barros Serra:
Performance Analysis of Service Oriented Software. Braz. J. Inf. Syst. 2 (2009) - Henrique Jorge A. Holanda, Giovanni Cordeiro Barroso, Antônio de Barros Serra:
SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS. ICIW 2009: 363-369 - Henrique Jorge A. Holanda, Giovvani Cordeiro Barroso, Antônio de Barros Serra:
SOASPE: a Framework for the Performance Analysis of Service Oriented Software. SBSI 2009: 204-215 - 2008
- Bruno Direito
, António Dourado, Marco Vieira
, Francisco Sales:
Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System. BMEI (2) 2008: 380-385 - Bruno Direito
, António Dourado, Francisco Sales, Marco Vieira
:
An Application for Electroencephalogram Mining for Epileptic Seizure Prediction. ICDM 2008: 87-101 - 2007
- 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) - Marco Vieira, António Casimiro Costa
, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. DASFAA 2007: 262-274 - 2006
- 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) - Hemerson Pistori, Willian Paraguassu Amorim, Priscila Silva Martins, Mauro Conti Pereira, M. A. Pereira, Manuel Antonio Chagas Jacinto:
Defect detection in raw hide and wet blue leather. CompIMAGE 2006: 355-360 - Marco Vieira
, António Casimiro Costa, Henrique Madeira
:
Towards Timely ACID Transactions in DBMS. PRDC 2006: 381-382 - 2005
- 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 - 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 - 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 - 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 - 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
- António Amorim, Jaime E. Villate, Pedro Andrade:
HEP@Home - A distributed computing system based on BOINC. CoRR cs.DC/0410016 (2004) - 2003
- Han Fei, Nuno Almeida, Paulo Trezentos, Jaime E. Villate, António Amorim:
A Distributed Data Storage Architecture for Event Processing by Using the Globus Grid Toolkit. International Conference on Computational Science 2003: 267-274 - António Amorim
, Jorge Lima, C. Oliveira, Luis Pedro, Nuno Barros
:
Experience with the Open Source based implementation for ATLAS Conditions Data Management System. CoRR cs.DB/0306006 (2003) - M. Barczyk, D. Burckhart-Chromek, Mihai Caprini
, J. Da Silva Conceicao, M. Dobson, J. Flammer, R. Jones, Andrei Kazarov, S. Kolos, Dietrich Liko, L. Mapelli, Igor Soloviev, R. Hart, António Amorim
, D. Klose, J. Lima, Levi Lucio, Luis Pedro, H. Wolters, E. Badescu, Igor Alexandrov, V. Kotov, Mikhail Mineev, Yu. Ryabov:
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS. CoRR cs.DB/0306081 (2003) - António Amorim, Luis Pedro, Han Fei, Nuno Almeida, Paulo Trezentos, Jaime E. Villate
:
Grid-Brick Event Processing Framework in GEPS. CoRR cs.DC/0306093 (2003) - 2002
- Igor Alexandrov, António Amorim, E. Badescu, M. Barczyk, D. Burckhart-Chromek, Mihai Caprini, M. Dobson, J. Flammer, R. Hart, R. Jones, Andrei Kazarov, S. Kolos, V. Kotov, Dietrich Liko, Levi Lucio, L. Mapelli, Mikhail Mineev, L. Moneta, I. Papadopoulos, M. Nassiakou, N. Parrington, Luis Pedro, A. Ribeiro, Yu. Ryabov, D. Schweiger, Igor Soloviev, H. Wolters:
OBK - An Online High Energy Physics' Meta-Data Repository. VLDB 2002: 920-927