Abstract: Mathematical functions are essential to software systems in areas like probabilistic modeling, simulation, and scientific computing. However, verifying their correctness becomes challenging ...
Abstract: Software-based fault tolerance enables the usage of standard hardware in safety-critical applications. Arithmetic coding is a promising approach for fault tolerance and is already used in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback