IBM Symposium: Operating Systems Engineering 1980, Amagi, Japan

@proceedings{DBLP:conf/ibm/1980,
  editor    = {Mamoru Maekawa and
               Laszlo A. Belady},
  title     = {Operating Systems Engineering: Proceedings of the 14th IBM Computer
               SCience Symposium, Amagi, Japan, October 1980},
  booktitle = {Operating Systems Engineering},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {143},
  year      = {1982},
  isbn      = {3-540-11604-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Concurrency control and access control

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

Program behavior and performance models

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

Operating system evolution

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

User Interfaces

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

Distributed operating systems

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

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 BibTeX
• Tadao Saito, Toshihiko Kato, Hiroshi Inose: Product validation for standardized network protocol. 311-330 BibTeX
• Jon Livesey, Eric G. Manning: Protection and synchronisation in a message-switched system. 331-368 BibTeX
• Mohamed G. Gouda, Eric G. Manning, Yao-Tin Yu: On the progress of communication between two machines. 369-389 BibTeX

Development process and tools

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

Data flow machines

• Randal E. Bryant, Jack B. Dennis: Concurrent programming. 426-451 BibTeX
• Arvind, J. Dean Brock: Streams and Managers. 452-465 BibTeX