Enric Morancho, José María Llabería, Àngel Olivé. A Mechanism for Verifying Data Speculation. In Marco Danelutto, Marco Vanneschi, Domenico Laforenza, editors, Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings. Volume 3149 of Lecture Notes in Computer Science, pages 525-534, Springer, 2004. [doi]
Abstract is missing.