Sökning: "nonblocking"

Hittade 2 avhandlingar innehållade ordet nonblocking.

1. 1. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

   Författare :Hugo Flordal; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

   Sammanfattning : 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. LÄS MER

3. 2. Algorithms for synchronization and consistency in concurrent system services

   Författare :Anders Gidenstam; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; threading; plausible clocks; memory management; event ordering; lock-free; optimistic causal order; nonblocking; group communication; synchronization; memory reclamation; time stamping system; logical clocks; atomic registers.;

   Sammanfattning : 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. LÄS MER