IBM Symposium: Operating Systems Engineering 1980, Amagi, Japan

Mamoru Maekawa, Laszlo A. Belady (Eds.): Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980. Lecture Notes in Computer Science 143 Springer 1982, ISBN 3-540-11604-4

Concurrency control and access control

Nobuo Saito:
Synchronization mechanisms for parallel processing. 2-22
Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma:
A parallel programming language and description of scheduler. 23-41
Kouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura:
Specification of schedulers with algebraic specification techniques. 42-62
Yahiko Kambayashi:
Generalized dynamic authorization mechanisms. 63-77

Takashi Masuda, Tong-Haing Fin:
Program behavior and its models. 80-103
Hisao Kameda:
CPU scheduling for effective multiprogramming. 104-118
Chiaki Ishikawa, Ken Sakamura, Mamoru Maekawa:
Dynamic Tuning of operating systems. 119-142
Masatoshi Miyazaki, Shigeru Matsuzawa, Seiziro Obata, Shoichi Noguchi:
On Pseudo Workload for performance measurement of interactive systems. 143-158

Laszlo A. Belady:
Modifiability of large software systems. 160-174
Mamoru Maekawa:
Operating system conceptual model for ease of extension. 175-205

Toru Takeshita:
Perspective of OS interface to users. 208-232
Itsujiro Arita:
Intelligent console - A universal user interface of a computer system. 233-250

Michiharu Tsukamoto:
Structuring distributed programs with control fault detection. 252-269
Yoshizo Takahashi:
A distributed operating system for a binary tree multiprocessor. 270-286

Katsuo Ikeda, Yoshihiko Ebihara, Michihiro Ishizaka, Takao Fujima, Tomoo Nakamura, Kazuhiko Nakayama:
GAMMA - NET: Computer network coupled by 100 MBPS Optical Fiber Ring Bus - system planning and Ring Bus subsystem description. 288-309
Tadao Saito, Toshihiko Kato, Hiroshi Inose:
Product validation for standardized network protocol. 311-330
Jon Livesey, Eric G. Manning:
Protection and synchronisation in a message-switched system. 331-368
Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu:
On the progress of communication between two machines. 369-389

Hiroyuki Kitagawa, Tosiyasu L. Kunii:
Form transformer - A formalism for Office form manipulation. 392-406
Toyohiko Hirota, Koichi Tabata, Yutaka Ohno:
Automated design of concurrent process systems. 407-424