Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
10280 open access dissertations and theses found for:
if(Llvm compiler infrastructure)  »   Refine Search
1.
Random testing of open source C compilers
by Yang, Xuejun, Ph.D.  The University of Utah. 2015: 145 pages; 3704288.
2.
Nanopass compiler infrastructure
by Sarkar, Dipanwita, Ph.D.  Indiana University. 2008: 176 pages; 3337263.
3.
4.
A nanopass framework for commercial compiler development
by Keep, Andrew W., Ph.D.  Indiana University. 2013: 173 pages; 3560746.
5.
Decoupled Vector-Fetch Architecture with a Scalarizing Compiler
by Lee, Yunsup, Ph.D.  University of California, Berkeley. 2016: 157 pages; 10151006.
6.
Fully countering trusting trust through Diverse Double-Compiling
by Wheeler, David A., Ph.D.  George Mason University. 2010: 199 pages; 3393623.
7.
Reusable Software Infrastructure for Stream Processing
by Soule, Robert, Ph.D.  New York University. 2012: 178 pages; 3524263.
8.
Search-based optimization for compiler machine-code generation
by Clauson, Aran, Ph.D.  University of Oregon. 2013: 121 pages; 3600071.
9.
Efficient ray tracing architectures
by Spjut, Josef Bo, Ph.D.  The University of Utah. 2015: 129 pages; 3727095.
10.
Hardware/Software Co-Design via Specification Refinement
by Peck, Wesley G., Ph.D.  University of Kansas. 2011: 183 pages; 3489442.
11.
Toward a software pipelining framework for many-core chips
by Ributzka, Juergen, M.S.  University of Delaware. 2009: 97 pages; 1469538.
12.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
13.
A language for specifying compiler optimizations for generic software
by Willcock, Jeremiah J., Ph.D.  Indiana University. 2007: 134 pages; 3297114.
14.
Multi-Port Automation for SRAM Compiler Design
by Grimes, Michael T., M.S.  University of California, Santa Cruz. 2018: 42 pages; 13423318.
15.
Preserving the appeal of transactional programming
by Dalessandro, Luke K., Ph.D.  University of Rochester. 2014: 183 pages; 3614950.
16.
A formal semantics of C with applications
by Ellison, Charles McEwen, III, Ph.D.  University of Illinois at Urbana-Champaign. 2012: 428 pages; 3600342.
17.
Design and architecture of automatically-generated energy-reducing coprocessors
by Sampson, John Morgan, Ph.D.  University of California, San Diego. 2010: 119 pages; 3422889.
20.
Integrated hardware/software approaches to software security for embedded systems
by Gelbart, Olga, D.Sc.  The George Washington University. 2008: 137 pages; 3297440.
21.
Out-of-order Parallel Discrete Event Simulation for Electronic System-Level Design
by Chen, Weiwei, Ph.D.  University of California, Irvine. 2013: 194 pages; 3597427.
22.
Programming Abstractions, Compilation, and Execution Techniques for Massively Parallel Data Analysis
by Ewen, Stephan, Eng.D.  Technische Universitaet Berlin (Germany). 2015: 149 pages; 10698486.
23.
Hardware Support for Productive Partitioned Global Address Space (PGAS) Programming
by Serres, Olivier, Ph.D.  The George Washington University. 2016: 122 pages; 3746724.
24.
25.
Toward hardware-oriented defensive network infrastructure
by Chen, Hao, Ph.D.  State University of New York at Binghamton. 2015: 194 pages; 3713553.
26.
Acceleration of streaming applications on FPGAs from high level constructs
by Mitra, Abhishek, Ph.D.  University of California, Riverside. 2008: 192 pages; 3341851.
27.
Flexible Debugging with Controllable Overhead
by Callanan, Sean, Ph.D.  State University of New York at Stony Brook. 2009: 85 pages; 3448464.
30.
Formal reasoning in software-defined networks
by Reitblatt, Mark, Ph.D.  Cornell University. 2017: 179 pages; 10254203.
1 - 30 of 10280 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest