Abstract: We present a fast algorithm together with its low-level implementation of correctly rounded arbitrary-precision floating-point summation. The arithmetic is the one used by the GNU MPFR ...

Supercompilation 1 is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns. In doing so, it discovers execution patterns of the original ...

Western civilization has always had a fascination with the civilization which grew up along the Nile River around 3,000 BC. Greek intellectuals, such as Thales, visited Egypt and were enamored by the ...

Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...