Ebook: Operating Systems Engineering: Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980

---

Content:
Front Matter....Pages -
Synchronization mechanisms for parallel processing....Pages 1-22
A parallel programming language and description of scheduler....Pages 23-41
Specification of schedulers with algebraic specification techniques....Pages 42-62
Generalized dynamic authorization mechanisms....Pages 63-77
Program behavior and its models....Pages 79-103
CPU scheduling for effective multiprogramming....Pages 104-118
Dynamic tuning of operating systems....Pages 119-142
On pseudo workload for performance measurement of interactive systems....Pages 143-158
Modifiability of large software systems....Pages 159-174
Operating system conceptual model for ease of extension....Pages 175-205
Perspective of OS interface to users....Pages 207-232
Intelligent console a universal user interface of a computer system....Pages 233-250
Structuring distributed programs with control fault detection....Pages 251-269
A distributed operating system for a binary tree multiprocessor....Pages 270-286
Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description-....Pages 287-309
Product validation for standardized network protocol....Pages 311-330
Protection and synchronisation in a message-switched system....Pages 331-368
On the progress of communication between two machines....Pages 369-389
Form transformer -a formalism for office form manipulation-....Pages 391-406
Automated design of concurrent process systems....Pages 407-424
Concurrent programming....Pages 425-451
Streams and managers....Pages 452-465

---

Content:
Front Matter....Pages -
Synchronization mechanisms for parallel processing....Pages 1-22
A parallel programming language and description of scheduler....Pages 23-41
Specification of schedulers with algebraic specification techniques....Pages 42-62
Generalized dynamic authorization mechanisms....Pages 63-77
Program behavior and its models....Pages 79-103
CPU scheduling for effective multiprogramming....Pages 104-118
Dynamic tuning of operating systems....Pages 119-142
On pseudo workload for performance measurement of interactive systems....Pages 143-158
Modifiability of large software systems....Pages 159-174
Operating system conceptual model for ease of extension....Pages 175-205
Perspective of OS interface to users....Pages 207-232
Intelligent console a universal user interface of a computer system....Pages 233-250
Structuring distributed programs with control fault detection....Pages 251-269
A distributed operating system for a binary tree multiprocessor....Pages 270-286
Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description-....Pages 287-309
Product validation for standardized network protocol....Pages 311-330
Protection and synchronisation in a message-switched system....Pages 331-368
On the progress of communication between two machines....Pages 369-389
Form transformer -a formalism for office form manipulation-....Pages 391-406
Automated design of concurrent process systems....Pages 407-424
Concurrent programming....Pages 425-451
Streams and managers....Pages 452-465
....