Explore projects
-
-
Updated
-
Specification of persistent storage for causal consistency database
Updated -
Updated
-
-
-
-
Updated
-
-
-
-
Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic
Updated -
-
Automatic identification of instructions responsible for numerical instabilities in a source code
Updated -
-
Updated
-
Updated