Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Harold Boley, Michael M. Richter (eds.) |
Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![Springer, 3-540-55033-X The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov |
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 383-398, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Mark Willems |
Subsumption in Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 56-66, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yves Caseau |
Rule-Aided Constraint Resolution in LAURE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 237-256, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Micha Meier, Joachim Schimpf |
SEPIA 3: 0 - An Extensible Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 422-424, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andrei Mantsivoda, Vyacheslav Petukhin |
Implementation of the Functional-Logic Language Flang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 420-421, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Cristina Ribeiro 0001, António Porto |
Reasoning with Maximal Time Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 171-178, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Rolf Backofen, Lutz Euler, Günther Görz |
Distributed Disjunctions for LIFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 161-170, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick |
Data-driven Transformation of Meta-interpreters: A Sketch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 301-308, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Carlo Zaniolo |
Efficient Processing of Declarative Rule-Based Languages for Datebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 1-16, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Chris Moss |
Commercial Applications of Large Prolog Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 32-40, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens |
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 309-317, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michael Hanus |
The ALF System: An Efficient Implementation of a Functional Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 414-416, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Gerard Ellis |
Compiling Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 41-55, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Evelina Lamma, Paola Mello |
Processing Abductive Reasoning via Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 336-343, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andrei Mantsivoda |
Flang: A Functional-Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 257-270, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Zdravko Markov |
A Tool for Building Connectionist-like Networks Based on Term Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 199-213, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Pierre E. Bonzon |
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 271-278, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Manfred Meyer, Jörg P. Müller, Stefan Schrödl |
FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 425-427, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Philipp Hanschke, Andreas Abecker, Dennis Drollinger |
TAXON: A Concept Language with Concrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 411-413, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu |
Parallelizing Prolog on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 318-335, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Nicola Guarino |
A Concise Presentation of ITL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 141-160, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Valentinas Kriauciukas |
Nonclassical Models for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 179-190, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michel Dorochevsky, Jacques Noyé, Oliver Thibault |
Has Dedicated Hardware for Prolog a Future? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 17-31, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Alessandro Artale, Francesca Cesarini, Giovanni Soda |
Subsumption Computation on an Object-Oriented Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 124-140, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques |
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 366-382, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Henry A. Kautz, Bart Selman |
A General Framework for Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 287-300, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Maurizio Lenzerini, Andrea Schaerf |
Querying Concept-based Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 107-123, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Christoph Beierle, Gregor Meyer, Heiner Semle |
A Brief Description of the PROTOS-L System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 402-404, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Jan Treur |
Declarative Functionality Descriptions of Interactive Reasoning Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 221-236, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Wolf-Fritz Riekert |
Providing Declarative Access to a Processing System for Satellite Image Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 214-220, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Nicola Guarino |
A Mini-Description of the ITL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 408-410, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michael Hanus |
Efficient Implementation of Narrowing and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 344-365, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 191-198, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Franz Baader, Bernhard Hollunder |
A Terminological Knowledge Representation System with Complete Inference Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 67-86, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Knut Hinkelmann, Martin Harm, Thomas Labisch |
Transforming Horn Clauses for Forward Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 417-419, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Martin Aronsson, Lars-Henrik Eriksson |
The GCLA II Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 399-401, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andy King, Paul Soper |
Reducing Scheduling Overheads for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 279-286, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Stefan Fricke, Manfred Hein |
PCPL - PROLOG Constraint Processing Library Version 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 405-407, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Herbert Jaeger |
An Introduction to Dynamic Concept Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 87-106, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Pdk: The System and Its Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 307-311, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Sridhar Joshi, Ravi Perumal, Kamesh V. Gadepally, Mark Young |
An Approach for a Comprehensive QA Methodology for the PDKs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 480-483, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PDK, Test structures, Quality, Regression, categorization, Matrix, Bugs |
34 | Kamesh V. Gadepally, Mark Young, James Lin, Andy Franklin, Ravi Perumal, Sridhar Joshi |
Strategies for Quality CAD PDKs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 484-487, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PDK, CAD, Quality, Systems, Strategies, Bug, Cycle Time, Design Rules, IC Design |
31 | Andrea Mifsud, Timothy G. Constandinou |
Towards a CMOS-Process-Portable ReRAM PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-0024-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari |
Space Shuttle: A Test Vehicle for the Reliability of the SkyWater 130nm PDK for Future Space Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023, Crete, Greece, July 3-5, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-4135-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Krzysztof Herman, Mauricio Montanares, Jorge Marin |
Design and Implementation of Integrated Circuits Using Open Source Tools and SKY130 Free PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 30th International Conference on Mixed Design of Integrated Circuits and System, MIXDES 2023, Kraków, Poland, June 29-30, 2023, pp. 105-110, 2023, IEEE, 978-83-63578-24-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Vashishtha, Lawrence T. Clark |
ASAP5: A predictive PDK for the 5 nm node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 126, pp. 105481, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Shinichi Nishizawa, Shih-Ting Lin, Yih-Lang Li, Hidetoshi Onodera |
Supplemental PDK for ASAP7 Using Synopsys Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSJ Trans. Syst. LSI Des. Methodol. ![In: IPSJ Trans. Syst. LSI Des. Methodol. 14, pp. 24-26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Ce Ma, Qing Zhang 0008, Yuxin Ji, Lining Hu, Yaxin Liu, Kaiquan Chen, Jian Zhao 0004, Yongfu Li 0002 |
IGZO-TFT-PDK: Thin-Film Flexible Electronics Design Kit, Standard Cell and Design Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Open J. Circuits Syst. ![In: IEEE Open J. Circuits Syst. 2, pp. 757-765, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Yuan-Dar Chung, Rung-Bin Lin |
Engineering a Standard Cell Library for an Industrial Router with ASAP7 PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2020 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Limassol, Cyprus, July 6-8, 2020, pp. 404-409, 2020, IEEE, 978-1-7281-5775-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Xiaoqing Xu, Nishi Shah, Andrew Evans, Saurabh Sinha, Brian Cline, Greg Yeric |
Standard Cell Library Design and Optimization Methodology for ASAP7 PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.11396, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
31 | Xiaoqing Xu, Nishi Shah, Andrew Evans, Saurabh Sinha, Brian Cline, Greg Yeric |
Standard cell library design and optimization methodology for ASAP7 PDK: (Invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017, Irvine, CA, USA, November 13-16, 2017, pp. 999-1004, 2017, IEEE, 978-1-5386-3093-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Tong Ge, Jia Zhou 0002, Yang Kang, Joseph S. Chang |
Review: A fully-additive printed electronics process with very-low process variations (Bent and unbent substrates) and PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, pp. 1-4, 2017, IEEE, 978-1-4673-6853-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Vashishtha, Manoj Vangala, Parv Sharma, Lawrence T. Clark |
Robust 7-nm SRAM design on a predictive PDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, pp. 1-4, 2017, IEEE, 978-1-4673-6853-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Jiang Bingjian, Junli Sheng, Zhangwen Tang |
PDK design of 0.13um SOI process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 2015 IEEE 11th International Conference on ASIC, ASICON 2015, Chengdu, China, November 3-6, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8483-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Francesc Vila |
From characterization strategies to PDK & EDA Tools for Printed Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
31 | Tets Maniwa, Pallab K. Chatterjee |
Evening Panel Discussion: DFM PDK's: Where Do They Belong To? Are Process Design Kits (PDKs) the Answer for Modern Design for Manufacturing (DFM) Issues? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 11-13, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Marias Kulas |
International Workshop - PDK'91: Processing Declarative Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 5(3), pp. 32-33, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
28 | Udo Sobe, Karl-Heinz Rooch, Andreas Ripp, Michael Pronath |
Robust Analog Design for Automotive Applications by Design Centering with Safe Operating Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 848-854, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Design Centering, Safe Operating Area, Self-Biasing Cascode, WiCKeD, Constraint Matrix, Reliability, Automotive, OTA |
28 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Linear temporal logic as an executable semantics for planning languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 63-89, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Applied temporal logic, Knowledge representation, Artificial intelligence planning |