Cited By
View all- Ramananandro TMountcastle PMeister BLethin RAvigad JChlipala A(2016)A unified Coq framework for verifying C programs with floating-point computationsProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs10.1145/2854065.2854066(15-26)Online publication date: 18-Jan-2016
- Jung WPark JLee JAmaral JTorrellas J(2014)Versatile and scalable parallel histogram constructionProceedings of the 23rd international conference on Parallel architectures and compilation10.1145/2628071.2628108(127-138)Online publication date: 24-Aug-2014
- Park JBikshandi GVaidyanathan KTang PDubey PKim DGropp WMatsuoka S(2013)Tera-scale 1D FFT with low-communication algorithm and Intel® Xeon Phi™ coprocessorsProceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis10.1145/2503210.2503242(1-12)Online publication date: 17-Nov-2013