权威例句
Atomizer: a dynamic atomicity checker for ...
A type and effect system for atomicity
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
Atomizer: A dynamic atomicity checker for multithreaded programs
AVIO: detecting atomicity violations via access interleaving invariants
AVIO: detecting atomicity violations via access interleaving invariants
Self-stabilization of dynamic systems assuming only read/write atomicity
Self-stabilization of dynamic systems assuming only read/write atomicity
Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity
Self-stabilization of dynamic systems assuming only read/write atomicity