In Numerical Software Verification (NSV), 2013.S. Jha and S. Seshia. Synthesis of optimal fixed-point implementations of numerical software routines. In NSV, 2013.Susmit, J. and Sanjit, A.S. Synthesis of Optimal Fixed-Point ... SAS Susmit Jha 被引量: 11发表: 2013年 Numerical Software Ve...