Operating Systems Engineering [electronic resource] : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980 /

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.

Bibliographic Details

Main Authors:	Maekawa, Mamoru. editor., Belady, Laszio A. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1982
Subjects:	Computer science., Operating systems (Computers)., Computer Science., Operating Systems.,
Online Access:	http://dx.doi.org/10.1007/3-540-11604-4
Tags:	Add Tag No Tags, Be the first to tag this record!