Sökning: "marcus edvinsson"

Hittade 2 avhandlingar innehållade orden marcus edvinsson.

1. 1. Parallelized Program Analysis

   Författare :Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

   Sammanfattning : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. LÄS MER

3. 2. Towards a Framework for Static Analysis Based on Points-to Information

   Författare :Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

   Sammanfattning : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. LÄS MER