José Carlos Alves Pereira Monteiro


AuthID: R-000-85F

Publicações Confirmadas: 98



1
TÍTULO: Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic  Full Text
AUTORES: Lopes, NP ; Monteiro, J ;
PUBLICAÇÃO: 2016, FONTE: 20th International SPIN Symposium on Model Checking of Software in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
2
TÍTULO: A Novel Method for the Approximation of Multiplierless Constant Matrix Vector Multiplication
AUTORES: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLICAÇÃO: 2015, FONTE: 13th International Conference on Embedded and Ubiquitous Computing (EUC 2015) in PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Approximation of Multiple Constant Multiplications Using Minimum Look-Up Tables on FPGA
AUTORES: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS)
INDEXADO EM: WOS
4
TÍTULO: Approximation of multiple constant multiplications using minimum look-up tables on FPGA
AUTORES: Aksoy, L; Flores, P; Monteiro, J ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Symposium on Circuits and Systems, ISCAS 2015 in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 2015-July
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: Exact and Approximate Algorithms for the Filter Design Optimization Problem  Full Text
AUTORES: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOLUME: 63, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Matrix converter as unified power flow controller: Design and implementation of decoupled direct power controllers
AUTORES: Monteiro, J ; Silva, JF; Pinto, S;
PUBLICAÇÃO: 2015, FONTE: 9th International Conference on Compatibility and Power Electronics, CPE 2015 in Proceedings - 2015 9th International Conference on Compatibility and Power Electronics, CPE 2015
INDEXADO EM: Scopus CrossRef
7
TÍTULO: Quaternary Logic Lookup Table in Standard CMOS  Full Text
AUTORES: Brito, D; Rabuske, TG; Fernandes, JR; Flores, P; Monteiro, J ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 23, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 10
NO MEU: ORCID
8
TÍTULO: A Tutorial on Multiplierless Design of FIR Filters: Algorithms and Architectures  Full Text
AUTORES: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLICAÇÃO: 2014, FONTE: CIRCUITS SYSTEMS AND SIGNAL PROCESSING, VOLUME: 33, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: ECHO: A Novel Method for the Multiplierless Design of Constant Array Vector Multiplication
AUTORES: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLICAÇÃO: 2014, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: Efficient design of FIR filters using hybrid multiple constant multiplications on FPGA
AUTORES: Aksoy, L; Flores, P; Monteiro, J ;
PUBLICAÇÃO: 2014, FONTE: 32nd IEEE International Conference on Computer Design, ICCD 2014 in 2014 32nd IEEE International Conference on Computer Design, ICCD 2014
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 1 de 10. Total de resultados: 98.

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

Links Úteis

Ajuda

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