Notes on computers, programming and all the stuff
Pokazywanie postów oznaczonych etykietą
paper
.
Pokaż wszystkie posty
Pokazywanie postów oznaczonych etykietą
paper
.
Pokaż wszystkie posty
środa, 10 czerwca 2015
Big progress in verification
›
Formal verification is not easy task, for example ComCert compiler is able to verify, that optimizations haven't modified semantic of a...
piątek, 22 maja 2015
Fast exact summation using small and large superaccumulators
›
Interesting article by Radford M. Neal : I present two new methods for exactly summing a set of floating-point numbers, and then correctl...
›
Strona główna
Wyświetl wersję na komputer