Search results for "PDK"

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