Essays about: "Robert Markovski"

Found 2 essays containing the words Robert Markovski.

  1. 1. Applying Stateless Model Checking to Work-Stealing libraries

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Robert Markovski; [2021]
    Keywords : ;

    Abstract : Software verification by testing does not always detect concurrency errors. Software verification by Stateless Model Checking searches the state space more systematically than testing and can therefore detect concurrency errors which may not be found by testing alone. READ MORE

  3. 2. A Source-to-Source Transformerfor QD-locking

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Robert Markovski; [2017]
    Keywords : ;

    Abstract : Locking is a common method of synchronization in parallel programming. Delegation locking is a form of locking where in threads may, under the right circumstances,delegate critical sections to be executed by another thread instead of waiting for the lock. READ MORE