scholarly journals Transactions in relaxed memory architectures

2018 ◽  
Vol 2 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Brijesh Dongol ◽  
Radha Jagadeesan ◽  
James Riely
Keyword(s):  
Memory Architectures ◽  
Relaxed Memory

Effective Memory Architectures of Multi-Processor Systems-on-Chip

2010 ◽  
Vol 3 (3) ◽  
pp. 218-231
Author(s):  
Ni Zhou ◽  
Fei Qiao ◽  
Huazhong Yang ◽  
Hui Wang
Keyword(s):  
Systems On Chip ◽  
On Chip ◽  
Memory Architectures

Implementing actor-based primitives on distributed-memory architectures

1991 ◽  
Vol 2 (2) ◽  
pp. 45-49 ◽  
Author(s):  
Michele Di Santo ◽  
Giulio Iannello
Keyword(s):  
Distributed Memory ◽  
Memory Architectures

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

scholarly journals Pomsets with preconditions: a simple model of relaxed memory

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Radha Jagadeesan ◽  
Alan Jeffrey ◽  
James Riely
Keyword(s):  
Simple Model ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document