Essays about: "Tomas Möre"

Found 2 essays containing the words Tomas Möre.

  1. 1. Formal verification of device driver monitors in HOL 4

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Tomas Möre; [2021]
    Keywords : ;

    Abstract : As computer systems become more ubiquitous in society the negative consequences of security holes and bugs in software and hardware grow larger. In theory, the optimal way to ensure that no such possibilites exists is to conduct formal proofs that the system behaves as it should and that it is incapable of performing unintended side-effects. READ MORE

  3. 2. Comparing 3D-Clipmaps and Sparse Voxel Octrees for voxelbased cone tracing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Tomas Möre; Gustav Schneider; [2018]
    Keywords : ;

    Abstract : Voxel based cone tracing is a promising approach to approximate globalillumination for real-time applications. This technique utilizes a voxelfield approximating the original scene to retrieve the necessary radi-ance information during sampling. The simplest approach to creat-ing a voxel field is to use a 3D texture. READ MORE