Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9199 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
33.
SledgeEDF: Deadline-Driven Serverless for the Edge
by McBride, Sean Patrick, M.S.  The George Washington University. 2021: 49 pages; 28257914.
34.
Computer Vision and Image Processing Toolbox for MATLAB
by Regmi, Krishna, M.S.  Southern Illinois University at Edwardsville. 2015: 113 pages; 1597577.
35.
New Paths from Splay to Dynamic Optimality
by Levy, Caleb Carson, Ph.D.  Princeton University. 2019: 137 pages; 13885892.
36.
The Hybrid Task Graph Scheduler
by Blattner, Timothy, Ph.D.  University of Maryland, Baltimore County. 2016: 152 pages; 10245475.
38.
39.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
40.
Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D.  Indiana University. 2019: 182 pages; 13879596.
41.
Adaptive Grid Computing
by Zhang, Juemin, Ph.D.  Northeastern University. 2010: 178 pages; 3443847.
42.
Building Efficient Large-Scale Big Data Processing Platforms
by Wang, Jiayin, Ph.D.  University of Massachusetts Boston. 2017: 130 pages; 10262281.
43.
Discovery and Remediation of Vulnerabilities in Monolithic IoT Firmware
by Gustafson, Eric D., Ph.D.  University of California, Santa Barbara. 2020: 151 pages; 28025862.
44.
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.
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.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
47.
Parallel functional programming with mutable state
by Bergstrom, Lars, Ph.D.  The University of Chicago. 2013: 133 pages; 3568360.
48.
Enhanced Secondary Bus Microarchitecture
by O'Farrell, John William, Ph.D.  Auburn University. 2011: 96 pages; 3480707.
49.
Enabling dynamic voltage and frequency scaling in multicore architectures
by Prasad, Amithash, M.S.  University of Colorado at Boulder. 2009: 74 pages; 1473683.
50.
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.
51.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
52.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
53.
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.
54.
55.
Development of an Architecture Framework for Portfolios of Sustainable Technology Projects
by Davis, Kimberly, Ph.D.  The George Washington University. 2013: 163 pages; 3544189.
56.
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.
57.
Effective scheduling techniques for high-level parallel programming languages
by Rainey, Michael Alan, Ph.D.  The University of Chicago. 2010: 143 pages; 3419774.
58.
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.
59.
Methods Enabling Portability of Scientific Workflows
by Hazekamp, Nicholas, Ph.D.  University of Notre Dame. 2019: 184 pages; 28187462.
60.
On multimedia content delivery and multicasting
by Chen, Yuh-Rong, Ph.D.  The University of Oklahoma. 2012: 130 pages; 3546574.
31 - 60 of 9199 displayed.
« First < Previous |   1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest