Herding cats: modelling, simulation, testing, and data-mining for weak memory.
Jade AlglaveLuc MarangetMichael TautschnigPublished in: PLDI (2014)
Keyphrases
- data mining
- knowledge discovery
- simulation model
- data mining techniques
- data mining algorithms
- memory usage
- memory requirements
- mathematical model
- simulation environment
- machine learning
- association rule mining
- data sets
- test data
- text mining
- data mining applications
- multi agent
- computational power
- random access
- memory management