Sökning: "Viktor Vafeiadis"

Hittade 2 avhandlingar innehållade orden Viktor Vafeiadis.

1. 1. Verification of Software under Relaxed Memory

   Författare :Carl Leonardsson; Bengt Jonsson; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Viktor Vafeiadis; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; verification; relaxed memory models; Datavetenskap; Computer Science;

   Sammanfattning : The work covered in this thesis concerns automatic analysis of correctness of parallel programs running under relaxed memory models.When a parallel program is compiled and executed on a modern architecture, various optimizations may cause it to behave in unexpected ways. LÄS MER

3. 2. Model Checking of Software Systems under Weak Memory Models

   Författare :Tuan-Phong Ngo; Mohamed Faouzi Atig; Parosh Aziz Abdulla; Philipp Rümmer; Viktor Vafeiadis; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model checking; Concurrent program; Weak memory model; Computer Science; Datavetenskap;

   Sammanfattning : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. LÄS MER