Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract).
Phillip B. GibbonsMichael MerrittKourosh GharachorlooPublished in: SPAA (1991)
Keyphrases
- extended abstract
- associative memory
- data intensive
- global constraints
- high efficiency
- real time
- cost function
- small sized
- consistency checking
- consistency constraints
- data management
- artificial neural networks
- data structure
- multi agent
- multiscale
- database systems
- artificial intelligence
- machine learning
- neural network