Keyword:floating-point

Publications
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 598
Design methodology of sigmoid functions for Neural Networks using lookup tables on FPGAs Santiago Tomás Pérez Suárez EasyChair Preprint 583
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers Sylvain Conchon, Guillaume Melquiond, Cody Roux and Mohamed Iguernelala In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Experiments on the feasibility of using a floating-point simplex in an SMT solver Diego Caminha Barbosa de Oliveira and David Monniaux In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning