Luis Miguel Teixeira D´avila Pinto da Silveira


AuthID: R-000-9SJ

Confirmed Publications: 113



91
TITLE: Realistic delay modeling in satisfiability-based timing analysis
AUTHORS: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 IEEE International Symposium on Circuits and Systems, ISCAS. Part 5 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 6
INDEXED IN: Scopus
IN MY: ORCID
92
TITLE: Timing analysis using Propositional Satisfiability
AUTHORS: e Silva Luis Guerra; Marques Silva Joao, P ; Silveira, L. Miguel ; Sakallah Karem, A;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 3
INDEXED IN: Scopus
IN MY: ORCID
93
TITLE: Generating reduced order models via PEEC for capturing skin and proximity effects
AUTHORS: Kamon, M; Marques, N; Silveira, L. Miguel ; White, J;
PUBLISHED: 1997, SOURCE: 6th Topical Meeting on Electrical Performance of Electronic Packaging in ELECTRICAL PERFORMANCE OF ELECTRONIC PACKAGING
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
94
TITLE: A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits  Full Text
AUTHORS: Silveira, L. Miguel ; Kamon, M; Elfadel, I; White, J;
PUBLISHED: 1996, SOURCE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
95
TITLE: Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
AUTHORS: Silveira, L. Miguel ; Kamon, M; White, J;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 19, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
96
TITLE: Object orientation applied in intelligent systems
AUTHORS: Paraiso, EC; Silveira, L. Miguel ; Ramos, MP; Kaestner, CAA;
PUBLISHED: 1996, SOURCE: 3rd World Congress on Expert Systems on Critical Technology in CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
97
TITLE: Stability criteria for Arnoldi-based model-order reduction
AUTHORS: Elfadel, IM; Silveira, L. Miguel ; White, J;
PUBLISHED: 1996, SOURCE: 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 96) in 1996 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, CONFERENCE PROCEEDINGS, VOLS 1-6, VOLUME: 5
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
98
TITLE: ALGORITHMS FOR COUPLED TRANSIENT SIMULATION OF CIRCUITS AND COMPLICATED 3-D PACKAGING
AUTHORS: Silveira, L. Miguel ; KAMON, M; WHITE, J;
PUBLISHED: 1995, SOURCE: 44th Electronic Components and Technology Conference in IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 18, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
99
TITLE: Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures  Full Text
AUTHORS: Silveira, L. Miguel ; KAMON, M; WHITE, J;
PUBLISHED: 1995, SOURCE: 32nd Design Automation Conference in 32ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1995
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
100
TITLE: EFFICIENT REDUCED-ORDER MODELING OF FREQUENCY-DEPENDENT COUPLING INDUCTANCES ASSOCIATED WITH 3-D INTERCONNECT STRUCTURES  Full Text
AUTHORS: Silveira, L. Miguel ; KAMON, M; WHITE, J;
PUBLISHED: 1995, SOURCE: European Design and Test Conference (ED&TC 1995) in EUROPEAN DESIGN AND TEST CONFERENCE - ED&TC 1995, PROCEEDINGS
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
Page 10 of 12. Total results: 113.

A place for researchers and their institutions

Useful Links

Get Help

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