On abstraction and compositionality for weak-memory linearisability.
Brijesh DongolRadha JagadeesanJames RielyAlasdair ArmstrongPublished in: VMCAI (2018)
Keyphrases
- computing power
- high level
- memory capacity
- memory space
- memory requirements
- decision theoretic planning
- low memory
- website
- main memory
- expert systems
- memory management
- memory usage
- computational power
- mobile robot
- real world
- multi agent systems
- multiscale
- bayesian networks
- case study
- decision trees
- multimedia
- feature selection
- search engine
- learning algorithm