Combining precision tuning and rewriting

B Saiki, O Flatt, C Nandi, P Panchekha… - 2021 IEEE 28th …, 2021 - ieeexplore.ieee.org
Precision tuning and rewriting can improve both the accuracy and speed of floating point
expressions, yet these techniques are typically applied separately. This paper explores how …
被引用次数：19 相关文章
[PDF] cnandi.com

[PDF][PDF] Combining Precision Tuning and Rewriting

B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock - cnandi.com
Precision tuning and rewriting can improve both the accuracy and speed of floating point
expressions, yet these techniques are typically applied separately. This paper explores how …
[PDF] washington.edu

[PDF][PDF] Combining Precision Tuning and Rewriting

B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock - fpbench.cs.washington.edu
Precision tuning and rewriting can improve both the accuracy and speed of floating point
expressions, yet these techniques are typically applied separately. This paper explores how …
[PDF] uwplse.org

[PDF][PDF] Combining Precision Tuning and Rewriting

B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock - herbie.uwplse.org
Precision tuning and rewriting can improve both the accuracy and speed of floating point
expressions, yet these techniques are typically applied separately. This paper explores how …

Combining Precision Tuning and Rewriting

B Saiki, O Flatt, C Nandi, P Panchekha… - 2021 IEEE 28th …, 2021 - computer.org
Precision tuning and rewriting can improve both the accuracy and speed of floating point
expressions, yet these techniques are typically applied separately. This paper explores how …
[PDF] washington.edu

[PDF][PDF] Combining Precision Tuning and Rewriting

B Saiki, O Flatt - fpbench.cs.washington.edu
Combining Precision Tuning and Rewriting Page 1 Combining Precision Tuning and Rewriting
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock Page 2 Error …
[PDF] uwplse.org

[PDF][PDF] Combining Precision Tuning and Rewriting

B Saiki, O Flatt - herbie.uwplse.org
Combining Precision Tuning and Rewriting Page 1 Combining Precision Tuning and Rewriting
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock Page 2 Error …