Logo des Repositoriums

Softwaretechnik-Trends 31(2) - 2011

https://dl.gi.de/handle/20.500.12116/40947
Auflistung nach:

Auflistung Softwaretechnik-Trends 31(2) - 2011 nach Autor:in "Gerlach, Daniel"

1 - 1 von 1
  • Zeitschriftenartikel
    Static Analysis of Predicate-based Synchronisation
    (Softwaretechnik-Trends Band 31, Heft 2, 2011) Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen
    While many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.