Tags for Formally Applied

approximate computing 1

07 Nov 2017 An introduction to approximate computing

blogging 1

04 May 2017 Building this blog

c++ 1

25 May 2017 Undefined behavior in the wild

floating-point 1

10 May 2017 Floating-point satisfiability as global optimization

gcc 1

25 May 2017 Undefined behavior in the wild

reliability 1

07 Nov 2017 An introduction to approximate computing

smt 1

10 May 2017 Floating-point satisfiability as global optimization

undefined behavior 1

25 May 2017 Undefined behavior in the wild