Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Data Races
biblio
VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector
Submitted by grigby1 on Thu, 12/05/2019 - 10:52am
clean slate
collaboration
Concurrency
Data Races
dynamic analysis
Human behavior
Human Factors
Metrics
Policy
Policy Based Governance
policy governance
pubcrawl
resilience
Resiliency
biblio
Lightweight Data Race Detection for Production Runs
Submitted by grigby1 on Wed, 11/28/2018 - 2:08pm
composability
cyber physical systems
Data Races
dynamic analysis
escape analysis
False Data Detection
Human behavior
pubcrawl
resilience
Resiliency
sampling
file
Yu_SimRT_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:44pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:43pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
CMU
July'14
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Anonymous on Fri, 10/24/2014 - 12:51pm
Concurrency
Data Races
Kernels
processes
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
SoS Lablet
testing
Race Vulnerability Study and Hybrid Race Detection
