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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) S. 1 - 12
Hauptverfasser:	Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 17.11.2013
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!