| |
Elsman, Martin
|
FHPC '18: "Modular Acceleration: Tricky ..."
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
@InProceedings{FHPC18p13,
author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea},
title = {Modular Acceleration: Tricky Cases of Functional High-Performance Computing},
booktitle = {Proc.\ FHPC},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3264738.3264740},
year = {2018},
}
 Publisher's Version
|
| |
Franchetti, Franz
|
FHPC '18: "HELIX: A Case Study of a Formal ..."
HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Vadim Zaliva and Franz Franchetti
(Carnegie Mellon University, USA)
@InProceedings{FHPC18p1,
author = {Vadim Zaliva and Franz Franchetti},
title = {HELIX: A Case Study of a Formal Verification of High Performance Program Generation},
booktitle = {Proc.\ FHPC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3264738.3264739},
year = {2018},
}
Publisher's Version
|
| |
Henriksen, Troels
|
FHPC '18: "Modular Acceleration: Tricky ..."
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
@InProceedings{FHPC18p13,
author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea},
title = {Modular Acceleration: Tricky Cases of Functional High-Performance Computing},
booktitle = {Proc.\ FHPC},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3264738.3264740},
year = {2018},
}
Publisher's Version
|
| |
Oancea, Cosmin E.
|
FHPC '18: "Modular Acceleration: Tricky ..."
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
@InProceedings{FHPC18p13,
author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea},
title = {Modular Acceleration: Tricky Cases of Functional High-Performance Computing},
booktitle = {Proc.\ FHPC},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3264738.3264740},
year = {2018},
}
Publisher's Version
|
| |
Zaliva, Vadim
|
FHPC '18: "HELIX: A Case Study of a Formal ..."
HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Vadim Zaliva and Franz Franchetti
(Carnegie Mellon University, USA)
@InProceedings{FHPC18p1,
author = {Vadim Zaliva and Franz Franchetti},
title = {HELIX: A Case Study of a Formal Verification of High Performance Program Generation},
booktitle = {Proc.\ FHPC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3264738.3264739},
year = {2018},
}
Publisher's Version
|