Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980.
First Statement of Responsibility
M Maekawa
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
1982
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(x, 470 pages)
SERIES
Series Title
Lecture notes in computer science, 143.
CONTENTS NOTE
Text of Note
Synchronization mechanisms for parallel processing --; A parallel programming language and description of scheduler --; Specification of schedulers with algebraic specification techniques --; Generalized dynamic authorization mechanisms --; Program behavior and its models --; CPU scheduling for effective multiprogramming --; Dynamic tuning of operating systems --; On pseudo workload for performance measurement of interactive systems --; Modifiability of large software systems --; Operating system conceptual model for ease of extension --; Perspective of OS interface to users --; Intelligent console a universal user interface of a computer system --; Structuring distributed programs with control fault detection --; A distributed operating system for a binary tree multiprocessor --; Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description- --; Product validation for standardized network protocol --; Protection and synchronisation in a message-switched system --; On the progress of communication between two machines --; Form transformer -a formalism for office form manipulation- --; Automated design of concurrent process systems --; Concurrent programming --; Streams and managers.