Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code

Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17 ◽

10.1145/3145344.3145489 ◽

2017 ◽

Cited By ~ 1

Author(s):

Markus Schordan ◽

Jan Hückelheim ◽

Pei-Hung Lin ◽

Harshitha Menon

Keyword(s):

Floating Point ◽

Floating Point Computation

Download Full-text

A FPGA Implementation of An Open-Source Floating-Point Computation System

2005 International Symposium on System-on-Chip ◽

10.1109/issoc.2005.1595636 ◽

2005 ◽

Cited By ~ 7

Author(s):

C. Brunelli ◽

F. Garzia ◽

J. Nurmi ◽

C. Mucci ◽

F. Campi ◽

...

Keyword(s):

Open Source ◽

Fpga Implementation ◽

Floating Point ◽

Floating Point Computation

Download Full-text

Poster: Automatically Adapting Programs for Mixed-Precision Floating-Point Computation

2012 SC Companion: High Performance Computing, Networking Storage and Analysis ◽

10.1109/sc.companion.2012.232 ◽

2012 ◽

Author(s):

Michael O. Lam ◽

Bronis R. de Supinksi ◽

Matthew P. LeGendre ◽

Jeffrey K. Hollingsworth

Keyword(s):

Floating Point ◽

Mixed Precision ◽

Floating Point Computation

Download Full-text

Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation

Field Programmable Logic and Application - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30117-2_22 ◽

2004 ◽

pp. 200-208 ◽

Cited By ~ 11

Author(s):

Chun Te Ewe ◽

Peter Y. K. Cheung ◽

George A. Constantinides

Keyword(s):

Fixed Point ◽

Floating Point ◽

Efficient Alternative ◽

Floating Point Computation

Download Full-text

Floating Point Computation of Cycle Time for Min-max Functions

2005 International Conference on Control and Automation ◽

10.1109/icca.2005.1528265 ◽

2005 ◽

Author(s):

Yiping Cheng

Keyword(s):

Cycle Time ◽

Floating Point ◽

Floating Point Computation

Download Full-text

Floating-Point Computation of Functions with Maximum Accuracy

IEEE Transactions on Computers ◽

10.1109/tc.1977.1674894 ◽

1977 ◽

Vol C-26 (7) ◽

pp. 621-632 ◽

Cited By ~ 37

Author(s):

Bohlender

Keyword(s):

Floating Point ◽

Maximum Accuracy ◽

Floating Point Computation

Download Full-text

A new approach for analyzing a digital descriptor regulator with floating point computation

[1992] Proceedings of the 35th Midwest Symposium on Circuits and Systems ◽

10.1109/mwscas.1992.271198 ◽

2003 ◽

Author(s):

M.T.F. Saidahmed

Keyword(s):

Floating Point ◽

New Approach ◽

Floating Point Computation

Download Full-text

Error analysis of floating-point computation

Numerische Mathematik ◽

10.1007/bf01386233 ◽

1960 ◽

Vol 2 (1) ◽

pp. 319-340 ◽

Cited By ~ 62

Author(s):

J. H. Wilkinson

Keyword(s):

Error Analysis ◽

Floating Point ◽

Floating Point Computation

Download Full-text

Correction to "Performance of state regulator systems with floating-point computation

IEEE Transactions on Automatic Control ◽

10.1109/tac.1980.1102385 ◽

1980 ◽

Vol 25 (3) ◽

pp. 612-612

Author(s):

R. Rink

Keyword(s):

Floating Point ◽

State Regulator ◽

Floating Point Computation

Download Full-text

Towards implementing uncertainty propagation in probabilistic floating-point computation error bounding

2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) ◽

10.1109/i2mtc.2018.8409672 ◽

2018 ◽

Author(s):

Rivan Zhang ◽

Arvind Rajan ◽

Ye Chow Kuang ◽

Melanie Po-Leen Ooi ◽

Serge N. Demidenko

Keyword(s):

Uncertainty Propagation ◽

Floating Point ◽

Error Bounding ◽

Floating Point Computation ◽

Computation Error

Download Full-text

Floating-Point Computation with Just Enough Accuracy

Computational Science – ICCS 2006 - Lecture Notes in Computer Science ◽

10.1007/11758501_34 ◽

2006 ◽

pp. 226-233 ◽

Cited By ~ 2

Author(s):

Hank Dietz ◽

Bill Dieter ◽

Randy Fisher ◽

Kungyen Chang

Keyword(s):

Floating Point ◽

Floating Point Computation

Download Full-text