. The aim of this conference on parallel computing was to review the progress of research in the field and to discuss the problems which still have to be solved.Parallel Computing 1988 The subjects covered in the conference were: - Experiences with various hardware and system software configurations; - Parallel programming methods and parallel languages; - General purpose mathematical software; - Fluid flow simulation; - Optimisation in logistics applications.
Experiences with Distributed Systems The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und Parallelität" and the European Network Center (ENC) of the IBM Corporation, Heidelberg. The objective of the workshop was to bring together researchers who had gathered substantial experience with the implementation of distributed systems..
These are continuous media and differ from discrete media such as text and graphics in that they have stringent delay and bandwidth requirements. Special operating system support must also be provided to meet the requirements of both discrete and continuous media in future multimedia applications..
This book contains papers based on selected talks presented at the workshop.Recent Trends in Data Type Specification The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.
What is excluded is the treatment of methods designed for problems with a special structure, such as quadratic programming with negatively quadratic forms. Unsophisticated use of local optimization techniques is normally inefficient for solving such problems.
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. ESEC '89 The book is most likely to be of interest to researchers and professionals working in the field of software development.
Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Models: three papers areconcerned with models for concurrent systems.
The theory is illustrated by an example of a watchdog timer. The proof systems are shown to be sound and relatively complete with respect to a denotational semantics of the programming language. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is basedon extended Hoare triples. For both approaches a compositional proof system has been formulated to verify that a program satisfies a specification.
The papers are grouped into parts on: foundations of HCI; techniques, tools and paradigms for interface design; information visualization; empiricalstudies; multimedia; hypertext; customizing interfaces; teaching and learning; applications.Human-Computer Interaction This volume contains a selection of the best papers presented at the conference.. Like its predecessors, it was occasioned by the long separation of workers in HCI from one another and the new opportunity to learn from one another and to start cooperations with each other.