High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles.

S. Tucker Taft Florian Schanda Yannick Moy

Published in: HASE (2016)

Keyphrases

data sets
high quality
synthetic data
data collection
database
data processing
data objects
original data
raw data
input data
knowledge discovery
data sources
training data
end users
computer systems
detection method
xml documents
sensor data
data distribution
detection rate
data analysis
data structure
data integrity