Search for dissertations about: "Dataflow Analysis"
Showing result 1 - 5 of 11 swedish dissertations containing the words Dataflow Analysis.
-
1. Benchmarking Points-to Analysis
Abstract : 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. READ MORE
-
2. Towards a Gold Standard for Points-to Analysis
Abstract : 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. READ MORE
-
3. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Abstract : 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. READ MORE
-
4. Models and Methods for Development of DSP Applications on Manycore Processors
Abstract : 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. READ MORE
-
5. Energy and Design Cost Efficiency for Streaming Applications on Systems-on-Chip
Abstract : 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. READ MORE