This volume presents contributed and invited papers presented in the following three program streams: Software Development and Maintenance, Algorithms and Efficient Computation, and From Architectures to Chips The papers on Software Engineering focus on formal methods, the usefulness of object-oriented system design, and the future of tools and environments. The papers on Efficient Algorithms address a wide range of algorithm design issues from text retrieval to e.g. parallel and distributed computing, and show considerable progress in the design of general techniques and algorithm libraries. The papers on Computer Architectures address developments in concurrent processing, formal design methods and languages, and performance aspects.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-0-444-89747-3 (9780444897473)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Software Development and Maintenance. Design and Analysis (4 papers). Panel: Object-Oriented Programming. Language Design - Invited Paper: Functional Programming and Miranda (D.A. Turner) (plus 2 other papers). Technology Transfer and Education (2 papers). Software Development (4 papers). Panel: Formal Methods. Formal Methods - Invited Paper: On Constructing Large Software Systems (J.-R. Abrial) (plus 5 other papers). Implementation of Languages and Systems - Invited Paper: On Developing Large Software Systems (A. Snyder) (plus 5 other papers). Tools and Automation (4 papers). Panel: Tools and Environments. Configuration Management and System Generation - Invited Paper: Program Visualization: Where Do We Go From Here (S.P. Reiss) (plus 4 other papers). Algorithms and Efficient Computation. Number-Theoretic and Algebraic Computation (2 papers). Parallel Algorithms - Invited Paper: The Role of Randomness in the Design of Interconnection Networks (F.T. Leighton, B. Maggs) (plus 2 other papers). Complexity Theory - Invited Paper: Advances in Cryptography (S. Micali) (plus 4 other papers). Neural Networks (2 papers). Distributed Computing (2 papers). Concurrency and Simulation (3 papers). Computational Geometry and Robotics - Invited Paper: Some New Research Directions in Robot Motion Planning (J.-D. Boissonnat) (plus 2 other papers). Graph and Network Algorithms (3 papers). Algorithm Design and Network Algorithms - Invited Paper: On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future? (R.M. Karp) (plus 2 other papers). Fundamental Algorithms (3 papers). Algorithms for Text Retrieval. Data Structures and Efficiency - Invited Paper: Algorithm Design and Software Libraries: Recent Developments in the LEDA Project (K. Mehlhorn, S. Naher) (plus 2 other papers). From Architectures to Chips. Parallel and Distributed Computing (4 papers). Panel: Parallel and Distributed Computing. Interconnection - Invited Paper: General Purpose Parallel Computers (D. May) (plus 5 other papers). Dependability - Invited Paper: Dependability; a Unifying Concept for Reliable, Safe, Secure Computing (J.C. Laprie). Panel: Dependability Issues in Distributed and Real-Time Systems. Dependability And Performance - Invited Paper: Dependability Issues in Telecommunications (M. Morganti) (plus 4 other papers). Architectures and Chips - Invited Paper: The Role of Modeling and Evaluation in the Design Process (J.F. Meyer) (plus 4 other papers). VLSI Technology And Concurrent Engineering - Invited Paper: Progress Trends and Perspective of VLSI Technology (H. Ishikawa). Panel: Concurrent Engineering. Hardware Design - Invited Paper: Tomorrow's Digital Hardware will be Asynchronous and Verified (A.J. Martin) (plus 2 other papers). Panel: The CAD Tool for the Future.
