Essays about: "Danyal Mirza"

Found 1 essay containing the words Danyal Mirza.

  1. 1. Adding Floating-point Arithmetic Support to TriCera

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Danyal Mirza; [2023]
    Keywords : ;

    Abstract : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. READ MORE