Sökning: "Dataflow Analysis"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden Dataflow Analysis.

  1. 1. Benchmarking Points-to Analysis

    Författare :Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

    Sammanfattning : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. LÄS MER

  3. 2. Towards a Gold Standard for Points-to Analysis

    Författare :Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Jens Krinke; Linnéuniversitetet; []
    Nyckelord :Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Data- och informationsvetenskap; Computer and Information Sciences Computer Science;

    Sammanfattning : Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e. LÄS MER

  4. 3. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Författare :Idriss Riouak; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

    Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

  5. 4. Models and Methods for Development of DSP Applications on Manycore Processors

    Författare :Jerker Bengtsson; Bertil Svensson; Shuvra S. Bhattacharyya; Högskolan i Halmstad; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; parallel processing; manycore processors; high-performance digital signal processing; dataflow; concurrent models of computation; parallel code mapping; parallel machine model; dynamic performance analysis; Computer engineering; Datorteknik;

    Sammanfattning : Advanced digital signal processing systems require specialized high-performance embedded computer architectures. The term high-performance translates to large amounts of data and computations per time unit. The term embedded further implies requirements on physical size and power efficiency. LÄS MER

  7. 5. Energy and Design Cost Efficiency for Streaming Applications on Systems-on-Chip

    Författare :Jun Zhu; Axel Jantsch; Twan Basten; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; Streaming applications; Systems-on-chip; Synchronous dataflow; energy efficiency; buffer minimization; performance analysis; Informatics; computer and systems science; Informatik; data- och systemvetenskap;

    Sammanfattning : With the increasing capacity of today's integrated circuits, a number ofheterogeneous  system-on-chip (SoC)  architectures  in embedded  systemshave been proposed. In order to achieve energy and design cost efficientstreaming applications  on these  systems, new design  space explorationframeworks  and  performance  analysis  approaches are  required. LÄS MER