×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [atomicity violation]
Concurrent Predicates: A Debugging Technique for Every Parallel Programmer PACT 13 Justin Gottschlich Gilles Pokam Cristiano Pereira Youfeng Wu Intel Corporation
217 views
Transactional Memory Parag Dixit Bruno Vavala Computer Architecture Course, 2012
219 views
Falcon: Fault Localization in Concurrent Programs
912 views
An Case for an Interleaving Constrained Shared-Memory Multi-Processor Jie Yu and Satish Narayanasamy University of Michigan
230 views
DYNAMIC ANALYSES FOR DATA RACE DETECTION John Erickson Microsoft Stephen Freund Williams College Madan Musuvathi Microsoft Research
215 views
S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, B. Calder UCSD and Microsoft PLDI 2007
216 views
Peng Liu and Charles Zhang Prism Research Group Department of Computer Science and Engineering Hong Kong University of Science and Technology 1
221 views
November 2005Scott Stoller, Stony Brook University1 Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring Rahul Agarwal, Liqiang Wang,
215 views
Atom-Aid: Detecting and Surviving Atomicity Violations
35 views
A Logic of Secure Systems and its Application to Trusted Computing
25 views
DoubleChecker: Efficient Sound and Precise Atomicity Checking
55 views