A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select

Probabilistic-Write/Copy-Select (PWCS) is a novel synchronization scheme suggested by Nicholas Mc Guire which avoids expensive atomic operations for synchronizing access to shared objects. Instead, PWCS makes inconsistencies detectable and recoverable. It builds on the assumption that, for typical w...

Full description

Bibliographic Details
Main Authors: Baier, Christel, Engel, Benjamin, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Other Authors: Technische Universität Dresden, Sonderforschungsbereich 912
Format: Others
Language:English
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2013
Subjects:
Probabilistisches Modell
Synchronisation
Sonderforschungsbereich 912
Hochadaptive Energieeffiziente Systeme
Probabilistic model checking
synchronization
Collaborative Research Centre 912
Highly Adaptive Energy-Efficient Computing
ddc:004
rvk:ST 230
Online Access:http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917
http://www.qucosa.de/fileadmin/data/qucosa/documents/12991/nfm2013.pdf

Internet

http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917
http://www.qucosa.de/fileadmin/data/qucosa/documents/12991/nfm2013.pdf

Similar Items