Luis Miguel Teixeira D´avila Pinto da Silveira


AuthID: R-000-9SJ

Confirmed Publications: 149



31
TITLE: Improving SAT solver efficiency using a multi-core approach
AUTHORS: Marques, R; Guerra E Silva, L ; Flores, P ; Silveira, L. Miguel ;
PUBLISHED: 2013, SOURCE: 26th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013 in FLAIRS 2013 - Proceedings of the 26th International Florida Artificial Intelligence Research Society Conference
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
32
TITLE: Welcome from the general chairs
AUTHORS: Fatih Ugurdag, H; Silveira, L. Miguel ;
PUBLISHED: 2013, SOURCE: 2013 IFIP/IEEE 21st International Conference on Very Large Scale Integration, VLSI-SoC 2013 in IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
33
TITLE: Analysis of the conditions for the worst case switching activity in integrated circuits  Full Text
AUTHORS: Carlos Sampaio; Jose Monteiro ; Silveira, L. Miguel ;
PUBLISHED: 2012, SOURCE: ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, VOLUME: 70, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
34
TITLE: Exploiting Parallelism for Improved Automation of Multidimensional Model Order Reduction  Full Text
AUTHORS: Jorge Fernandez Villena; Silveira, L. Miguel ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
35
TITLE: Fast Statistical Analysis of RC Nets Subject to Manufacturing Variabilities
AUTHORS: Bi, Y; van der Kolk, KJ; Villena, JF; Silveira, L. Miguel ; van der Meijs, N;
PUBLISHED: 2011, SOURCE: Design, Automation and Test in Europe Conference (DATE) in 2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE)
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: Fast statistical analysis of RC nets subject to manufacturing variabilities  Full Text
AUTHORS: Bi, Y; Van Der Kolk, KJ; Villena, JF; Silveira, L. Miguel ; Van Der Meijs, N;
PUBLISHED: 2011, SOURCE: 14th Design, Automation and Test in Europe Conference and Exhibition, DATE 2011 in Proceedings -Design, Automation and Test in Europe, DATE
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
37
TITLE: Handling intra-die variations in PSTA
AUTHORS: Guerra E Silva, L ; Silveira, L. Miguel ;
PUBLISHED: 2011, SOURCE: 21st Great Lakes Symposium on VLSI, GLSVLSI 2011 in Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
38
TITLE: Hierarchical analog layout migration with pcells
AUTHORS: Serras, J; Silveira, L. Miguel ;
PUBLISHED: 2011, SOURCE: 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009 in Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
39
TITLE: Multi-Dimensional Automatic Sampling Schemes for Multi-Point Modeling Methodologies  Full Text
AUTHORS: Jorge Fernandez Villena; Silveira, L. Miguel ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 30, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
40
TITLE: Positive realization of reduced RLCM nets
AUTHORS: Villena, JF; Silveira, L. Miguel ;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011 in 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 4 of 15. Total results: 149.

footer slogan

Useful Links

Get Help

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