[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations
Martel, MatthieuYear:
2011
Language:
english
DOI:
10.1109/synasc.2011.52
File:
PDF, 192 KB
english, 2011