Enric Morancho José María Llabería Àngel Olivé A Mechanism for Verifying Data Speculation. 525-534 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=525 2004 conf/europar/2004 Euro-Par db/conf/europar/europar2004.html#MoranchoLO04