Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9191 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
211.
Protecting Smart Devices from the Bottom-Up
by Machiry, Aravind K., Ph.D.  University of California, Santa Barbara. 2020: 179 pages; 28092431.
212.
Assurance and Control over Sensitive Data on Personal Devices
by Lentz, Matthew, Ph.D.  University of Maryland, College Park. 2020: 135 pages; 28022585.
213.
A special unit to speed up a DSP processor
by Chenna Subbanagari, Uday Kumar Reddy, M.S.  California State University, Long Beach. 2016: 50 pages; 10108176.
214.
Efficient particle-in-cell simulation of auroral plasma phenomena using a CUDA enabled graphics processing unit
by Sewell, Stephen, M.S.E.  The University of Alabama in Huntsville. 2014: 148 pages; 1559557.
215.
Enabling User Space Secure Hardware
by Coughlin, Aimee, Ph.D.  University of Colorado at Boulder. 2018: 137 pages; 10791863.
216.
Improving Software Productivity and Quality via Mining Source Code
by Thummalapenta, Suresh, Ph.D.  North Carolina State University. 2011: 185 pages; 3442531.
217.
Efficient Fault-Tolerant Infrastructure for Cloud Computing
by Su, Xueyuan, Ph.D.  Yale University. 2013: 197 pages; 3578459.
218.
The Security and Performance Impact of Object File Shuffling
by Buch, Jonathan, M.S.  University of Idaho. 2020: 68 pages; 27833446.
219.
Scheduling policy design using stochastic dynamic programming
by Glaubius, Robert, Ph.D.  Washington University in St. Louis. 2009: 159 pages; 3386643.
220.
Clustering transient data streams by example and by variable
by Chaovalit, Pimwadee, Ph.D.  University of Maryland, Baltimore County. 2009: 224 pages; 3359104.
221.
Automated Black Box Generation of Structured Inputs for Use in Software Testing
by Dewey, Kyle Thomas, Ph.D.  University of California, Santa Barbara. 2017: 318 pages; 10605739.
222.
Privilege Leakage in Practical Systems
by Grace, Michael C., Ph.D.  North Carolina State University. 2017: 114 pages; 10969800.
223.
The use of organizational self-design to coordinate multiagent systems
by Kamboj, Sachin, Ph.D.  University of Delaware. 2009: 236 pages; 3397070.
224.
Anonymous routing for privacy-preserving distributed computing
by Xiaolu, Zhu, M.S.  National University of Singapore (Singapore). 2015: 62 pages; 10006135.
226.
Detection and Prevention of Misuse of Software Components
by Ting, Dai, Ph.D.  National University of Singapore (Singapore). 2015: 141 pages; 10005992.
227.
Designing and Optimizing a GPU-Based In-Memory Key-Value System
by Patel, Shalin, M.E.  University of Connecticut. 2020: 72 pages; 28149842.
228.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
229.
Result Distribution in Big Data Systems
by Cheelangi, Madhusudan, M.S.  University of California, Irvine. 2013: 63 pages; 1539891.
230.
Devel-Op: An Optimizer Development Environment
by Peng, Zhibo, Ph.D.  Brandeis University. 2018: 157 pages; 10681532.
231.
Efficient Data Processing from Network Camera and its Application
by Koh, Youngsol, M.S.E.C.E.  Purdue University. 2017: 38 pages; 10255592.
232.
Authoritative and Unbiased Geographic Services
by Adhikari, Naresh, Ph.D.  Mississippi State University. 2020: 184 pages; 27743848.
234.
A Software Framework for the Detection and Classification of Biological Targets in Bio-Nano Sensing
by Hafeez, Abdul, Ph.D.  Virginia Polytechnic Institute and State University. 2014: 112 pages; 10595350.
235.
A QoS Diagnosis Methodology Based on Dependency Matrix with Reputation Factor in SOA
by Chang, Yi-Chin, M.S.  University of California, Irvine. 2011: 63 pages; 1496589.
236.
Smart memories: A reconfigurable memory system architecture
by Firoozshahian, Amin, Ph.D.  Stanford University. 2009: 196 pages; 3343953.
237.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
238.
New tools for investigating student learning in upper-division electrostatics
by Wilcox, Bethany R., Ph.D.  University of Colorado at Boulder. 2015: 209 pages; 3704843.
239.
Provenance framework in support of data quality estimation
by Simmhan, Yogesh L., Ph.D.  Indiana University. 2007: 350 pages; 3297094.
240.
Mitigating Privilege Escalation
by Brookes, Scott, Ph.D.  Dartmouth College. 2018: 215 pages; 10822683.
211 - 240 of 9191 displayed.
« First < Previous |   5    6    7    8    9    10    11    12    13    14    15   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest