A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems.
Alexander LindenPierre WolperPublished in: TACAS (2013)
Keyphrases
- distributed shared memory
- real time
- computing power
- knowledge based systems
- distributed systems
- main memory
- database
- state information
- limited memory
- formal methods
- particle swarm optimization
- optimization algorithm
- ant colony optimization
- retrieval systems
- artificial neural networks
- computational power
- memory usage
- information processing
- data sets
- building blocks
- memory management
- computational complexity