Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 5 of 5 for “"Compiler Design"”.

  1. Constructing Efficient Extensible Compilers With Incremental Analysis

    Much of the research in compiler design and optimization has traditionally focused on the effectiveness and efficiency of code optimization. However, the subject of efficiency of the entire compilation process itself (as opposed to the complexity of individual analysis or optimization algorithms) …

    uiuc Repository record for Constructing Efficient Extensible Compilers With Incremental Analysis (opens in a new tab)

  2. Automating the construction of a complier heuristics using machine learning

    Compiler writers are expected to create effective and inexpensive solutions to NP-hard problems such as instruction scheduling and register allocation. To make matters worse, separate optimization phases have strong interactions and competing resource constraints. Compiler writers deal with system …

    mit Repository record for Automating the construction of a complier heuristics using machine learning (opens in a new tab)

  3. Specifying and verifying program transformations with PTRANS

    Software developers, compiler designers, and formal methods researchers all stand to benefit from improved tools for compiler design and verification. Program correctness for compiled languages depends fundamentally on compiler correctness, and compiler optimizations are usually not formally …

    uiuc Repository record for Specifying and verifying program transformations with PTRANS (opens in a new tab)

  4. An editor and transformation system for a Z animation case tool.

    … requirements may engender significant re-design, which in turn will cost money, delay product introduction and may seriously damage the developer's credibility. For these reasons, the problem of developing a precise and unambiguous statement of requirements for a proposed system is perhaps …

    sheffield-hallam Repository record for An editor and transformation system for a Z animation case tool. (opens in a new tab)

  5. Designing a Compiler for a Distributed Memory Parallel Computing System

    … presents a unique approach to processor design: integrating multiple processors, a network, and memory onto a single chip. The benefits to this design include a reduction in overhead incurred by synchronization, communication, and memory accesses. To properly determine its effectiveness, …

    vt Repository record for Designing a Compiler for a Distributed Memory Parallel Computing System (opens in a new tab)