Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sullivan, Michael J."'
Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence of modern relaxed-memory multi-processor architectures and optimizing compilers. In RMC, th
Externí odkaz:
http://arxiv.org/abs/1904.05389