Sökning: "Johan Besseling"

Hittade 2 uppsatser innehållade orden Johan Besseling.

  1. 1. Trace Visualization with Java Pathfinder using Theia Trace Viewer

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Besseling; [2022]
    Nyckelord :Java Pathfinder; Theia Traceviewer; Trace Compass; Trace viewing; Java Pathfinder; Theia Traceviewer; Trace Compass; Trace viewing;

    Sammanfattning : Java Pathfinder (JPF) is a tool to debug Java-based software running multiple threads or processes, with a textual output that be may hard to understand. Recent development introduced the possibility to generate a trace from JPF and visualize it in Trace Compass (TC), a general-purpose trace viewing application. LÄS MER

  3. 2. A comparative study of IEEE 754 32-bit Float and Posit 32-bit floating point format on precision. : Using numerical methods.

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Besseling; Anders Renström; [2020]
    Nyckelord :;

    Sammanfattning : Posit is a new way of representing floating points in computers. This thesis investigates the precision of the 32-bit Posit floating point format compared to the current standard 32-bit IEEE 754 Float format by conducting tests with numerical methods. Posit was chosen due to its promising results in previous work. LÄS MER