TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.
Sudheendra HangalDurgam VahiaChaiyasit ManovitJuin-Yeu Joseph LuSridhar NarayananPublished in: ISCA (2004)
Keyphrases
- management system
- computational model
- mathematical model
- expert systems
- probability distribution
- theoretical framework
- statistical model
- memory space
- information systems
- random access
- finite state machines
- formal model
- experimental data
- parameter estimation
- distributed systems
- probabilistic model
- cost function
- knowledge base