---

＜電子ブック＞
Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980 / edited by M. Maekawa, L.A. Belady
(Lecture Notes in Computer Science. ISSN:16113349 ; 143)

版	1st ed. 1982.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1982
本文言語	英語
大きさ	X, 470 p : online resource
著者標目	Maekawa, M editor Belady, L.A editor SpringerLink (Online service)
件　名	LCSH:Operating systems (Computers) FREE:Operating Systems
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-11604-4

 類似資料