Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1982

Operating Systems Engineering

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

Editors:

  1. Mamoru Maekawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laszio A. Belady
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 143)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    PDF

  3. A parallel programming language and description of scheduler

    • Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma
    Pages 23-41

  4. Specification of schedulers with algebraic specification techniques

    • Kouichi Wada, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura
    Pages 42-62

  5. Generalized dynamic authorization mechanisms

    • Yahiko Kambayashi
    Pages 63-77

  6. Program behavior and its models

    • Takashi Masuda, Tong-Haing Fin
    Pages 79-103

  8. Dynamic tuning of operating systems

    • Chiaki Ishikawa, Ken Sakamura, Mamoru Maekawa
    Pages 119-142

  9. On pseudo workload for performance measurement of interactive systems

    • Masatoshi Miyazaki, Shigeru Matsuzawa, Seiziro Obata, Shoichi Noguchi
    Pages 143-158

  10. Modifiability of large software systems

    • L. A. Belady
    Pages 159-174

  12. Perspective of OS interface to users

    • Toru Takeshita
    Pages 207-232

  16. Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description-

    • Katsuo Ikeda, Michihiro Ishizaka, Tomoo Nakamura, Yoshihiko Ebihara, Takao Fujima, Kazuhiko Nakayama
    Pages 287-309

  17. Product validation for standardized network protocol

    • Tadao Saito, Toshihiko Kato, Hiroshi Inose
    Pages 311-330

  18. Protection and synchronisation in a message-switched system

    • Jon Livesey, Eric Manning
    Pages 331-368

  19. On the progress of communication between two machines

    • M. G. Gouda, E. G. Manning, Y. T. Yu
    Pages 369-389

  20. Form transformer -a formalism for office form manipulation-

    • Hiroyuki Kitagawa, Tosiyasu L. Kunii
    Pages 391-406
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Operating Systems Engineering

  • Book Subtitle: Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

  • Editors: Mamoru Maekawa, Laszio A. Belady

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-11604-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11604-2Published: 01 September 1982

  • eBook ISBN: 978-3-540-39424-2Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 470

  • Topics: Operating Systems

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation