Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
On the membership and correctness problem for state serializability and value op[...]
Proofs for membership:OP
Abstract
Zusammenfassung
Introduction
Basics of STMs and Correctness Conditions
Transactional Memory
Correctness Conditions
Basic Notation and Terms
Membership Problem
Related Work
The Membership Problem for Value Opacity is NP-Complete
Comparison of Conflict Opacity and Value Opacity
Correctness Problem
Related Work
The Correctness Problem for SSR- Is Decidable
The Correctness Problem for OP- Is Decidable
Discussion + Conclusion
Summary
Discussion and Future Work
Proofs for membership:OP
Proofs for correctness:ssr
Proofs for correctness:OP
Dissertation
On the membership and correctness problem for state serializability and value opacity / vorgelegt von Jürgen König, M.Sc.
Entstehung
Paderborn
2023
JPEG-Download
verfügbare Breiten
JPEG groß
JPEG original
Seiten an
Seiten aus
