José Carlos Alves Pereira Monteiro


AuthID: R-000-85F

Confirmed Publications: 134



31
TITLE: Automatic Equivalence Checking of UF+IA Programs
AUTHORS: Nuno P Lopes ; José Monteiro ;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Model Checking Software, SPIN 2013 in Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, VOLUME: 7976
INDEXED IN: Scopus DBLP
32
TITLE: Combination of radix-2<sup>m</sup> multiplier blocks and adder compressors for the design of efficient 2's complement 64-bit array multipliers
AUTHORS: Leandro Zafalon Pieper; Eduardo A C da Costa; Jose C Monteiro ;
PUBLISHED: 2013, SOURCE: 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI)
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
33
TITLE: Coverage-Directed Observability-Based Validation for Embedded Software  Full Text
AUTHORS: Jose C Costa; Jose C Monteiro ;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 18, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Design of Digit-Serial FIR Filters: Algorithms, Architectures, and a CAD Tool  Full Text
AUTHORS: Levent Aksoy ; Cristiano Lazzari; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
35
TITLE: Exploration of tradeoffs in the design of integer cosine transforms for image compression
AUTHORS: Aksoy, L; Costa, E; Flores, P ; Monteiro, J ;
PUBLISHED: 2013, SOURCE: 2013 European Conference on Circuit Theory and Design, ECCTD 2013 in 2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: Hardware pipelining of repetitive patterns in processor instruction traces
AUTHORS: Bispo, J ; Cardoso, JMP ; Monteiro, J ;
PUBLISHED: 2013, SOURCE: Journal of Integrated Circuits and Systems, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
37
TITLE: SIREN. a depth-first search algorithm for the filter design optimization problem
AUTHORS: Levent Aksoy; Paulo Flores ; José Monteiro ;
PUBLISHED: 2013, SOURCE: Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI - GLSVLSI '13
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
38
TITLE: SIREN: A depth-first search algorithm for the filter design optimization problem
AUTHORS: Aksoy, L ; Flores, P ; Monteiro, J ;
PUBLISHED: 2013, SOURCE: 23rd ACM International Conference of the Great Lakes Symposium on VLSI, GLSVLSI 2013 in Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
INDEXED IN: Scopus
39
TITLE: Standard CMOS Voltage-mode QLUT Using a Clock Boosting Technique
AUTHORS: Diogo Brito; Jorge Fernandes ; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2013, SOURCE: 11th IEEE International New Circuits and Systems Conference (NEWCAS) in 2013 IEEE 11TH INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
40
TITLE: Towards the Least Complex Time-Multiplexed Constant Multiplication
AUTHORS: Levent Aksoy; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2013, SOURCE: IFIP/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC) in 2013 IFIP/IEEE 21ST INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 4 of 14. Total results: 134.

footer slogan

Useful Links

Get Help

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