1 |
Compiler generators : what they can do, what they might do, and what they will probably never do /Tofte, Mads. January 1990 (has links)
Überarb. Diss., 1984. / Based on the author's thesis, Copenhagen, 1984. Bibliogr.: p. [137]-139. Index.
|
2 |
Semantics-directed generation of compilers and abstract machinesDiehl, Stephan. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1996. / Computerdatei im Fernzugriff.
|
3 |
Generierung effizienter Übersetzer.Schmidt, Michael. Unknown Date (has links)
University, Diss., 1989--Paderborn.
|
4 |
A compiler for parallel execution of numerical Python programs on graphics processing unitsGarg, Rahul 11 1900 (has links)
Modern Graphics Processing Units (GPUs) are providing breakthrough performance for numerical computing at the cost of increased programming complexity. Current programming models for GPUs require that the programmer manually manage the data transfer between CPU and GPU. This thesis proposes a simpler programming model and introduces a new compilation framework to enable Python applications containing numerical computations to be executed on GPUs and multi-core CPUs.
The new programming model minimally extends Python to include type and parallel-loop annotations. Our compiler framework then automatically identifies the data to be transferred between the main memory and the GPU for a particular class of affine array accesses. The compiler also automatically performs loop transformations to improve performance on GPUs.
For kernels with regular loop structure and simple memory access patterns, the GPU code generated by the compiler achieves significant performance improvement over multi-core CPU codes.
|
5 |
A compiler for parallel execution of numerical Python programs on graphics processing unitsGarg, Rahul Unknown Date
No description available.
|
6 |
Escape analysis in the context of dynamic compilation and deoptimization /Kotzmann, Thomas. January 2006 (has links)
University, Diss., 2005--Linz.
|
7 |
Implementierung eines Earley-ParsergeneratorsSchemainda, Christoph. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Studienarb., 1998.
|
8 |
Entwurf einer Skriptsprache als Erweiterung eines dialogorientierten Werkzeuges zur Verwaltung und Qualitätssicherung der SAP R/3 CD'sTrinks, Holger, January 1998 (has links)
Chemnitz, Techn. Univ., Studienarb., 1998.
|
9 |
Credible Compilation *Rinard, Martin C. 01 1900 (has links)
This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program was compiled correctly. We call a compiler that produces such proofs a credible compiler, because it produces verifiable evidence that it is operating correctly. / Singapore-MIT Alliance (SMA)
|
10 |
Unconventional Applications of Compiler AnalysisSelby, Jason W. A. January 2011 (has links)
Previously, compiler transformations have primarily focused on
minimizing program execution time. This thesis explores some examples
of applying compiler technology outside of its original scope.
Specifically, we apply compiler analysis to the field of software
maintenance and evolution by examining the use of global data
throughout the lifetimes of many open source projects. Also, we
investigate the effects of compiler optimizations on the power
consumption of small battery powered devices. Finally, in an area
closer to traditional compiler research we examine automatic program
parallelization in the form of thread-level speculation.
|
Page generated in 0.0547 seconds