default search action
IBM Symposium: Operating Systems Engineering 1980, Amagi, Japan
- Mamoru Maekawa, Laszlo A. Belady:
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
Program behavior and performance models
- 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
Operating system evolution
- Laszlo A. Belady:
Modifiability of large software systems. 160-174 - Mamoru Maekawa:
Operating system conceptual model for ease of extension. 175-205
User Interfaces
- Toru Takeshita:
Perspective of OS interface to users. 208-232 - Itsujiro Arita:
Intelligent console - A universal user interface of a computer system. 233-250
Distributed operating systems
- Michiharu Tsukamoto:
Structuring distributed programs with control fault detection. 252-269 - Yoshizo Takahashi:
A distributed operating system for a binary tree multiprocessor. 270-286
Network operating systems
- 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
Development process and tools
- 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
Data flow machines
- Randal E. Bryant, Jack B. Dennis:
Concurrent programming. 426-451 - Arvind, J. Dean Brock:
Streams and Managers. 452-465
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.