<電子ブック>
Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980 / edited by M. Maekawa, L.A. Belady
(Lecture Notes in Computer Science. ISSN:16113349 ; 143)
版 | 1st ed. 1982. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1982 |
本文言語 | 英語 |
大きさ | X, 470 p : online resource |
著者標目 | Maekawa, M editor Belady, L.A editor SpringerLink (Online service) |
件 名 | LCSH:Operating systems (Computers) FREE:Operating Systems |
一般注記 | Synchronization mechanisms for parallel processing -- A parallel programming language and description of scheduler -- Specification of schedulers with algebraic specification techniques -- Generalized dynamic authorization mechanisms -- Program behavior and its models -- CPU scheduling for effective multiprogramming -- Dynamic tuning of operating systems -- On pseudo workload for performance measurement of interactive systems -- Modifiability of large software systems -- Operating system conceptual model for ease of extension -- Perspective of OS interface to users -- Intelligent console a universal user interface of a computer system -- Structuring distributed programs with control fault detection -- A distributed operating system for a binary tree multiprocessor -- Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description- -- Product validation for standardized network protocol -- Protection and synchronisation in a message-switched system -- On the progress of communication between two machines -- Form transformer -a formalism for office form manipulation- -- Automated design of concurrent process systems -- Concurrent programming -- Streams and managers HTTP:URL=https://doi.org/10.1007/3-540-11604-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540394242 |
|
電子リソース |
|
EB00225005 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.76.O63 DC23:005.43 |
書誌ID | 4001088814 |
ISBN | 9783540394242 |