Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: An operational happens-before memory model
the java memory model : operationally , denotationally , axiomatically .
Citadel: Efficiently Protecting Stacked Memory from Large Granularity Failures
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification
Transactional Memory Coherence and Consistency
Relaxed Concurrency Control in Software Transactional Memory
Makalu: fast recoverable allocation of non-volatile memory
ECC Parity: A Technique for Efficient Memory Error Resilience for Multi-Channel Memory Systems
Page placement in hybrid memory systems
A Scalable Dual-Clock FIFO for Data Transfers Between Arbitrary and Haltable Clock Domains
Caching Algorithms and Rational Models of Memory
Making the java memory model safe
CODOMs: protecting software with code-centric memory domains
Cache-Conscious Concurrency Control of Main-Memory Indexes on Shared-Memory Multiprocessor Systems
ERUCA: Efficient DRAM Resource Utilization and Resource Conflict Avoidance for Memory System Parallelism
Memory access scheduling
Cache Coherence Protocol and Memory Performance of the Intel Haswell-EP Architecture
Formal memory models for verifying C systems code
A really abstract concurrent model and its temporal logic
Memory access buffering in multiprocessors
Multiversion concurrency controltheory and algorithms
A Convolutional Neural Network Approach for Half-Pel Interpolation in Video Coding
successful entrepreneurs minimize risk .
WFID: Passive Device-free Human Identification Using WiFi Signal
Categories for the working mathematician: making the impossible possible
Developing and Examining a Model of Perceived Quality , Perceived Value and Perceived Risk Affecting Customer Loyalty of Environmentally-Friendly Electronic Products