Symbolic Execution and NaNs: Diagnostic Tools for Tracking Scientific Computation - PowerPoint PPT Presentation

1 / 11
} ?>
View by Category
About This Presentation
Title:

Symbolic Execution and NaNs: Diagnostic Tools for Tracking Scientific Computation

Description:

Symbolic Execution/Proofs. The idea is simple: run your favorite program f with a ... Symbolic execution runs into trouble with more complicated calculations. ... – PowerPoint PPT presentation

Number of Views:32
Avg rating:3.0/5.0
Slides: 12
Provided by: richard489
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com