Advanced Information Processing

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

Heinz Schwärtzel, Igor A. Mizin (Herausgeber)

Buch | Softcover

XI, 397 Seiten

1990
Springer Berlin (Verlag)
978-3-540-52683-4 (ISBN)

Artikel merken

During the last few years, computers have evolved from pure number crunching machines to "intelligent" problem solving tools. Increasing effort has been spent on the investigation of new approaches and the application of solutions to real world problems. In this way, exciting new techniques have evolved providing support for an increasing number of technical and economical aspects. Applications range from the design and development of ultra highly integrated circuits to totally new man-machine interfaces, from software engineering tools to fault diagnosis systems, from decision support to even the analysis of unemployment. Following a first joint workshop on Advanced Information Processing held in July 1988 at the Institute for Problems of Informatics of the USSR Academy of Sciences (IPIAN) at Moscow, this was the second time that scientists and researchers from the USSR Academy of Sciences and Siemens AG, Corporate Research and Development, exchanged results and discussed recent advances in the field of applied computer sciences. Initiated by Prof. Dr. I. Mizin, Corresponding Member of the USSR Academy of Sciences and Director of IPIAN, and Prof. Dr. H. Schwartzel, Vice President of the Siemens AG and Head of the Applied Computer Science & Software Department, a joint symposium was arranged at the USSR Academy of Sciences in Moscow on June 5th and 6th 1990. The meetings on Information Processing and Software and Systems Design Automation provided a basis both for presentations of ongoing research and for discussions about specific problems.

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 theComputational Complexity in LSI Circuit Simulation.- System Shell for VLSI CAD.

Erscheint lt. Verlag	30.5.1990
Zusatzinfo	XI, 397 p.
Verlagsort	Berlin
Sprache	englisch
Maße	170 x 242 mm
Gewicht	695 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Artificial Intelligence • Automation • CAD • CASE • Cognition • Communication • Datenverarbeitung • Design • design automation • Distributed Systems • Information Processing • Integrierte Schaltung • Integrierte Schaltung (IC) • Künstliche Intelligenz • Modeling • System • Systemtheorie • verification
ISBN-10	3-540-52683-8 / 3540526838
ISBN-13	978-3-540-52683-4 / 9783540526834
Zustand	Neuware