Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Kuperstein
Partial-Coherence Abstractions for Relaxed Memory Models
ACM SIGPLAN Notices
Related publications
Dynamic Synthesis for Relaxed Memory Models
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstractions and Idealizations in Normative Models
Siberian Journal of Philosophy
Abstractions for Network Update
Derivation of Rigid Body Analysis Models From Vehicle Architecture Abstractions
Abstractions for Mobile Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Rodent Genetic Models for Bipolar Disorder
Current Topics in Behavioral Neurosciences
Behavioral Neuroscience
Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
ACM SIGPLAN Notices
