Walter Krämer, Michael Zimmer, Werner Hofschuster. Using C-XSC for High Performance Verified Computing. In Kristján Jónasson, editor, Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II. Volume 7134 of Lecture Notes in Computer Science, pages 168-178, Springer, 2010. [doi]
Abstract is missing.