NDLTD logo NDLTD Union Catalog and Global ETD Search

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 18 of 18 for “"C-Compiler"”.

  1. An optimizing C compiler for DSP architectures

    Lin, Jeremy H. (Jeremy Huei), 1976-Massachusetts Institute of Technology1999

    Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.

    mit Repository record

  2. Introducing Non-Determinism to the Parallel C Compiler

    Concepcion, Rowen2014

    … the continuing project of updating<br />the PC Compiler. The goal is to test the viability of using “shortcutting”<br />functions. Parallel programs with the ability to shortcut can be generated<br />by the updated version of the PC Compiler. In addition, this project introduces<br />the ability …

    csusb Repository record

  3. Adding Support for MC/DC instrumentation in the Green Hills C/C++ compiler

    Saha, Sagnik,M. Eng.Massachusetts Institute of Technology.Massachusetts Institute of Technology2019

    … (MC/DC) instrumentation in the Green Hills C/C++ compiler. When a specfic option is enabled, the compiler now identied each boolean expression and annotates the generated binary with special instructions. When a test suite is run, these extra instructions emit logging information. A separate …

    mit Repository record

  4. C compiler aided design of application specific instruction set processors using the machine description language LISA

    Wahlen, OliverPublikationsserver der RWTH Aachen University2004

    … in a case study: The impact of incorporating a C compiler in the architecture exploration phase with respect to the processor architecture, the design time and the system reusability was analyzed. Another goal of this thesis was the (semi)automatic retargeting of a compiler from a LISA processor …

    aachen Repository record

  5. Rule-based optimization with K-framework

    Seo, SeokjeUniversity of Illinois at Urbana-Champaign2016

    The thesis discusses pre-compiler optimization using rule-based rewriting. Our goal is to facilitate the proof of correctness of the process of program optimization. A source-to-source optimizer based on the proposed strategy can be a preprocessor to a certified compiler such as CompCert and this …

    uiuc Repository record

  6. Characterizing the Effectiveness of Compilers in Vectorizing Polyhedrally Transformed Code

    Chidambarnathan, YogeshThe Ohio State University2013

    … tiling schemes namely, PLuTo and PTile, with two compilers namely, the GNU C Compiler and the Intel C Compiler.

    ohiolink Repository record

  7. The communication network simulator for Concordia parallel programming environment

    Qu, Jun2001

    … is composed of two parts, Concordia Parallel C Compiler (CPCC), which compiles a parallel program into machine code (vCode), and Concordia Parallel System Simulator (CPSS), which executes the vCode generated by CPCC. The communication network simulator, as an important module in CPSS, simulates …

    concordia Repository record

  8. Compiler support for multiple-instruction-issue architectures

    Chang, Po-huaUniversity of Illinois at Urbana-Champaign2011

    … architectures with the support of an optimizing compiler. We have constructed a full-scale C compiler that can learn the dynamic behavior of user programs by profiling, apply the profile information to guide various code improving techniques, and map the program parallelism onto the parallel …

    uiuc Repository record

  9. Compilation and Generation of Multi-Processor on a Chip Real-Time Embedded Systems

    Klingler, Randall S.2007

    … ANSI-C code is presented. The Small Device C Compiler (SDCC) was retargeted to the RTP architecture and extended to produce a generator directive file. The RTPGen hardware generator was created to consume the directive file and produce a highly customized top-level structural VHDL file that …

    byu Repository record

  10. Control of the hybrid engine of the REMUS 600

    Oh, Cindy EMassachusetts Institute of Technology2013

    … All these processes were done through a PIC C compiler and a microcontroller. Testing revealed that it took 10.3 +/- 0.2 and 113.6 +/- 1.7 steps to open the choke and throttle respectively and 4.5 + 0.1 and 206.4 +/- 2.2 to close the choke and throttle respectively. Code to perform the …

    mit Repository record

  11. Concordia parallel C : design and implementation

    Kong, Ai2000

    … of Concordia Parallel C (CPC) and its compiler Concordia Parallel C Compiler (CPCC). The Concordia Parallel Programming Environment (CPPE) is a novel parallel programing environment supporting virtual-architecture parallel programming paradigm, program and library development, simulated …

    concordia Repository record

  12. PIC 18F452 implementation of digital filters

    Bose-Mullick, Vikram A.2019

    … code is generated for the popular CCS PIC C-Compiler. In is the intent of this research to learn whether FIR filters can be made computationally viable on the PIC18 chips, can they run stably with reliable and repeatable performance? What is the minimum execution time possible at the …

    wvu Repository record

  13. Investigations into implementation of an iterative feedback tuning algorithm into microcontroller

    Himunzowa, GraysonDepartment of Electrical Engineering2008

    … large memory, in-built ADC & DAC and C compiler type are the key parameters qualifying for its usage. The Analog Devices ARM7024 microcontroller was chosen as an alternative to the DSP56F807C where it is not available. Myopic Unfalsified Control (MUC) is noted to be similar to IFT since …

    cape-town Repository record

  14. Formally Verified Code Obfuscation in the Coq Proof Assistant

    Lu, WeiyunUniversité d'Ottawa / University of Ottawa2019

    … by discussing CompCert, a formally verified C compiler in Coq, along with work that has been done on obfuscation there, and muse on the possibility of implementing formal methods in the next generation of real-world obfuscation tools.

    ottawa-retro Repository record

  15. Computer model of hybrid compensator of fast varying loads

    Bohorquez, VeronicaElectrical and Computer Engineering2022

    … computer model was implemented in MFC Visual C++ compiler version 6.0. The classification of fast varying loads and effects of their operation in distribution systems were described in this dissertation. The power properties of fast varying loads were expressed in terms of the Currents' Physical …

    lsu-thes Repository record

  16. An empirical study of a novel technique : rationed-memory compiling

    Leu, Ioan TudorMassachusetts Institute of Technology2005

    … whenever a program requests a memory block, the compiler returns a block smaller than the requested size. The compiler handles subsequent reads and writes to the memory block as usual if the accessed location is within the allocated block. If the accessed location is outside the allocated block, …

    mit Repository record

  17. Extending old languages for new architectures

    White, LeoUniversity of Cambridge2014

    … Since architectures change frequently, and compilers last for a long time, it is clear that compilers should be designed to be extensible. This thesis argues that to support evolving architectures a compiler should support the creation of high-level language extensions. In particular, it …

    cambridge Repository record

  18. Retargetable code generation based on an architecture description language

    Hohenauer, ManuelPublikationsserver der RWTH Aachen University2009

    … retargetable software development tools (C-compiler, assembler, linker, simulator etc.) that can be quickly adapted to varying target processor configurations. Such tools are usually driven by a processor model given in a dedicated Architecture Description Language (ADL). Advanced ADLs are …

    aachen Repository record