Verified Compilation and Optimization of Floating-point Kernels

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

前へ次へ / 240

Verified Compilation and Optimization of Floating-point Kernels

Becker, H. (2022). Verified Compilation and Optimization of Floating-point Kernels. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/21.11116/0000-000C-AB3E-F 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000C-AB3F-E

資料種別: 学位論文

表示:

非表示:

作成者:
Becker, Heiko¹, 著者
Darulova, Eva¹, 学位論文主査
Myreen, Magnus O.², 監修者
Hack, Sebastian², 監修者
Norrish, Michael², 監修者

所属:
1Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697
2External Organizations, ou_persistent22

非表示:

言語: eng - English

日付: 受理: 2022-12-14オンライン出版: 2023出版: 2022

出版の状態: 出版

ページ: XIII, 131 p.

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: BibTex参照ID: Becker_PhD2022
URN: urn:nbn:de:bsz:291--ds-386888
DOI: 10.22028/D291-38688
その他: hdl:20.500.11880/34919

学位: 博士号 (PhD)