Amanote Research
Register
Sign In
Towards Proving Optimistic Multicore Schedulers
doi 10.1145/3102980.3102984
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2017
Authors
Baptiste Lepers
Willy Zwaenepoel
Jean-Pierre Lozi
Nicolas Palix
Redha Gouicem
Julien Sopena
Julia Lawall
Gilles Muller
Publisher
ACM Press