عنوان

Advanced Information Processing :

شابک

3642934641

شابک

9783642934643

شماره

b575821

عنوان اصلي

Advanced Information Processing :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990

نام نخستين پديدآور

edited by Heinz Schwärtzel, Igor A. Mizin.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1990

نام خاص و کميت اثر

(xi, 397 pages 80 illustrations)

متن يادداشت

Section 1: Information Processing and Software.- New Application Related Developments in Informatics with Verified Results.- Graphs, Automata, Petri Nets From Sequential to Distributed and Concurrent Systems.- Approaches to the Representation of Knowledge.- Inductive Inference in AI Systems.- Construction of High-Quality Software with Formally Guaranteed Properties.- An Intelligent System for Distributed System Software Design.- Integrated Environment for Software System Design.- Object-Oriented CASE.- Automatic Speech Synthesis by Computer.- Phoneme Recognition of Speech.- A Machine Learning Approach to Learn Rules for Fault Diagnosis in Power Distribution Systems.- Artificial Neural Networks: Models, Implementations, and Selected Applications.- Features of the Generalized Heterogeneous Information Resource Representation Language.- Technological Complexes for Application Program Development.- Document Image Understanding.- Computer Hardware Verification and Modeling.- Multi Media Human-Computer Communication.- Distributed Software Systems: Trends from Communication to Cooperation.- Towards a New Generation of Diagnosis Systems.- Speech-Understanding Systems: The Communication Technology of Tomorrow ?.- Section 2: Systems Design Automation.- Design of Integrated Systems.- VLSI-Based System Design Challenges in the Early 1990s.- Methodology Aspects of Logical Structure Synthesis of Application Specific Integrated Circuits.- High-Level Synthesis - A Step Towards System Design Automation.- Algorithmic Environment for VLSI Design on Cellular Automata.- HDL for System Design.- Hierarchical Physical Design of Complex VLSI Circuits.- Methods and Algorithms for Hierarchical Layout Synthesis of VLSI Circuits.- System-Related Aspects of Testing.- Directions of Reducing the Computational Complexity in LSI Circuit Simulation.- System Shell for VLSI CAD.

متن يادداشت

The present proceedings comprise the contributions of scientists, most of them from the USSR Academy of Sciences and the Siemens AG, Research & Development Department, to a joint meeting on advanced topics of information processing. The symposium was initiated by Prof. Dr. I. Mizin, Corresponding Member of the USSR Academy of Sciences, and Prof. Dr. H. Schwärtzel, Vice President of the Siemens AG and Head of the Applied Computer Sciences & Software Department. The joint symposium - held in Moscow in June 1990 - provided a platform for exchanging results and discussing most recent advances in the field of Information Processing and Software and of Systems Design Automation. The proceedings give an overview of research activities and an insight to highlight topics of both participating groups. The symposium dedicated to Information Processing and Software covered a broad range of different aspects with a focus on AI, CASE, and Human Interfaces. Special topics included Artificial Intelligence, Machine Learning, Image and Speech Processing, and Multi Media Dialogue Techniques. The second symposium covered concepts, approaches, and implementation aspects as well as future trends concerning Systems Design Automation especially for VLSI circuits. Major topics were Hardware Synthesis and Hardware Specification, Physical Design, Testing Aspects and Simulation, Framework, and Cellular Automata.

موضوع مستند نشده

Computer hardware.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Heinz Schwärtzel, Igor A. Mizin.

مستند نام اشخاص تاييد نشده

Heinz Schwärtzel

مستند نام اشخاص تاييد نشده

Igor A Mizin

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y