Detecting Floating-Point Errors via Atomic Conditions
- Daming Zou
- , Muhan Zou
- , Yiingfei Xiong
- , Zhoulai Fu
- , Lu Zhang
- , Zhendong Su
- Peking University
- ETH Zürich
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review