Identificação
Identificação pessoal
- Nome completo
- Paulo Flores
Nomes de citação
- Flores, Paulo
Identificadores de autor
- Ciência ID
- BF1D-DEA4-6418
- ORCID iD
- 0000-0003-2970-3589
- Google Scholar ID
- usmU1KIAAAAJ
- Researcher Id
- C-2374-2008
- Scopus Author Id
- 56357901100
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Engenharia Eletrotécnica e Eletrónica
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
Francês | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | |
Espanhol; Castelhano | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
Grau | Classificação | |
---|---|---|
2001/12
Concluído
|
Engenharia Electrotécnica e de Computadores (Doutoramento)
Especialização em Electrical and Computer Engineer
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Models and Algorithms for Optimization Problems in Digital Circuits Testing" (TESE/DISSERTAÇÃO)
|
Aprovado por unanimidade |
1993/07
Concluído
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Especialização em Electrical and Computer Engineer
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Especificação funcional de sistemas electrónicos digitais em ambiente de síntese" (TESE/DISSERTAÇÃO)
|
Muito Bom por unanimidade (pre-belonha) |
1989/06
Concluído
|
Engenharia Electrotécnica e de Computadores (Licenciatura)
Especialização em Electrical and Computer Engineer
Universidade de Lisboa Instituto Superior Técnico, Portugal
"-" (TESE/DISSERTAÇÃO)
|
Average grade 16 points out of 20. |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2000 - Atual | Investigador principal (carreira) (Investigação) | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
1989 - 1999 | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2020/11 - Atual | Professor Associado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
2021 - 2022 | Professor Associado Convidado (Docente Universitário) | Academia da Força Aérea, Portugal |
Academia da Força Aérea, Portugal | ||
2018 - 2020 | Professor Auxiliar Convidado (Docente Universitário) | Academia da Força Aérea, Portugal |
Academia da Força Aérea, Portugal | ||
2001 - 2020 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal | ||
1993/07 - 2001/10 | Assistente (Docente Universitário) | Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal |
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal | ||
1990/01 - 1993/06 | Assistente Estagiário (Docente Universitário) | Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal |
Cargos e Funções
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2018 - 2019 | Conselho geral ou orgão correspondente | Universidade de Lisboa, Portugal |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2012/03 - 2015/02 | CerVANTES: Co-VAlidatioN Tool for Embedded Systems
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. |
2013/04 - 2014/09 | QCell - Configurable Logic Block Cell for Quaternary FPGAs
EXPL/EEI-ELC/1016/2012
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
|
2011/01 - 2013/12 | HELIX: Heterogeneous Multi-Core Architecture for Biological Sequence Analysis
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. |
2010/04 - 2013/10 | ParSat - Parallel Satisfiability Algorithms and its Applications
Investigador responsável
|
Fundação para a Ciência e a Tecnologia, I.P. |
2009/01 - 2012/07 | Multicon - Architectural Optimization of DSP Systems with Multiple Constants Multiplications
Investigador responsável
|
Fundação para a Ciência e a Tecnologia, I.P. |
2005/01 - 2008/11 | AMEP: Adaptive H.264/AVC Motion Estimation Processor for Mobile and Battery Supplied Devices
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. |
2005/01 - 2008/06 | PowerPlan - Electronic Systems Power Planning
Investigador
|
Fundação para a Ciência e a Tecnologia, I.P. |
Projeto
Designação | Financiadores | |
---|---|---|
2023/01/01 - Atual | NEUROPULS - NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
European Commission
Em curso
|
Outro
Designação | Financiadores | |
---|---|---|
2021/09/01 - 2023/12/31 | Towards Approximate Edge Computing for Machine Learning & Digital Signal, Image and Video Processing
2019.00172.CBM
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
2008 - 2011 | Sideworks - Acelerador em hardware para alinhamento de múltiplas sequências biológicas
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Agência Nacional de Inovação SA
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Livro |
|
Propriedade Intelectual
Patente |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2023/02 - Atual | Evaluation of Real Time Operating System in RISC-V
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
|
2023/02 - Atual | Test methodology to improve verification environment for large electronic projects
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
|
2023/02 - Atual | Sistemas tolerantes a falhas com calculos aproximados
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
|
2021/03 - Atual | Computação aproximada para processamento de imagens de satélites em tempo-real
Coorientador
|
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2021/03 - Atual | On-board image processor for satellites
Coorientador
|
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2019/07 - Atual | A C Compiler for a RISC 16-bit Processor Supporting Embedded Applications
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2021/09 - 2022/11 | Convolutional Neural Network for Hand Gesture Identification on FPGAs
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
|
2019/07 - 2021/09 | Develop of a C compiler and tools for educational processor
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019 - 2021 | C Compiler and Tools for P3 Educational Processor
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09 - 2018/06 | SoC Implementation of OpenMSP430 Microcontroller in UMC 130nm
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09 - 2018/06 | Extending OpenMSP430 Microcontroller for IoT Low-power Applications
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018 - 2018 | SoC Implementation of OpenMSP430 Microcontroller in UMC 130nm
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017 - 2017 | Parallel Implementation of an Exact Filter Design Optimization Algorithm on Distributed-Memory Systems
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014 - 2017 | Optimal Implementation of LTI Systems for Embedded Real Time Applications
Coorientador
|
|
2015/09 - 2016/11 | Systems Synthesis With Multi-Value Logic (MVL)
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/11 | Parallel Implementation of an Exact Filter Design Optimization Algorithm on Distributed-Memory Systems
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/11 | Técnicas de Computação Aproximada para Implementação de Filtros FIR
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/06 - 2016/06 | Heterogeneous multi-core parallel structures for biological sequences alignment
Orientador
|
Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09 - 2016/05 | Implementation and Evaluation of a Video Decoder on the Coreworks Platform
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016 - 2016 | Técnicas de Computação Aproximada para Implementação de Filtros FIR
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016 - 2016 | Systems Synthesis With Multi-Value Logic (MVL)
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014 - 2015/10 | Quaternary Logic Look-up Table
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015 - 2015 | Heterogeneous multi-core parallel structures for biological sequences alignment
Coorientador
|
Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015 - 2015 | Quaternary Logic Look-Up Table
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013 - 2014/12 | Parallel SAT Solver
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013 - 2014/06 | Parallelization of SAT Algorithms on GPU
Coorientador
|
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012 - 2013/05 | Multi-Core SIMD ASIP for DNA Sequence Alignment
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013 - 2013 | MPBO: a Distributed Pseudo-Boolean Optimization Solver
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013 - 2013 | Biocores - Arquitectura de um acelerador em hardware para alinhamento de sequências biológicas
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012 - 2012 | FilterAdapt - Filtros adaptativos de coeficientes variáveis
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2012 - 2012 | Quaternary Logic Look-up Table
Coorientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011 - 2011 | ArqMCM - Estudo de arquitecturas para sistemas multiplicadores por múltiplas constantes
Orientador
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2014/05/24 - 2015/05 | IEEE International Symposium on Circuits and Systems (ISCAS),
Organizador com Presidente Financeiro (Financial Chair), 2015.
He was part of the organizing committee, as Financial President (Finacial Chair), of ISCAS 2015 -
International Symposium on Circuits and Systems, International conference that took place in May
2015, at the Centro Cultural de Belem, which had over 1200 participants (2015/05/24 - 2015/05/27)
Conferência (Membro da Comissão Organizadora)
|
IEEE Circuits and Systems Society, Estados Unidos Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2008/09/10 - 2008/09/12 | International Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS).
Local Organizer (2008/09/10 - 2008/09/12)
Conferência (Membro da Comissão Organizadora)
|
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal IEEE, Estados Unidos |
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2021/03/24 | Approximate and Timing-Speculative Hardware Design for High-Performance and Energy-Efficient Video Processing
Arguente principal
|
Guilherme Pereira Paim (Doutoramento)
Universidade Federal do Rio Grande do Sul, Brasil
|
2021/02 | Design of High-Performance Low-Noise and Low-Power Mixed-Signal CMOS Circuits Employing Self-Biasing and Low-Voltage Techniques
Arguente
|
Somayeh Abdollahvand (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2017/05 | “Implementação em FPGA de um detector de pessoas em tempo-real
Arguente principal
|
Hugo Miguel Pinheiro Torres (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/11 | Combining Support Vector Machine with Genetic Algorithms to Optimize Investments in Forex Markets With High Leverage
Presidente do júri
|
Bernardo Martins Paiva Jubert de Almeida (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/06 | Heterogeneous multi-core parallel structures for biological sequences alignment
Orientador
|
Nuno Carlos Andre Sebastião (Doutoramento)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Universidade de Lisboa, Portugal |
2016/05 | Scalable Heterogeneous Accelerating Structure for the HEVC Temporal Prediction
Arguente principal
|
Rui Manuel Alves Santiago (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2016/05 | Compilador para a Arquitectura Reconfigurável Versat
Arguente principal
|
Rui Manuel Alves Santiago (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/11 | Offshore wind farm layout optimization regarding wake effects and electrical losses
Presidente do júri
|
Luís Manuel Bento do Amaral (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/11 | Parallel Computing applied to Analog IC Layout-Aware Sizing and Optimization
Presidente do júri
|
David José Rodrigues Neves (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/11 | Expressive Motion in Mobile Robots
Presidente do júri
|
Maria Gard Brito de Vasconcelos Braga (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/11 | Modelação da Dinâmica de um Veículo de Competição
Presidente do júri
|
Tiago Mota Garcia de Oliveira (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/11 | Efficient Implementation of Systems with Adaptive Filters
Arguente principal
|
Marta Filipa Pirão Freire (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/05 | Avaliação Energética de Sistemas de Conversão Fotovoltaicos
Presidente do júri
|
Pedro André Lourenço do Vale. (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/05 | OFDM Modem Implementation Using the DSK TMS320C6416T
Presidente do júri
|
Miguel Augusto Nogueira Mateus (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/05 | Sistema de Monitorizac¸ ˜ao da Qualidade de Energia baseado em FPGA
Arguente principal
|
Jo˜ao Pedro de Matos Serra (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014/12/29 | New Eddy Current Probes and Digital Signal Processing Algorithms for Friction Stir Welding
Testin
Arguente principal
|
Líis Filipe Soldado Granadeiro Rosado. (Doutoramento)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Universidade de Lisboa, Portugal |
2014/07 | Secure Dynamic Reconfiguration of FPGAs
Arguente principal
|
Hirak Jyoti Kashyap (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2013/12 | High-performance and Embedded Systems for Cryptography
Arguente
|
Samuel Freitas Antão (Doutoramento)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Universidade de Lisboa, Portugal |
2010/05/28 | Coverage-Directed Observability-Based Validation Method for Embedded Software
Arguente principal
|
José Carlos Campos Costa (Doutoramento)
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
Universidade de Lisboa, Portugal |
2010/01/28 | Static and Dynamic Optimization with Insect Swarm Algorithms
Arguente
|
Pedro Cardoso Caldas Pinto. (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/09/30 | Efficient Simulation of Power Grids
Arguente
|
João Manuel Santos Silva. (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2021 - 2022 | Algorithms (ISSN 1999-4893) (1999-4893) | Academic Open Access Publishing |
2020 - 2021 | Electronics (ISSN 2079-9292) (2079-9292) | Academic Open Access Publishing. |
Comissão de avaliação
Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
---|---|---|---|
2018/12 - 2018/12 | Exploração de Computação Aproximada no Projeto de Hardware Dedicado de Baixo Consumo para a Codificação de Vídeo em Dispositivos
Móveis.
Avaliador
|
Universidade Federal de Pelotas, Brasil |
Consultoria / Parecer
Descrição da atividade | Instituição / Organização | |
---|---|---|
2014 - 2017/03 | Due to their personal characteristics and technical knowledge in reconfigurable systems, was chosen by the partner for non-executive administrator at Coreworks, position assumed since January 2014. Coreworks was founded in 2001, assuming itself as leading company in providing SIP (Semiconductor Intellectual Property) solutions for multiple standards and multimedia platforms. Its products are based on technology proprietary SideWorks that allows you to develop reconfigurable hardware accelerators, these being prototype in FPGAs and VLSI | |
2001 - 2004 | Founding partner of start-up Iknow. Taking advantage of the expansion of the Internet at the beginning of the century, Iknow came up with the offer of configurable simulators integrated in an accessible platform over the network. He then specialized in the banking market providing workflow solutions configurations supported by the Web. This characteristic, innovative at the time, allowed the creation and use of several centrally defined workflows, but used in all branches at the level national bank tp carry out the credit simulation. |
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2013/02 - Atual | EEE-Institute of Electrical and Electronics Engineers | IEEE Senior Member, |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2020/10/30 - Atual | Coordinator of Electronics Master Programme (MEE) at Instituto Superior Técnico, Universidade de Lisboa
Coordenador
|
Universidade de Lisboa Instituto Superior Técnico, Portugal |
2018/01 - 2019/12 | Elected deputy coordinator of the Embedded Systems Action Line at INESC-ID, which is
made up of six investigative groups, also being their representative on the Council
Scientific Committee of INESC-ID Lisboa (CCIL)
Coordenador
|
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2015/01 - 2016/12 | Deputy Coordinator of the Integrated Master in Electrotechnical Engineering and
IST Computers (MEEC)
Coordenador
|
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal |
Distinções
Prémio
2015 | Best Paper Award
13th13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Portugal
|
2013 | Prémio Prof. Luís Vidigal
Instituto Superior Técnico Departemento de Engenharia Electrotécnica e de Computadores, Portugal
|
2010 | Best Paper Award
VI Jornadas sobre Sistemas Reconfiguráveis (REC), Portugal
|
Título
2013 | 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC
IEEE, Estados Unidos
|
Outra distinção
2014 | 3rd place on SAT Competition 2014 (Parallel, Hard-combinatorial SAT+UNSAT track) |
2013 | IEEE Senior Member |
2013 | 3rd place on SAT Competition 2013 (Core Solvers, Parallel, Hard-combinatorial SAT+UNSAT) |
2013 | Jorge Fernandes, Cristiano Lazzari, Paulo Flores, Jose Monteiro ´ . Tabela Multi-Valor para Dispositivos Logicos Program ´ aveis ´ (Dispositivo Logico Multi-Valor Program ´ avel) ´ Patente de Invenc¸ao Nacional nº 105282 ˜ , |
2011 | Winner - Programming Challenge Workshop on GPU Programming |
2011 | 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC
Instituto Nacional da Propriedade Industrial IP, Portugal
|