%0 Conference Paper %1 conf/ic-nc/HirasawaTK15 %A Hirasawa, Shoichi %A Takizawa, Hiroyuki %A Kobayashi, Hiroaki %B CANDAR %D 2015 %I IEEE Computer Society %K dblp %P 508-514 %T A Verification Framework for Streamlining Empirical Auto-Tuning. %U http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#HirasawaTK15 %@ 978-1-4673-9797-1

@inproceedings{conf/ic-nc/HirasawaTK15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Hirasawa, Shoichi and Takizawa, Hiroyuki and Kobayashi, Hiroaki}, biburl = {https://www.bibsonomy.org/bibtex/23de4c7ff9c5cacfef71ce32ef23fb9e9/dblp}, booktitle = {CANDAR}, crossref = {conf/ic-nc/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/CANDAR.2015.115}, interhash = {e3f65095b0a494159c5d32bebf567e4e}, intrahash = {3de4c7ff9c5cacfef71ce32ef23fb9e9}, isbn = {978-1-4673-9797-1}, keywords = {dblp}, pages = {508-514}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:34:09.000+0200}, title = {A Verification Framework for Streamlining Empirical Auto-Tuning.}, url = {http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#HirasawaTK15}, year = 2015 }