José Carlos Alves Pereira Monteiro


AuthID: R-000-85F

Publicações Confirmadas: 134



31
TÍTULO: Automatic Equivalence Checking of UF+IA Programs
AUTORES: Nuno P Lopes ; José Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP
32
TÍTULO: Combination of radix-2<sup>m</sup> multiplier blocks and adder compressors for the design of efficient 2's complement 64-bit array multipliers
AUTORES: Leandro Zafalon Pieper; Eduardo A C da Costa; Jose C Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI)
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: Coverage-Directed Observability-Based Validation for Embedded Software  Full Text
AUTORES: Jose C Costa; Jose C Monteiro ;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 18, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Design of Digit-Serial FIR Filters: Algorithms, Architectures, and a CAD Tool  Full Text
AUTORES: Levent Aksoy ; Cristiano Lazzari; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 21, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Exploration of tradeoffs in the design of integer cosine transforms for image compression
AUTORES: Aksoy, L; Costa, E; Flores, P ; Monteiro, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 European Conference on Circuit Theory and Design, ECCTD 2013 in 2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Hardware pipelining of repetitive patterns in processor instruction traces
AUTORES: Bispo, J ; Cardoso, JMP ; Monteiro, J ;
PUBLICAÇÃO: 2013, FONTE: Journal of Integrated Circuits and Systems, VOLUME: 8, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: SIREN. a depth-first search algorithm for the filter design optimization problem
AUTORES: Levent Aksoy; Paulo Flores ; José Monteiro ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI - GLSVLSI '13
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
38
TÍTULO: SIREN: A depth-first search algorithm for the filter design optimization problem
AUTORES: Aksoy, L ; Flores, P ; Monteiro, J ;
PUBLICAÇÃO: 2013, FONTE: 23rd ACM International Conference of the Great Lakes Symposium on VLSI, GLSVLSI 2013 in Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
INDEXADO EM: Scopus
39
TÍTULO: Standard CMOS Voltage-mode QLUT Using a Clock Boosting Technique
AUTORES: Diogo Brito; Jorge Fernandes ; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International New Circuits and Systems Conference (NEWCAS) in 2013 IEEE 11TH INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Towards the Least Complex Time-Multiplexed Constant Multiplication
AUTORES: Levent Aksoy; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 de 14. Total de resultados: 134.

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

Links Úteis

Ajuda

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