Sciweavers

Share ➚
RV   2010 International Workshop on Runtime Verification
Wall of Fame | Most Viewed RV-2010 Paper
RV
2010
Springer
74views Hardware» more  RV 2010»
Runtime Verification for Software Transactional Memories
1 years 3 months ago
Runtime Verification for Software Transactional Memories
Download  pub.ist.ac.at
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
Vasu Singh
claim paper
Read More »
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source74
Runtime Verification for Software Transactional Memories
claim
2Download preprint from source66
Efficient Data Race Detection for Async-Finish Parallelism
claim
3Download preprint from source65
StealthWorks: Emulating Memory Errors
claim
4Download preprint from source64
LarvaStat: Monitoring of Statistical Properties
claim
5Download preprint from source64
Recovery Tasks: An Automated Approach to Failure Recovery
claim
6Download preprint from source63
Compensation-Aware Runtime Monitoring
claim
7Download preprint from source61
Copilot: A Hard Real-Time Runtime Monitor
claim
8Download preprint from source59
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
claim
9Download preprint from source58
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
claim
10Download preprint from source58
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
claim
11Download preprint from source57
Run-Time Verification of Networked Software
claim
12Download preprint from source55
Aspect-Oriented Instrumentation with GCC
claim
13Download preprint from source53
Runtime Verification with the RV System
claim
14Download preprint from source52
Reducing Configurations to Monitor in a Software Product Line
claim
15Download preprint from source50
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs
claim
16Download preprint from source42
You Should Better Enforce Than Verify
claim
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books