Integrating proxy theories and numeric model lifting for floating-point arithmetic.

Jaideep Ramachandran Thomas Wahl

Published in: FMCAD (2016)

Keyphrases

computational model
theoretical framework
database
database systems
pairwise
probabilistic model
management system
differential equations