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

last updated on Sat May 18 04:59:22 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page