Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/hotos/LepersZLPGSLM17
%A Lepers, Baptiste
%A Zwaenepoel, Willy
%A Lozi, Jean-Pierre
%A Palix, Nicolas
%A Gouicem, Redha
%A Sopena, Julien
%A Lawall, Julia
%A Muller, Gilles
%B HotOS
%D 2017
%E Fedorova, Alexandra
%E Warfield, Andrew
%E Beschastnikh, Ivan
%E Agarwal, Rachit
%I ACM
%K dblp
%P 18-23
%T Towards Proving Optimistic Multicore Schedulers.
%U http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#LepersZLPGSLM17
%@ 978-1-4503-5068-6
@inproceedings{conf/hotos/LepersZLPGSLM17,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Lepers, Baptiste and Zwaenepoel, Willy and Lozi, Jean-Pierre and Palix, Nicolas and Gouicem, Redha and Sopena, Julien and Lawall, Julia and Muller, Gilles},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d3ceddfefc30e650bc4d4770f34b3fdd/dblp},
booktitle = {HotOS},
crossref = {conf/hotos/2017},
editor = {Fedorova, Alexandra and Warfield, Andrew and Beschastnikh, Ivan and Agarwal, Rachit},
ee = {https://doi.org/10.1145/3102980.3102984},
interhash = {f40a0d3077dd7027319dd0ae8add72be},
intrahash = {d3ceddfefc30e650bc4d4770f34b3fdd},
isbn = {978-1-4503-5068-6},
keywords = {dblp},
pages = {18-23},
publisher = {ACM},
timestamp = {2019-09-27T18:39:19.000+0200},
title = {Towards Proving Optimistic Multicore Schedulers.},
url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#LepersZLPGSLM17},
year = 2017
}