"SableSpMT: a software framework for analysing speculative multithreading ..."

Christopher J. F. Pickett, Clark Verbrugge (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics