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 |
PDK |
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). |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Mark Willems |
Subsumption in Knowledge Graphs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yves Caseau |
Rule-Aided Constraint Resolution in LAURE. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Micha Meier, Joachim Schimpf |
SEPIA 3: 0 - An Extensible Prolog System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andrei Mantsivoda, Vyacheslav Petukhin |
Implementation of the Functional-Logic Language Flang. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Cristina Ribeiro 0001, António Porto |
Reasoning with Maximal Time Intervals. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Rolf Backofen, Lutz Euler, Günther Görz |
Distributed Disjunctions for LIFE. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick |
Data-driven Transformation of Meta-interpreters: A Sketch. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Carlo Zaniolo |
Efficient Processing of Declarative Rule-Based Languages for Datebases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Chris Moss |
Commercial Applications of Large Prolog Knowledge Bases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens |
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michael Hanus |
The ALF System: An Efficient Implementation of a Functional Logic Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Gerard Ellis |
Compiling Conceptual Graphs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Evelina Lamma, Paola Mello |
Processing Abductive Reasoning via Contextual Logic Programming. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andrei Mantsivoda |
Flang: A Functional-Logic Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Zdravko Markov |
A Tool for Building Connectionist-like Networks Based on Term Unification. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Pierre E. Bonzon |
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. |
PDK |
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. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Philipp Hanschke, Andreas Abecker, Dennis Drollinger |
TAXON: A Concept Language with Concrete Domains. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu |
Parallelizing Prolog on Shared-Memory Multiprocessors. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Nicola Guarino |
A Concise Presentation of ITL. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Valentinas Kriauciukas |
Nonclassical Models for Logic Programs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michel Dorochevsky, Jacques Noyé, Oliver Thibault |
Has Dedicated Hardware for Prolog a Future? |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Alessandro Artale, Francesca Cesarini, Giovanni Soda |
Subsumption Computation on an Object-Oriented Data Model. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques |
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Henry A. Kautz, Bart Selman |
A General Framework for Knowledge Compilation. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Maurizio Lenzerini, Andrea Schaerf |
Querying Concept-based Knowledge Bases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Christoph Beierle, Gregor Meyer, Heiner Semle |
A Brief Description of the PROTOS-L System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Jan Treur |
Declarative Functionality Descriptions of Interactive Reasoning Modules. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Wolf-Fritz Riekert |
Providing Declarative Access to a Processing System for Satellite Image Data. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Nicola Guarino |
A Mini-Description of the ITL System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Michael Hanus |
Efficient Implementation of Narrowing and Rewriting. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Franz Baader, Bernhard Hollunder |
A Terminological Knowledge Representation System with Complete Inference Algorithms. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Knut Hinkelmann, Martin Harm, Thomas Labisch |
Transforming Horn Clauses for Forward Reasoning. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Martin Aronsson, Lars-Henrik Eriksson |
The GCLA II Programming Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Andy King, Paul Soper |
Reducing Scheduling Overheads for Concurrent Logic Programs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Stefan Fricke, Manfred Hein |
PCPL - PROLOG Constraint Processing Library Version 2.0. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Herbert Jaeger |
An Introduction to Dynamic Concept Systems. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
59 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Pdk: The System and Its Language. |
TABLEAUX |
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. |
ISQED |
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. |
ISQED |
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. |
NEWCAS |
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. |
IOLTS |
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. |
MIXDES |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Vashishtha, Lawrence T. Clark |
ASAP5: A predictive PDK for the 5 nm node. |
Microelectron. J. |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Shinichi Nishizawa, Shih-Ting Lin, Yih-Lang Li, Hidetoshi Onodera |
Supplemental PDK for ASAP7 Using Synopsys Flow. |
IPSJ Trans. Syst. LSI Des. Methodol. |
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. |
IEEE Open J. Circuits Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Yuan-Dar Chung, Rung-Bin Lin |
Engineering a Standard Cell Library for an Industrial Router with ASAP7 PDK. |
ISVLSI |
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. |
CoRR |
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). |
ICCAD |
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. |
ISCAS |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Vashishtha, Manoj Vangala, Parv Sharma, Lawrence T. Clark |
Robust 7-nm SRAM design on a predictive PDK. |
ISCAS |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Jiang Bingjian, Junli Sheng, Zhangwen Tang |
PDK design of 0.13um SOI process. |
ASICON |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Francesc Vila |
From characterization strategies to PDK & EDA Tools for Printed Electronics. |
|
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? |
ISQED |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Marias Kulas |
International Workshop - PDK'91: Processing Declarative Knowledge. |
Künstliche Intell. |
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. |
ISQED |
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. |
J. Log. Lang. Inf. |
2007 |
DBLP DOI BibTeX RDF |
Applied temporal logic, Knowledge representation, Artificial intelligence planning |