- Log In
Resources
Verificarlo: Floating-Point Computing Verification and Optimization
Event Name
IXPUG Annual Conference 2019
Keywords
computer arithmetic,floating point,mixed precision,verification,uncertainty quantification
Verificarlo: Floating-Point Computing Verification and Optimization
IXPUG Annual Conference 2019
computer arithmetic,floating point,mixed precision,verification,uncertainty quantification