Keyword:floating-point

Papers
Fixed-point design methodology of the hyperbolic tangent function using lookup tables with performance evaluation on FPGA Santiago Tomás Pérez Suárez EasyChair Preprint no. 598
Design methodology of sigmoid functions for Neural Networks using lookup tables on FPGAs Santiago Tomás Pérez Suárez EasyChair Preprint no. 583
Experiments on the feasibility of using a floating-point simplex in an SMT solver Diego Caminha B de Oliveira and David Monniaux In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers Sylvain Conchon, Guillaume Melquiond, Cody Roux and Mohamed Iguernlala In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories