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ženo v:

Podrobná bibliografie
Vydáno v:	2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) s. 1 - 12
Hlavní autoři:	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í příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 17.11.2013
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!