Algoritmi | User | Alberto José Gonçalves Carvalho Proença
Alberto José Gonçalves Carvalho Proença
Alberto José Gonçalves Carvalho Proença
At Algoritmi
Senior Researcher with Dr habil
Member of the CST R&D Group
Academic Degree
Dr habil
Current Position
Full Professor at Escola de Engenharia da Universidade do Minho
Personal Webpage
Personal Email
aproenca@di.uminho.ptOrcid
0000-0001-6018-7346Researcher ID
A-4233-2015FCT Public Key
J013179qQTyr
Ciência ID
F91D-2BC2-5C00Google Scholar
h-index
Publications
Editorial
Citations
Q1 / Q2
0About Me 
Born in Mozambique in 1954, moved to Portugal in 1975, married in 1976, had one son in 1982 and one daughter in 1985 and has now 3 grandsons, expecting the 4th in February 2019. Started his University studies in Mozambique and graduated in Coimbra (Lic. Engª Eletrotécnica) in 1976; finished his MSc in Digital Electronics at UMIST, Manchester, UK, in 1979 and the PhD also in Manchester in 1982; received the Habillitation in 1998 at U. Minho. Started the academic career at U. Porto in 1976, moved to U. Minho in 1977, where is currently Full Professor at Dep. Informatics, School of Engineering, since 2001. Key topics in academic activities (research, pedagogic and management) range from digital electronics to high-performance computing (HPC), including computer architecture, parallel computing and heterogeneous computing. Key application areas are in heritage, computer vision, physics, chemistry, current focus on efficient computing in several types of computing resources and application domains. Edited several books with conference proceedings as chair of the event, and has several indexed publications (ISI, Scopus, DBLP, ACM) in book chapters, journals and proceedings of international and national conferences. During the past 42 years at the university, lectured a wide range of courses for Lic., MSc and PhD degrees (some in UK), and successfully oriented several MSc dissertations and PhD thesis works. Chaired the University Computer Centre for 17 years (since 1985), introducing the 1st national service with parallel computing, chaired and co-chaired the Advanced Computing theme in the cooperation program between the University of Texas at Austin and Portugal for 11 years (since 2006), and currently leads the university research services on parallel computing with the heterogeneous computer cluster SeARCH (since 2005).
Publications (39)
HEP-Frame: an efficient tool for big data applications at the LHC
The European Physical Journal Plus
2023 | journal-article
4SpecID: Reference DNA Libraries Auditing and Annotation System for Forensic Applications
Genes
2021 | journal-article
HEP-Frame: a Powerful Tool to Build LHC Data Analyses
European Physics Journal C
2020 | journal-article
Multi-layer Scheduling with Adaptive Ordering of Pipelined Data Stream Analyses on Heterogeneous Servers
Computer Physics Communications
2020 | journal-article
PRNG-broker: A High-Performance Broker to Supply Parallel Generated Streams of Pseudo-Random Numbers to Large Scale Simulations
International Conference on Computational Science and its Applications (2020)
2020 | conference-paper
Exploring heterogeneous computing with advanced path tracing algorithms
2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
2017 | conference-paper
Im2Cr: An efficient tool for crystallographic indexing of HR(S)TEM images
European Microscopy Congress 2016
2016 | conference-abstract
HEP-frame: A software engineered framework to aid the development and efficient multicore execution of scientific code
Proceedings - 2015 International Conference on Computational Science and Computational Intelligence, CSCI 2015
2016 | conference-paper
Parallel Improved Schnorr-Euchner Enumeration SE++ for the CVP and SVP
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016 | conference-paper
Parallel improved Schnorr-Euchner enumeration SE++ on shared and distributed memory systems, with and without extreme pruning
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
2016 | journal-article
Tuning pipelined scientific data analyses for efficient multicore execution
2016 International Conference on High Performance Computing and Simulation, HPCS 2016
2016 | conference-paper
A generic and highly efficient parallel variant of Borůvka's algorithm
Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015
2015 | conference-paper
Removing inefficiencies from scientific code: The study of the Higgs boson couplings to top quarks
2014 | book
A platform to support Civil Protection applications on the GRID
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
An OGC/SOS Conformant Client to Manage Geospatial Data on the GRID
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
EGEE site administration made easy
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
VS-GAMES 2010 preface
2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
2010 | journal-article
Enabling JaSkel skeletons for clusters and computational grids
Proceedings - IEEE International Conference on Cluster Computing, ICCC
2007 | journal-article
JaSkel: A Java skeleton-based framework for structured cluster and grid computing
Sixth IEEE International Symposium on Cluster Computing and the Grid, 2006. CCGRID 06
2006 | journal-article
Refinement criteria for high fidelity interactive walkthroughs
Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia
2006 | journal-article
Scheduling under conditions of uncertainty: A bayesian approach
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | journal-article
Designing scalable object oriented parallel applications
Euro-Par 2002 Parallel Processing, Proceedings
2002 | book-chapter
Designing scalable object oriented parallel applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | book
A Bayesian RunTime load manager on a shared cluster
First Ieee/acm International Symposium on Cluster Computing and the Grid, Proceedings
2001 | journal-article
A SCOOPP evaluation on packing parallel objects in run-time
Vector and Parallel Processing - Vecpar 2000
2001 | book-chapter
A SCOOPP evaluation on packing parallel objects in run-time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001 | book
A run-time system for dynamic grain packing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999 | journal-article
Dynamic grain-size adaptation on object oriented parallel programming - the SCOOPP approach
Proceedings of the International Parallel Processing Symposium, IPPS
1999 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
ParC++: A simple extension of C++ to parallel systems
Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - Pdp '98
1998 | journal-article
Evaluation of the communication performance on a parallel processing system
Recent Advances in Parallel Virtual Machine and Message Passing Interface
1997 | book-chapter
Evaluation of the communication performance on a parallel processing system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | book
Parallel genetic algorithms in a networked workstation environment
International Series on Advances in High Performance Computing
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
VHDL generation from hierarchical Petri net specifications of parallel controllers
1997 | conference-paper
VHDL generation from hierarchical Petri net specifications of parallel controllers
IEE Proceedings: Computers and Digital Techniques
1997 | journal-article
A MESSAGES-DENSITY MONITORING STRATEGY FOR DISTRIBUTED-MEMORY PARALLEL SYSTEMS
Programming and Computer Software
1995 | journal-article
A heterogeneous computer vision architecture: Implementation issues
Computing Systems in Engineering
1995 | journal-article
Advanced controller design
Prace Naukowe Instytutu Cybernetyki Technicznej, Politechniki Wroclawskiej
1991 | journal-article
History
| Init | End | Change | Value |
|---|
HEP-Frame: an efficient tool for big data applications at the LHC
The European Physical Journal Plus
2023 | journal-article
4SpecID: Reference DNA Libraries Auditing and Annotation System for Forensic Applications
Genes
2021 | journal-article
HEP-Frame: a Powerful Tool to Build LHC Data Analyses
European Physics Journal C
2020 | journal-article
Multi-layer Scheduling with Adaptive Ordering of Pipelined Data Stream Analyses on Heterogeneous Servers
Computer Physics Communications
2020 | journal-article
PRNG-broker: A High-Performance Broker to Supply Parallel Generated Streams of Pseudo-Random Numbers to Large Scale Simulations
International Conference on Computational Science and its Applications (2020)
2020 | conference-paper
Exploring heterogeneous computing with advanced path tracing algorithms
2016 23 Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2016
2017 | conference-paper
Im2Cr: An efficient tool for crystallographic indexing of HR(S)TEM images
European Microscopy Congress 2016
2016 | conference-abstract
HEP-frame: A software engineered framework to aid the development and efficient multicore execution of scientific code
Proceedings - 2015 International Conference on Computational Science and Computational Intelligence, CSCI 2015
2016 | conference-paper
Parallel Improved Schnorr-Euchner Enumeration SE++ for the CVP and SVP
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016 | conference-paper
Parallel improved Schnorr-Euchner enumeration SE++ on shared and distributed memory systems, with and without extreme pruning
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
2016 | journal-article
Tuning pipelined scientific data analyses for efficient multicore execution
2016 International Conference on High Performance Computing and Simulation, HPCS 2016
2016 | conference-paper
A generic and highly efficient parallel variant of Borůvka's algorithm
Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015
2015 | conference-paper
Removing inefficiencies from scientific code: The study of the Higgs boson couplings to top quarks
2014 | book
A platform to support Civil Protection applications on the GRID
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
An OGC/SOS Conformant Client to Manage Geospatial Data on the GRID
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
EGEE site administration made easy
Ibergrid: 4th Iberian Grid Infrastructure Conference Proceedings
2010 | journal-article
VS-GAMES 2010 preface
2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
2010 | journal-article
Enabling JaSkel skeletons for clusters and computational grids
Proceedings - IEEE International Conference on Cluster Computing, ICCC
2007 | journal-article
JaSkel: A Java skeleton-based framework for structured cluster and grid computing
Sixth IEEE International Symposium on Cluster Computing and the Grid, 2006. CCGRID 06
2006 | journal-article
Refinement criteria for high fidelity interactive walkthroughs
Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia
2006 | journal-article
Scheduling under conditions of uncertainty: A bayesian approach
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | journal-article
Designing scalable object oriented parallel applications
Euro-Par 2002 Parallel Processing, Proceedings
2002 | book-chapter
Designing scalable object oriented parallel applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | book
A Bayesian RunTime load manager on a shared cluster
First Ieee/acm International Symposium on Cluster Computing and the Grid, Proceedings
2001 | journal-article
A SCOOPP evaluation on packing parallel objects in run-time
Vector and Parallel Processing - Vecpar 2000
2001 | book-chapter
A SCOOPP evaluation on packing parallel objects in run-time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001 | book
A run-time system for dynamic grain packing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999 | journal-article
Dynamic grain-size adaptation on object oriented parallel programming - the SCOOPP approach
Proceedings of the International Parallel Processing Symposium, IPPS
1999 | journal-article
Hierarchical mechanisms for high-level modeling and simulation of digital systems
Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
1998 | journal-article
ParC++: A simple extension of C++ to parallel systems
Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - Pdp '98
1998 | journal-article
Evaluation of the communication performance on a parallel processing system
Recent Advances in Parallel Virtual Machine and Message Passing Interface
1997 | book-chapter
Evaluation of the communication performance on a parallel processing system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997 | book
Parallel genetic algorithms in a networked workstation environment
International Series on Advances in High Performance Computing
1997 | journal-article
Specification of industrial digital controllers with Object-Oriented Petri Nets
IEEE International Symposium on Industrial Electronics
1997 | journal-article
VHDL generation from hierarchical Petri net specifications of parallel controllers
1997 | conference-paper
VHDL generation from hierarchical Petri net specifications of parallel controllers
IEE Proceedings: Computers and Digital Techniques
1997 | journal-article
A MESSAGES-DENSITY MONITORING STRATEGY FOR DISTRIBUTED-MEMORY PARALLEL SYSTEMS
Programming and Computer Software
1995 | journal-article
A heterogeneous computer vision architecture: Implementation issues
Computing Systems in Engineering
1995 | journal-article
Advanced controller design
Prace Naukowe Instytutu Cybernetyki Technicznej, Politechniki Wroclawskiej
1991 | journal-article
| Start | End | Term | Value | |
|---|---|---|---|---|
