"DeNovoND: efficient hardware support for disciplined non-determinism."

Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics