CYCLE
CYCLE
News
People
Events
Publications
Calendar
Contact
Zuoyan Zhang
Latest
Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
Cite
×