Sökning: "Robert Markovski"

Hittade 2 uppsatser innehållade orden Robert Markovski.

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

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Robert Markovski; [2021]
   Nyckelord :;

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

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

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Robert Markovski; [2017]
   Nyckelord :;

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