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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) s. 1 - 12
Hlavní autori:	Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 17.11.2013
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!