UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Learning from constraints for formal property checking

2009 IEEE International High Level Design Validation and Test Workshop, 2009, p.38-45

2009

Volltextzugriff (PDF)

To split or to conjoin: the question in image computation

Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.23-28

2000

Volltextzugriff (PDF)

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

Journal of mechanical science and technology, 2006-09, Vol.20 (9), p.1492-1501

2006

Volltextzugriff (PDF)

Learning from Constraints for Formal Property Checking

Journal of electronic testing, 2010-04, Vol.26 (2), p.243-259

2010

Volltextzugriff (PDF)

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

2006 IEEE International High Level Design Validation and Test Workshop, 2006, p.170-175

2006

Volltextzugriff (PDF)

Compositional verification of retiming and sequential optimizations

2008 45th ACM/IEEE Design Automation Conference, 2008, p.131-136

Moon, In-Ho

2008

Volltextzugriff (PDF)

Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders

Formal Methods in Computer-Aided Design, 2004, p.144-158

2004

Volltextzugriff (PDF)

Border-block triangular form and Conjunction schedule in image computation

Lecture notes in computer science, 2000, p.73-90

2000

Volltextzugriff (PDF)

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

Journal of Mechanical Science and Technology, 2006, 20(9), , pp.1492-1501

2006

Volltextzugriff (PDF)

A Compositional Approach to the Combination of Combinational and Sequential Equivalence Checking of Circuits Without Known Reset States

2007 Design, Automation & Test in Europe Conference & Exhibition, 2007, p.1-6

2007

Volltextzugriff (PDF)

Simplifying Circuits for Formal Verification Using Parametric Representation

Formal Methods in Computer-Aided Design, 2002, p.52-69

2002

Volltextzugriff (PDF)

Least fixpoint approximations for reachability analysis

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051), 1999, p.41-44

1999

Volltextzugriff (PDF)

Entrepreneurship-Professionalism-Leadership: A Multidimensional Framework for Human Capital and Career Development in the 21st Century

1st Edition 2020, 2020

Volltextzugriff (PDF)

Iterative abstraction-based CTL model checking

Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537), 2000, p.502-507

2000

Volltextzugriff (PDF)

Significance of age and comorbidity as prognostic indicators for patients with bladder cancer

Asian journal of andrology, 2010-09, Vol.12 (5), p.766-774

2010

Volltextzugriff (PDF)

Approximate reachability don't cares for CTL model checking

Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 1998, p.351-358

1998

Volltextzugriff (PDF)

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states

Proceedings of the conference on Design, automation and test in Europe, 2007, p.1170-1175

2007

Volltextzugriff (PDF)

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

Taehan Kigye Hakhoe nonmunjip. B, 2006-04, Vol.30 (4), p.306-313

2006

Volltextzugriff (PDF)

Combinational equivalence checking through function transformation

Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 2002, p.526-533

2002

Volltextzugriff (PDF)

A symbolic algorithm for low-power sequential synthesis

International Symposium on Low Power Electronics and Design: Proceedings of the 1997 international symposium on Low power electronics and design; 18-20 Aug. 1997, 1997, p.56-61

1997

Volltextzugriff (PDF)

Efficient reachability algorithms in symbolic model checking

Moon, In-Ho

2000

Volltextzugriff (PDF)

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states

Design, Automation, and Test in Europe: Proceedings of the conference on Design, automation and test in Europe; 16-20 Apr. 2007, 2007, p.1170-1175

2007

Volltextzugriff (PDF)

Development of High Efficiency Contactless Power Supply System for Stocker System

Journal of the Korean Institute of Illuminating and Electrical Installation Engineers, 2010-02, Vol.24 (2), p.77-85

2010

Volltextzugriff (PDF)

Combinational equivalence checking through function transformation

IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002, 2002, p.526-533

2002

Volltextzugriff (PDF)

Time- and cell-type specific changes in iron, ferritin, and transferrin in the gerbil hippocampal CA1 region after transient forebrain ischemia

Neural regeneration research, 2016-06, Vol.11 (6), p.924-930

2016

Volltextzugriff (PDF)

1 – 25 von 4.803

Menü

Weitere Dienste

Einstellungen

Learning from constraints for formal property checking

To split or to conjoin: the question in image computation

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

Learning from Constraints for Formal Property Checking

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

Compositional verification of retiming and sequential optimizations

Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders

Border-block triangular form and Conjunction schedule in image computation

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

A Compositional Approach to the Combination of Combinational and Sequential Equivalence Checking of Circuits Without Known Reset States

Simplifying Circuits for Formal Verification Using Parametric Representation

Least fixpoint approximations for reachability analysis

Entrepreneurship-Professionalism-Leadership: A Multidimensional Framework for Human Capital and Career Development in the 21st Century

Iterative abstraction-based CTL model checking

Significance of age and comorbidity as prognostic indicators for patients with bladder cancer

Approximate reachability don't cares for CTL model checking

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states

Evaluation of a Wafer Transportation Speed for Propulsion Nozzle Array on Air Levitation System

Combinational equivalence checking through function transformation

A symbolic algorithm for low-power sequential synthesis

Efficient reachability algorithms in symbolic model checking

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states

Development of High Efficiency Contactless Power Supply System for Stocker System

Combinational equivalence checking through function transformation

Time- and cell-type specific changes in iron, ferritin, and transferrin in the gerbil hippocampal CA1 region after transient forebrain ischemia

Suchergebnisse filtern