Paulo Ferreira Godinho Flores


AuthID: R-000-EBX

Publicações Confirmadas: 79



71
TÍTULO: Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming  Full Text
AUTORES: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2006, FONTE: 43rd Design Automation Conference in 43rd Design Automation Conference, Proceedings 2006
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
72
TÍTULO: An exact algorithm for the maximal sharing of partial terms in Multiple Constant Multiplications  Full Text
AUTORES: Flores, P ; Monteiro, J ; Costa, E;
PUBLICAÇÃO: 2005, FONTE: IEEE/ACM International Conference on Computer Aided Design in ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
73
TÍTULO: Maximal sharing of partial terms in MCM under minimal signed digit representation
AUTORES: da Costa, E; Flores, P ; Monteiro, J ;
PUBLICAÇÃO: 2005, FONTE: European Conference on Circuit Theory and Design in Proceedings of the 2005 European Conference on Circuit Theory and Design, Vol 2, VOLUME: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
74
TÍTULO: An exact solution to the minimum size test pattern problem  Full Text
AUTORES: Flores, PF ; Neto, HC ; Marques Silva, JP ;
PUBLICAÇÃO: 2001, FONTE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 6, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
75
TÍTULO: Assignment and reordering of incompletely specified pattern sequences targetting minimum power dissipation
AUTORES: Flores, P ; Costa, J; Neto, H ; Monteiro, J ; Marques Silva, J ;
PUBLICAÇÃO: 1999, FONTE: 12th International Conference on VLSI Design in TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 30 Unpaywall
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
76
TÍTULO: On applying set covering models to test set compaction  Full Text
AUTORES: Flores, PF ; Neto, HC ; Marques Silva, JP ;
PUBLICAÇÃO: 1999, FONTE: 9th Great Lakes Symposium on VLSI (GLSVLSI 99) in NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | CIÊNCIAVITAE
77
TÍTULO: Test pattern generation for width compression in BIST
AUTORES: Flores, P ; Neto, H ; Chakrabarty, K; Marques Silva, J ;
PUBLICAÇÃO: 1999, FONTE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
78
TÍTULO: An exact solution to the minimum size test pattern problem
AUTORES: Flores, PF ; Neto, HC ; Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: International Conference on Computer Design: VLSI in Computers and Processors in INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
79
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 de 8. Total de resultados: 79.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service