Precimonious tuning assistant for floating-point precision

Given the variety of numerical errors that can occur, floating-point programs are difficult to write, test and debug. One common practice employed by developers without an advanced background in numerical analysis is using the highest available precision. While more robust, this can degrade program...

Full description

Saved in:

Bibliographic Details
Published in:	2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) pp. 1 - 12
Main Authors:	Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 17.11.2013
Series:	ACM Conferences
Subjects:	Accuracy Algorithm design and analysis delta-debugging algorithm dynamic program analysis floating-point arithmetic General and reference > Cross-computing tools and techniques > Verification Heuristic algorithms Mathematics of computing > Mathematical analysis > Mathematical optimization mixed precision Numerical analysis Partitioning algorithms Performance analysis program optimization Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Theory of computation > Design and analysis of algorithms > Mathematical optimization Theory of computation > Semantics and reasoning > Program reasoning > Program verification Tuning floating-point arithmetic dynamic program analysis mixed precision delta-debugging algorithm program optimization
ISBN:	9781450323789, 1450323782
ISSN:	2167-4329
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!