عنوان

Advanced Information Processing :

(Number (ISBN

3642934641

(Number (ISBN

9783642934643

Number

b575821

Title Proper

Advanced Information Processing :

General Material Designation

[Book]

Other Title Information

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

First Statement of Responsibility

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

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1990

Specific Material Designation and Extent of Item

(xi, 397 pages 80 illustrations)

Text of Note

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.

Text of Note

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.

Class number

Book number

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

Heinz Schwärtzel

Igor A Mizin

Electronic name

[Book]

Y