权威例句
Atomizer: a dynamic atomicity checker for ...A type and effect system for atomicityAVIO: Detecting Atomicity Violations via Access-Interleaving InvariantsAtomizer: A dynamic atomicity checker for multithreaded programsAVIO: detecting atomicity violations via access interleaving invariantsAVIO: detecting atomicity violations via access interleaving invariantsSelf-stabilization of dynamic systems assuming only read/write atomicitySelf-stabilization of dynamic systems assuming only read/write atomicityLow-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel AtomicitySelf-stabilization of dynamic systems assuming only read/write atomicity
