Stem unintrus$ (all stems)
3 papers:
- ASPLOS-2013-HonarmandDTKPP #named #parallel
- Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
- HPCA-2012-QiONMT #hardware #named #symmetry
- Pacman: Tolerating asymmetric data races with unintrusive hardware (SQ, NO, LON, AM, JT), pp. 349–360.
- VDME-1991-1-WingZ #specification
- Unintrusive Ways to Integrate Formal Specifications in Practice (JMW, AMZ), pp. 545–569.