Formal Analysis of Memory Contention in a Multiprocessor System.

Liya Liu Osman Hasan Sofiène Tahar

Published in: SBMF (2013)

Keyphrases

formal analysis
formal methods
database machines
memory requirements
memory usage
agent model
multithreading
main memory
scheduling algorithm
multiprocessor systems
ban logic
machine learning
artificial intelligence
cost effective
optimal assignment
level parallelism