Search for dissertations about: "nonblocking"
Found 2 swedish dissertations containing the word nonblocking.
-
1. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies
Abstract : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. READ MORE
-
2. Algorithms for synchronization and consistency in concurrent system services
Abstract : Synchronization, consistency and scalability are important issues in the design of concurrent computer system services. In this thesis we study the application of optimistic and scalable methods in concurrent system services. READ MORE
Result pages:
1