Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Abstract
Talk at RAIM 2015 (Rennes)
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Origin | Files produced by the author(s) |
---|
Loading...