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 9 of 9 for “"code generators"”.
-
Optimizations in Distributed Run -Time Compilation
… abstract syntax trees designed to optimize the code generators. This general-purpose optimizer exploits the compositional nature of Jumbo to aggressively optimize the code generators for the individual code fragments.
-
Fourier-Motzkin with non-linear symbolic constant coefficients
… introduce non-linear inequalities during code generation, which present difficulties for the polyhedral model. Proposals for extending the framework to deal with non-linear inequalities have generally been complex and are not used in current code generators. We propose a simple extension …
-
The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms
… of the intermediate representation, code generation, and data flow analysis. For each component, our results pinpoint the superior compilation strategy, the reason for which it dominates the other strategy, and ways to improve the inferior strategy. Furthermore, our work suggests a …
-
Safety cases for the formal verification of automatically generated code
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output is correct or even safe. Formal methods …
-
Compilers for portable programming of heterogeneous parallel & approximate computing systems
… that operate directly on HPVM graphs, and code generators that translate the virtual ISA to NVIDIA GPUs, Intel’s AVX vector units, and to multicore X86-64 processors. Experimental results show that HPVM optimizations achieve significant performance improvements, HPVM translators achieve …
-
The Challenges of Non-linear Parameters and Variables in Automatic Loop Parallelisation
… loop bounds and array subscripts in the modelled codes must be expressions linear in both the variables and the parameters. We lift this restriction and allow certain polynomial expressions instead of linear ones. With our extensions, we are able to handle more programs in all phases of the …
-
Structure-based Optimizations for Sparse Matrix-Vector Multiply
… block nonzero patterns by generating custom code for each recurring block pattern. In this way, no indexing data for individual nonzero elements are read from memory, reducing the overall size of the indices by up to 98%. Our code generator emits highly tuned codes that utilize SSE …
-
APECS: A Polychrony based End-to-End Embedded System Design and Code Synthesis
… modeling; and 'correct-by-construction' code synthesis with the aim of bridging semantic gaps between the various abstractions and models required for the end-to-end system design. While the platform modeling language AADL has formal semantics, and analysis tools for real-time, and …