Back to Results
First PageMeta Content
Theoretical computer science / Applied mathematics / Data types / Arithmetic / Affine arithmetic / Affine geometry / Floating point / Interval arithmetic / Machine epsilon / Mathematics / Numerical analysis / Computer arithmetic


Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL
Add to Reading List

Document Date: 2013-11-09 10:48:40

Open Document

File Size: 500,66 KB

Share Result on Facebook

City

San Diego / /

Country

United States / /

Currency

USD / /

/

Facility

Approximation pipeline / /

IndustryTerm

compilation algorithm / certain embedded control systems / verification algorithm / associativity law / self-stabilizing systems / binary search / non-selfstabilizing systems / control systems / computing / automated reasoning tools / numerical software / to all programming languages and hardware / scientific computing / dynamical systems / energy / /

OperatingSystem

Ubuntu / /

Person

Eva Darulova Viktor Kuncak / /

/

Position

forward / controller / programmer / /

ProgrammingLanguage

R / Scala / /

Technology

compilation algorithm / LAN / RAM / following algorithm / verification algorithm / The algorithm / simulation / using Simplex-like algorithms / /

URL

http /

SocialTag