Projects
Filter Projects: 1996 - 2023 ,
URA-HPC
Ultra-Scalable Randomized Algorithms for Current and Future High Performance Supercomputers
From 2023 to 2026, financed by FCT
ApxEdgeC
Towards Approximate Edge Computing for Machine Learning & Digital Signal, Image and Video Processing
From 2021 to 2023, financed by FCT-CAPES
EPEEC
From 2018 to 2022, financed by Horizon 2020
ParSat
Parallel Satisfiability Algorithms and its Applications
From 2010 to 2013, financed by FCT (PTDC/EIA-EIA/103532/2008)
Multicon
Architectural Optimization of DSP Systems with Multiple Constants Multiplications
From 2009 to 2012, financed by FCT
PATMOS
International Workshop on Power and Timing Modelling, Optimization and Simulation
From 2007 to 2008, financed by Conference PATMOS
CoolChips
An Environment for the Design and Analysis of Power Efficient Systems
From 2000 to 2005, financed by FCT
TGV.
TGV - Techniques for Global Functional Verification of Complex Digital Systems
From 1999 to 2003, financed by FCT