发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 7th ACM SIGPLAN International Workshop - St. Louis, MO, USA (2018.09.29-2018.09.29)] Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 - HELIX: a case study of a formal verification of high performance program generation

[ACM Press the 7th ACM SIGPLAN International Workshop - St. Louis, MO, USA (2018.09.29-2018.09.29)] Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 - HELIX: a case study of a formal verification of high performance program generation

Zaliva, Vadim; Franchetti, Franz

作者Zaliva, Vadim; Franchetti, Franz
文件大小863.85KB
发表时间2018
DOI10.1145/3264738.3264739
页码1-9

← 返回【学霸图书馆】主页