Sciweavers

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

27

TACAS
2009
Springer

favoriteEmaildiscussreport

111views Algorithms» more TACAS 2009»

The Complexity of Predicting Atomicity Violations

14 years 5 months ago

The Complexity of Predicting Atomicity Violations

Download www.cs.uiuc.edu

Azadeh Farzan, P. Madhusudan

Real-time Traffic

Algorithms | TACAS 2009 |

claim paper

Related Content

» TraceBased Symbolic Analysis for Atomicity Violations

» Metaanalysis for Atomicity Violations under Nested Locking

» Decentralized runtime analysis of multithreaded applications

» Complexity Assumptions in Ontology Verbalisation

» ASPDock proteinprotein docking algorithm using atomic solvation parameters model

» CalFuzzer An Extensible Active Testing Framework for Concurrent Programs

» jPredictor a predictive runtime analysis tool for java

» Intermediate checkpointing with conflicting access prediction in transactional memory syst...

» Proactive identification of performance problems

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	TACAS
Authors	Azadeh Farzan, P. Madhusudan

Comments (0)