Sökning: "Computer arithmetic"

Visar resultat 1 - 5 av 36 avhandlingar innehållade orden Computer arithmetic.

1. 1. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

   Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

   Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

3. 2. Improved Algorithms for Fast Shading and Lighting

   Författare :Anders Hast; Ewert Bengtsson; Jos Stam; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Graphics; Datavetenskap; Computer science; Datavetenskap;

   Sammanfattning : Shading is a technique that is used in computer graphics to make faceted objects appear smooth and more realistic. In the research presented in this thesis we have investigated how shading can be generated as efficiently as possible without sacrificing quality. LÄS MER

4. 3. Calculi for Program Incorrectness and Arithmetic

   Författare :Philipp Rümmer; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. LÄS MER

5. 4. Quasi-Arithmetic Filters for Topology Optimization

   Författare :Linus Hägg; Martin Berggren; Eddie Wadbro; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Topology optimization is a framework for finding the optimal layout of material within a given region of space. In material distribution topology optimization, a material indicator function determines the material state at each point within the design domain. LÄS MER

7. 5. Approximations and abstractions for reasoning about machine arithmetic

   Författare :Aleksandar Zeljic; Philipp Rümmer; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Sammanfattning : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER