Operating Systems Engineering

Inhaltsverzeichnis

• 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.