×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [concurrency bugs]
Home >
concurrency bugs
Java concurrency
1.732 views
David Gay, Intel Research Berkeley with Phil Levis, Vlado Handziski, Jonathan Hui, Jan-Hinrich Hauer, Ben Greenstein, Martin Turon, Kevin Klues, Cory Sharp,
213 views
Indic threads pune12-typesafe stack software development on the jvm
562 views
Concurrency patterns
346 views
Rustv2
83 views
Effective Static Deadlock Detection Mayur Naik, Chang-Seo Park, Koushik Sen and David Gay ICSE’09 Presented by Alex Kogan 27.04.2014.
220 views
An Case for an Interleaving Constrained Shared-Memory Multi-Processor Jie Yu and Satish Narayanasamy University of Michigan.
224 views
Research Heaven, West Virginia 1 Static Analysis of Software for Autonomous Spacecrafts Supratik Mukhopadhyay
[email protected]
Research Heaven, West.
219 views
1 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan Joint work with Salman Pervez, Michael DeLisi Sarvani Vakkalanka, Subodh Sharma,
213 views
Learning from Mistakes – Real World Concurrency Bug Characteristics
23 views
Model Checking of Robotic Control Systems
44 views
Static Race Detection Nov 19, 2012 CS 8803 FPL. The Hardware Concurrency Revolution Clock speeds have peaked But #transistors continues to grow exponentially.
214 views
Next >