João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



261
TÍTULO: GRASP - A new search algorithm for satisfiability  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
262
TÍTULO: Ravel-XL: A hardware accelerator for assigned-delay compiled-code logic gate simulation  Full Text
AUTORES: Riepe, MA; Marques, JP ; Sakallah, KA; Brown, RB;
PUBLICAÇÃO: 1996, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 4, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
263
TÍTULO: Dynamic search-space pruning techniques in path sensitization  Full Text
AUTORES: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference
INDEXADO EM: Scopus
NO MEU: ORCID
264
TÍTULO: Dynamic Search-Space Pruning Techniques in Path Sensitization
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994.
INDEXADO EM: DBLP
NO MEU: DBLP
265
TÍTULO: Efficient and robust test generation-based timing analysis
AUTORES: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1
INDEXADO EM: Scopus
NO MEU: ORCID
266
TÍTULO: Efficient and Robust Test Generation-Based Timing Analysis
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 1994, FONTE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994
INDEXADO EM: DBLP
NO MEU: DBLP
267
TÍTULO: An Analysis of Path Sensitization Criteria
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 1993, FONTE: Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD '93, Cambridge, MA, USA, October 3-6, 1993
INDEXADO EM: DBLP
NO MEU: DBLP
268
TÍTULO: Concurrent path sensitization in timing analysis
AUTORES: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLICAÇÃO: 1993, FONTE: Proceedings of the European Design Automation Conference in European Design Automation Conference - Proceedings
INDEXADO EM: Scopus
NO MEU: ORCID
269
TÍTULO: Concurrent path sensitization in timing analysis
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 1993, FONTE: Proceedings of the European Design Automation Conference 1993, EURO-DAC '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993
INDEXADO EM: DBLP
NO MEU: DBLP
270
TÍTULO: Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
AUTORES: Michael A. Riepe; João Marques Marques Silva ; Karem A. Sakallah; Richard B. Brown;
PUBLICAÇÃO: 1993, FONTE: Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD '93, Cambridge, MA, USA, October 3-6, 1993
INDEXADO EM: DBLP
NO MEU: DBLP
Página 27 de 28. Total de resultados: 271.

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