Towards understanding the costs of avoiding out-of-thin-air results
P Ou, B Demsky - Proceedings of the ACM on Programming Languages, 2018 - dl.acm.org
Eliminating so-called “out-of-thin-air”(OOTA) results is an open problem with many existing
programming language memory models including Java, C, and C++. OOTA behaviors are …
programming language memory models including Java, C, and C++. OOTA behaviors are …
Java memory model-aware model checking
H Jin, T Yavuz-Kahveci, BA Sanders - … for the Construction and Analysis of …, 2012 - Springer
The Java memory model guarantees sequentially consistent behavior only for programs that
are data race free. Legal executions of programs with data races may be sequentially …
are data race free. Legal executions of programs with data races may be sequentially …
[HTML][HTML] Proving properties of the Chord protocol using the ASM formalism
This paper describes the overlay protocol Chord using the formalism of Abstract State
Machines. The formalization concerns Chord actions that maintain ring topology and …
Machines. The formalization concerns Chord actions that maintain ring topology and …
Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications
B Marinković - Универзитет у Новом Саду, 2014 - nardus.mpn.gov.rs
Doktorska disertacija se bavi temama vezanim za prekrivajuće mreže, njihovom definicijom,
formalizacijom i primenama. Dati su opisi Chord i Synapse protokola korišćenjem ASM …
formalizacijom i primenama. Dati su opisi Chord i Synapse protokola korišćenjem ASM …
Description of the Chord Protocol using ASMs Formalism
This paper describes the overlay protocol Chord using the formalism of Abstract State
Machines. The formalization concerns Chord actions that maintain ring topology and …
Machines. The formalization concerns Chord actions that maintain ring topology and …
[图书][B] An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results
P Ou - 2018 - search.proquest.com
Eliminating so-called" out-of-thin-air"(OOTA) results is an open problem in many existing
programming language memory models including Java, C, and C++. OOTA behaviors are …
programming language memory models including Java, C, and C++. OOTA behaviors are …
[PDF][PDF] Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview
P Glavan, B Marinkovic… - Logic and Applications LAP …, 2017 - imft.ftn.uns.ac.rs
Our aim is to describe how to use Abstract State Machine (ASM)[5, 9, 10] in specification of
Peer-to-Peer protocols, with special emphasis to Chord and Synapse protocol. We will also …
Peer-to-Peer protocols, with special emphasis to Chord and Synapse protocol. We will also …