Algorithms, software, architecture

摘要

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.