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
Related search
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Towards Effective Automatic Parallelization for Multicore Systems
2008 IEEE International Symposium on Parallel and Distributed Processing
Intelligent Adaptive Schedulers for Railways
International Journal of Transport Development and Integration
Automotive Engineering
Civil
Transportation
Structural Engineering
Ecology, the Optimistic Science
Frontiers in Ecology and the Environment
Evolution
Ecology
Systematics
Behavior
Optimistic Transactional Boosting
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
An Optimistic View
The Annals of Iowa
Monitoring Optimistic Agents
Journal of Economic Psychology
Sociology
Economics
Applied Psychology
Econometrics
Political Science
Optimistic Concurrency With OPTIK
ACM SIGPLAN Notices
Computer Science
Optimistic Suburbia, Building an Heritage
Joelho: Revista de Cultura Arquitectonica
