Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.