Formalising Java's Data Race Free Guarantee.
David AspinallJaroslav SevcíkPublished in: TPHOLs (2007)
Keyphrases
- data sets
- original data
- raw data
- data analysis
- synthetic data
- data collection
- prior knowledge
- experimental data
- application domains
- image data
- spatial data
- real time
- historical data
- complex data
- data distribution
- missing data
- data sources
- decision trees
- database
- lightweight
- input data
- data mining techniques
- object oriented
- knowledge discovery
- end users
- statistical methods
- website
- big data
- machine learning