Telecharger Cours

Logical Reasoning for Approximate and Unreliable Computation

Abstract. Improving program performance and resilience are long-standing goals. Traditional ap- proaches include a variety of transformation, compilation, ...



Download