Operating Systems Engineering Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

Bibliographic Details
Other Authors: Maekawa, M. (Editor), Belady, L.A. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1982, 1982
Edition:1st ed. 1982
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02258nmm a2200277 u 4500
001 EB000655108
003 EBX01000000000000000508190
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540394242 
100 1 |a Maekawa, M.  |e [editor] 
245 0 0 |a Operating Systems Engineering  |h Elektronische Ressource  |b Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980  |c edited by M. Maekawa, L.A. Belady 
250 |a 1st ed. 1982 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1982, 1982 
300 |a X, 470 p  |b online resource 
505 0 |a 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 
653 |a Operating Systems 
653 |a Operating systems (Computers) 
700 1 |a Belady, L.A.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/3-540-11604-4 
856 4 0 |u https://doi.org/10.1007/3-540-11604-4?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.43