Login / Signup
Towards Proving Optimistic Multicore Schedulers.
Baptiste Lepers
Willy Zwaenepoel
Jean-Pierre Lozi
Nicolas Palix
Redha Gouicem
Julien Sopena
Julia Lawall
Gilles Muller
Published in:
HotOS (2017)
Keyphrases
</>
scheduling algorithm
shared memory
level parallelism
decision making
grid computing
cell processor
data sets
search engine
multiscale
multi agent
parallel processing
message passing
computing power
parallel programming
memory management