Michael D. Moffitt, Gernot E. Günther. Scalable Scheduling for Hardware-Accelerated Functional Verification. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011. AAAI, 2011. [doi]
@inproceedings{MoffittG11,
title = {Scalable Scheduling for Hardware-Accelerated Functional Verification},
author = {Michael D. Moffitt and Gernot E. Günther},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2510},
tags = {e-science},
researchr = {https://researchr.org/publication/MoffittG11},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011},
editor = {Fahiem Bacchus and Carmel Domshlak and Stefan Edelkamp and Malte Helmert},
publisher = {AAAI},
}