Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

EUROPAR
2004
Springer

favoriteEmaildiscussreport

77views Distributed And Parallel Com...» more EUROPAR 2004»

A Mechanism for Verifying Data Speculation

13 years 9 months ago

A Mechanism for Verifying Data Speculation

Download personals.ac.upc.edu

Enric Morancho, José María Llaber&ia

Real-time Traffic

EUROPAR 2004 |

claim paper

Related Content

» Copy or Discard execution model for speculative parallelization on multicores

» A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Mot...

» ReEnact Using ThreadLevel Speculation Mechanisms to Debug Data Races in Multithreaded Code...

» Comprehensive Evaluation of an Instruction Reissue Mechanism

» Confidence Estimation for Speculation Control

» A Mechanism for Speculative Memory Accesses Following Synchronizing Operations

» From Speculation to Security Practical and Efficient Information Flow Tracking Using Specu...

» Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

» Tolerating Dependences Between Large Speculative Threads Via SubThreads

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	EUROPAR
Authors	Enric Morancho, José María Llabería, Àngel Olivé

Comments (0)