Partial-Coherence Abstractions for Relaxed Memory Models

ACM SIGPLAN Notices
doi 10.1145/1993316.1993521
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Dynamic Synthesis for Relaxed Memory Models

2012English

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Abstractions and Idealizations in Normative Models

Siberian Journal of Philosophy
2018English

Abstractions for Network Update

2012English

Derivation of Rigid Body Analysis Models From Vehicle Architecture Abstractions

2011English

Abstractions for Mobile Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Partial Rodent Genetic Models for Bipolar Disorder

Current Topics in Behavioral Neurosciences
Behavioral Neuroscience
2010English

Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence

ACM SIGPLAN Notices
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy