Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018
Latest Publications

TOTAL DOCUMENTS

2

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By ACM Press

9781450358132

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

HELIX: a case study of a formal verification of high performance program generation

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 ◽

10.1145/3264738.3264739 ◽

2018 ◽

Author(s):

Vadim Zaliva ◽

Franz Franchetti

Keyword(s):

Formal Verification ◽

High Performance ◽

Program Generation

Download Full-text

Modular acceleration: tricky cases of functional high-performance computing

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 ◽

10.1145/3264738.3264740 ◽

2018 ◽

Author(s):

Troels Henriksen ◽

Martin Elsman ◽

Cosmin E. Oancea

Keyword(s):

High Performance Computing ◽

High Performance ◽

Performance Computing

Download Full-text