"AVIS: an automatic verification system for CAD circuit-data base using PADIKS"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
AVIS: an automatic verification system for CAD circuit-data base using PADIKS	Ming-Tsair Dai	1989
Installing and using an automatic data processing system: a case study for management.	John Peter McNerney	1961	Division of Research, Harvard University, Graduate School of Business Administration
An automatic data acquisition and reduction system	Richard A. Sommerfeld
Data base management system for microcomputers	Amrun Sehan	1979	Naval Postgraduate School
Automatic data processing: System/360 edition	Frederick P. Brooks, Kenneth E. Iverson	1969	Wiley
A relational data base management system	A. T. F. Hutt	1979	J. Wiley
Logical data base design for relational data base systems	Jack Albert Chapman	1978
Automatic control and data acquisition system for combustion laboratory applications	Bertel J. Hansen	1982	Naval Postgraduate School
Data base organization for data management	Sakti P. Ghosh	1986	Academic Press
Data analysis for data base design	D. R Howe	1983	E. Arnold
Data base organization for data management	Sakti P. Ghosh	1986	Academic Press
Characterization of a distributed data base system	Enrique Grapa	1976	Dept. of Computer Science, University of Illinois
Pattern Cutting for Clothing Using CAD	M. Stott	2012	Woodhead Publishing
System Verification	Jeffrey O. Grady	2007	Academic Press
Designing an automatic control system for a submarine	Orhan K. Babaoglu	1988
An automatic impedance matching system for transmission lines	Joseph Eugene Fenwick	1955	Naval Postgraduate School
A microprocessor controlled automatic data logging system (ADL)	John David Casko	1977
CAD Data Transfer for Solid Models	E.G. Schlechtendahl	1989	Springer Berlin Heidelberg
Understanding and using R: base 5000 (including R: base system V)	Karen L. Watterson	1987	West Pub. Co.
Feasibility study for establishing an automated data base system for Naval Electronics Engineering Center, Vallejo	James Edward Tarver	1975	Naval Postgraduate School
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Automatic verification of speed-independent circuit designs using the Circal system	Andrew Bailey	Correct Hardware Design and Verification Methods: IFIP WG 10. 2 Advanced Research Working Conference, CHARME' 93, Arles, France, May 24-26, 1993. Proceedings	George J. Milne; Laurence Pierre	1993	Springer Berlin Heidelberg
Using an NF2 Data Base System for Modeling of CIM Data	Martin Dürr; Martin Huck; Alfons Kemper; Mechtild Wallrath	Non-Standard Datenbanken für Anwendungen der Graphischen Datenverarbeitung: GI-Fachgespräch, Dortmund, 21. /22. März 1988	H. Lutterbach	1988	Springer Berlin Heidelberg
Automatic Verification of Sequential Circuit Designs	Edmund M. Clarke	Computer Hardware Description Languages and their Applications	D. Agnew; L. Claesen and R. Camposano	1993	North-Holland
An Overview of Automatic Speaker Verification System	Ravika Naika	Intelligent Computing and Information and Communication: Proceedings of 2nd International Conference, ICICC 2017	Subhash Bhalla; Vikrant Bhateja; Anjali A. Chandavale; Anil S. Hiwale; Suresh Chandra Satapathy	1st ed. 2018	Springer Nature Singapore
An Automatic Portal Radiograph Verification System for Proton Therapy	Neil Muller; Cobus Caarstens; Leendert van der Bijl	Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science: Volume 1	Ford Lumban Gaol; Quang Vinh Nguyen	2012	Springer Berlin Heidelberg
Improved Automatic Speaker Verification System Using Deep Learning	Saumya Borwankar; Shrey Bhatnagar; Yash Jha; Shraddha Pandey; Khushi Jain	Information and Communication Technology for Intelligent Systems: Proceedings of ICTIS 2020, Volume 2	Tomonobu Senjyu; Parikshit N. Mahalle; Thinagaran Perumal; Amit Joshi	1st ed. 2021	Springer Nature Singapore
Circuit Verification	Wolfgang Rülling	The Electronic Design Automation Handbook	Dirk Jansen	2003	Springer US
Automatic Verification	Steve M. Nowick; David L. Dill	Synchronization Design for Digital Systems	Teresa H. Meng	1991	Springer US
Automatic Verification	Doron A. Peled	Software Reliability Methods	Doron A. Peled	2001	Springer New York
Automatic verification		Learn Bosque Programming: Discover the world's first regularized programming language	Sebastian Kaczmarek, Joel Ibaceta	2021	Packt Publishing
A DATA BASE MANAGEMENT FOR DIE CAD/CAM	Jia Minghua; Weng Shixiu	Control Science and Technology for Development	Yang Jiachi	1986	Pergamon
Circuit-Breaker Design Using an Integrated cad/cae Tool		Advances in Factories of the Future, CIM and Robotics	Michel Cotsaftis and François Vernadat (Eds.)	1993	Academic Press, Elsevier
CAD data base requirements and architectures	Thomas Neumann	Computer Aided Design Modelling, Systems Engineering, CAD-Systems: CREST Advanced Course, Darmstadt, 8. - 19. September 1980	J. Encarnacao	1980	Springer Berlin Heidelberg
Using Active Vantage Data for Verification		Network Security Through Data Analysis: From Data to Action	Collins, Michael	2017	O'Reilly Media, Incorporated
B3 Circuit CAD		EMC for Product Designers	Williams T.	2001
An ‘ideal’ CAD system	Vivienne Begg	Developing Expert CAD Systems	V. Begg	1984	Springer Netherlands
Using the Declarative Language LUSTRE for Circuit Verification	Ghislaine Thuau; Daniel Pilaud	Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford	Geraint Jones; Mary Sheeran	1991	Springer London
Anti-spoofing Methods for Automatic Speaker Verification System	Galina Lavrentyeva; Sergey Novoselov; Konstantin Simonchik	Analysis of Images, Social Networks and Texts: 5th International Conference, AIST 2016, Yekaterinburg, Russia, April 7-9, 2016, Revised Selected Papers	Dmitry I. Ignatov; Mikhail Yu. Khachay; Valeri G. Labunets; Natalia Loukachevitch; Sergey I. Nikolenko; Alexander Panchenko; Andrey V. Savchenko;	1st ed. 2017	Springer International Publishing
Design of Automatic Verification System for Evaporation Sensor	Jianyu Li; Chen Chen; Mursaha Abstueri	The 2021 International Conference on Smart Technologies and Systems for Internet of Things: STSIoT2021	Ishfaq Ahmad; Jun Ye; Weidong Liu	1st ed. 2023	Springer Nature Singapore
Automatic Error Localization for Software Using Deductive Verification	Robert Könighofer; Ronald Toegl; Roderick Bloem	Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings	Eran Yahav	2014	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"AVIS: an automatic verification system for CAD circuit-data base using PADIKS" - similar Books and Chapters