Sökning: "logical clocks"
Hittade 3 avhandlingar innehållade orden logical clocks.
1. Synchronization and consistency in concurrent systems
Sammanfattning : This thesis investigates aspects of synchronization and coordination in concurrent systems. In such systems synchronization and coordination are highly important as they form a basis for how a set of entities can collaborate to solve a task. LÄS MER
2. Algorithms for synchronization and consistency in concurrent system services
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
3. Symbolic Supervisory Control of Timed Discrete Event Systems
Sammanfattning : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). LÄS MER