Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8402 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
31.
Programming Abstractions, Compilation, and Execution Techniques for Massively Parallel Data Analysis
by Ewen, Stephan, Eng.D.  Technische Universitaet Berlin (Germany). 2015: 149 pages; 10698486.
32.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
33.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
35.
Adaptive Grid Computing
by Zhang, Juemin, Ph.D.  Northeastern University. 2010: 178 pages; 3443847.
36.
The Hybrid Task Graph Scheduler
by Blattner, Timothy, Ph.D.  University of Maryland, Baltimore County. 2016: 152 pages; 10245475.
37.
38.
Computer Vision and Image Processing Toolbox for MATLAB
by Regmi, Krishna, M.S.  Southern Illinois University at Edwardsville. 2015: 113 pages; 1597577.
39.
Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D.  Indiana University. 2019: 182 pages; 13879596.
40.
New Paths from Splay to Dynamic Optimality
by Levy, Caleb Carson, Ph.D.  Princeton University. 2019: 137 pages; 13885892.
41.
Building Efficient Large-Scale Big Data Processing Platforms
by Wang, Jiayin, Ph.D.  University of Massachusetts Boston. 2017: 130 pages; 10262281.
42.
Sprachzentrierte Ansätze zur Steigerung der Akzeptanz von Geschäftsprozessmodellen
by Ackermann, Lars, Dr.Nat.  Universitaet Bayreuth (Germany). 2018: 360 pages; 27600477.
43.
Dynamic Malware Analysis of GPU-Assisted Cryptoviruses Using Contained AES Side-Channels
by Espinoza, Jesus Pastor, D.Sc.  Capitol Technology University. 2018: 503 pages; 13853787.
44.
Enhanced Secondary Bus Microarchitecture
by O'Farrell, John William, Ph.D.  Auburn University. 2011: 96 pages; 3480707.
45.
Leveraging Model-Based Techniques for Component Level Architecture Analysis in Product-Based Systems
by McKean, David Keith, Ph.D.  The George Washington University. 2019: 209 pages; 13812870.
46.
Parallel functional programming with mutable state
by Bergstrom, Lars, Ph.D.  The University of Chicago. 2013: 133 pages; 3568360.
47.
MiNT: A reconfigurable mobile multi-hop wireless network testbed
by De, Pradipta, Ph.D.  State University of New York at Stony Brook. 2007: 185 pages; 3299705.
48.
Moving beyond the desktop: Searching for information with limited display size
by Marcial, Laura Haak, Ph.D.  The University of North Carolina at Chapel Hill. 2012: 340 pages; 3549635.
49.
Development of an Architecture Framework for Portfolios of Sustainable Technology Projects
by Davis, Kimberly, Ph.D.  The George Washington University. 2013: 163 pages; 3544189.
50.
Enabling dynamic voltage and frequency scaling in multicore architectures
by Prasad, Amithash, M.S.  University of Colorado at Boulder. 2009: 74 pages; 1473683.
51.
52.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
53.
Specification and Optimization of Analytical Data Flows
by Hüske, Fabian, Ph.D.  Technische Universitaet Berlin (Germany). 2016: 210 pages; 27610212.
54.
Effects of communication and control latency on air traffic controller acceptance of unmanned aircraft operations
by Morales, Gregory A., M.S.  California State University, Long Beach. 2015: 75 pages; 1585957.
55.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
56.
57.
Application hardware-software co-design for reconfigurable computing systems
by Saha, Proshanta, Ph.D.  The George Washington University. 2008: 151 pages; 3297468.
58.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
59.
Effective Checkpointing for Networked Multicore Systems and Cloud Computing
by Jangjaimon, Itthichok, Ph.D.  University of Louisiana at Lafayette. 2013: 114 pages; 3615289.
60.
A parallel implementation of Gibbs sampling algorithm for 2PNO IRT models
by Rahimi, Mona, M.S.  Southern Illinois University at Carbondale. 2011: 72 pages; 1500979.
31 - 60 of 8402 displayed.
« First < Previous |   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