Sciweavers

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

25

RV
2009
Springer

favoriteEmaildiscussreport

84views Hardware» more RV 2009»

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

14 years 2 days ago

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

Download www.fit.vutbr.cz

Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinde

Real-time Traffic

RV 2009 |

claim paper

Related Content

» TimeStamping Algorithms for Parallelization of Loops at RunTime

» Dynamically Checking Ownership Policies in Concurrent CC Programs

» HAVE Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

» Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

» Parametric and Sliced Causality

» Falcon Online monitoring for steering parallel programs

» A case for unlimited watchpoints

» Atomizer a dynamic atomicity checker for multithreaded programs

» Performance analysis framework for large softwareintensive systems with a message passing ...

Post Info
More Details (n/a)

Added	27 Jul 2010
Updated	27 Jul 2010
Type	Conference
Year	2009
Where	RV
Authors	Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar

Comments (0)