TY - BOOK AU - Maekawa,Mamoru AU - Belady,Laszio A. ED - SpringerLink (Online service) TI - Operating Systems Engineering: Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980 T2 - Lecture Notes in Computer Science, SN - 9783540394242 AV - QA76.76.O63 U1 - 005.43 23 PY - 1982/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Operating systems (Computers) KW - Computer Science KW - Operating Systems N1 - 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 UR - http://dx.doi.org/10.1007/3-540-11604-4 ER -