Static Analysis of Predicate-based Synchronisation

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Prokharau, M., Gerlach, D. & Keul, S., (2011). Static Analysis of Predicate-based Synchronisation.   Softwaretechnik-Trends Band 31, Heft 2. Bonn: Geselllschaft für Informatik e.V..
@inproceedings{mci/Prokharau2011,
author = {Prokharau, Mikhail AND Gerlach, Daniel AND Keul, Steffen},
title = {Static Analysis of Predicate-based Synchronisation},
booktitle = {Softwaretechnik-Trends Band 31, Heft 2},
year = {2011},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
08-prokharau.pdf76.26Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2011
Sprache: en (en)
Typ: Journal Articles
Sammlungen

Zur Langanzeige