Information Processing 89: Proceedings of the IFIP 11th World Computer Congress, San Francisco, U.S.A., August 28-September 1, 1989, Volume 89G. X. Ritter The theme of the 11th Congress, and of this book, is ''Better Tools for Professionals''. The emphasis is on the latest worldwide developments and trends in computer technology for professional use in both the private and public sector. The papers are organized into eleven sections, covering component and system-level tools, application systems tools, and the impact of such systems on education and society. Less than one-third of papers submitted were accepted for publication. Invited Papers: 1. Fundamental Tools. Randomization in Distributed and Parallel Computing. ''Perfect'' Pseudo-Random Number Generation. Faster Algorithms for Hard Problems. Randomized Parallel Algorithms. Designing Concurrency Semantics. Proofs as Advanced and Powerful Tools. 2. Languages and Operating Systems. Real Time Programming: Special Purpose or General Purpose Languages. Why Isn't There an Object-Oriented Data Model? Parallelism in Logic Programming. 3. Communication and Distributed Systems. Communication Support for Distributed Systems: OSI Versus Special Protocols. From ISDN to IBCN (Integrated Broadband Communication Network). Network Interconnection and Gateways. 4. Knowledge-Based Systems. Logical Foundations of Deductive Databases. Experiences with Expert Systems. 5. Software Engineering. Effective Industrial Application of Formal Methods. Industrial Strength Software Development Environments. Software Fault Tolerance. 6. Supercomputing. Supercomputing in the 1990's. The Effectiveness of Neural Computing. The Graphics Supercomputer: A New Class of Computer. Supercomputing in Airplane Design. 7. VLSI-CAD for Professionals. Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis. The Evolution of VHDL. Design Method and Tools for Application Specific Integrated Circuits. Advances in VLSI Testing. 8. Office Automation. Can Office Technology Support Office Dialogues? The Future of Office Automation. Object-Oriented Development for Open Systems. 9. Factory Automation. Advanced Design for Automated Manufacture. Production Planning and Scheduling in CIM. Artificial Intelligence and Production Management. 10. Education. Better Tools - Less Education? Impact of Computer Technologies on Education. 11. Computers and Society. Hardware and Software Dependability Evaluation. Developing Competence in a Developing Environment. FRACTALS: A New Challenge to Model Reality. Formal Structures in an Informal World. |
Contents
FUNDAMENTAL TOOLS | 1 |
Engineering for HumanComputer Interaction IFIP WG 2 7 of TC | 2 |
Groupware Technology IFIP WG 8 4 of TC | 8 |
Copyright | |
135 other sections not shown
Other editions - View all
Common terms and phrases
abstract algorithm analysis application approach architecture Artificial Intelligence automated cache communication complexity components Computer Science concurrent constraints data structures database deductive database defined definition denote dependability distributed domain Elsevier Science Publishers environment evaluation example execution expert system fault tolerance formal function graph hardware IEEE IFIP implementation input integration interaction interface ISDN knowledge Kolmogorov complexity language logic programming machine memory methods module N-version N-version programming neural node objects operations optical output parallel parallel computing parameters performance polynomial problem Proc procedure processor Prolog protocol Publishers B.V. North-Holland query random regular language reliability representation requirements result rules scheme Science Publishers B.V. semantics sequence simulation Software Engineering specification strategy switching task models techniques Theorem tion tree update variables VLSI XSCOPE