Search for dissertations about: "logical clocks"

Found 3 swedish dissertations containing the words logical clocks.

  2. 1. Synchronization and consistency in concurrent systems

    Author : Anders Gidenstam; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; event ordering; lock-free; memory management; time-stamping system; plausible clocks; non-blocking; logical clocks; synchronization;

    Abstract : 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. READ MORE

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

    Author : Anders Gidenstam; Chalmers tekniska högskola; []
    Keywords : 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.;

    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

  5. 3. Symbolic Supervisory Control of Timed Discrete Event Systems

    Author : Sajed Miremadi; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory Control Theory; Timed Discrete Event Systems; Extended Finite Automata; Binary Decision Diagrams.;

    Abstract : 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). READ MORE