José Carlos Alves Pereira Monteiro


AuthID: R-000-85F

Confirmed Publications: 98



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service