Essays about: "computer science - parallel java"

Found 1 essay containing the words computer science - parallel java.

  1. 1. Machine Assisted Reasoning for Multi-Threaded Java Bytecode

    University essay from KTH/Elektronik- och datorsystem, ECS

    Author : Mikael Zayenz Lagerkvist; [2005]
    Keywords : formal methods; semantics; verification; multi-threaded semantics;

    Abstract : In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management. In addition, the subset contains a treatment of parallel threads of execution. READ MORE