Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8415 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
211.
Dissertation beyond shared memory loop parallelism in the polyhedral model
by Yuki, Tomofumi, Ph.D.  Colorado State University. 2013: 137 pages; 3565471.
212.
Devel-Op: An Optimizer Development Environment
by Peng, Zhibo, Ph.D.  Brandeis University. 2018: 157 pages; 10681532.
213.
Resource Allocation and Scheduling in Heterogeneous Cloud Environments
by Lee, Gunho, Ph.D.  University of California, Berkeley. 2012: 111 pages; 3527037.
214.
Data governance: The missing approach to improving data quality
by Barker, James M., DM/IST  University of Phoenix. 2016: 293 pages; 10248424.
215.
Mitigating Privilege Escalation
by Brookes, Scott, Ph.D.  Dartmouth College. 2018: 215 pages; 10822683.
216.
Clustering transient data streams by example and by variable
by Chaovalit, Pimwadee, Ph.D.  University of Maryland, Baltimore County. 2009: 224 pages; 3359104.
217.
The use of organizational self-design to coordinate multiagent systems
by Kamboj, Sachin, Ph.D.  University of Delaware. 2009: 236 pages; 3397070.
218.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
219.
Analysis and optimization for processing grid-scale XML datasets
by Head, Michael Reuben, Ph.D.  State University of New York at Binghamton. 2009: 121 pages; 3389637.
220.
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.
221.
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.
222.
Scheduling policy design using stochastic dynamic programming
by Glaubius, Robert, Ph.D.  Washington University in St. Louis. 2009: 159 pages; 3386643.
223.
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.
224.
Toward Adaptive Stage Development in Software Scrum Teams
by Taborga, Jorge, Ph.D.  Saybrook University. 2018: 355 pages; 10930703.
225.
Provenance framework in support of data quality estimation
by Simmhan, Yogesh L., Ph.D.  Indiana University. 2007: 350 pages; 3297094.
226.
Safety Engineering of Computational Cognitive Architectures within Safety-Critical Systems
by Dreany, Harry Hayes, Ph.D.  The George Washington University. 2018: 204 pages; 10688677.
227.
Architectures for secure cloud computing servers
by Szefer, Jakub M., Ph.D.  Princeton University. 2013: 355 pages; 3597568.
228.
Project success in agile development software projects
by Farlik, John T., D.B.A.  Capella University. 2016: 132 pages; 10108921.
229.
Gunrock: A Programming Model and Implementation for Graph Analytics on Graphics Processing Units
by Wang, Yangzihao, Ph.D.  University of California, Davis. 2017: 134 pages; 10251096.
230.
System of systems engineering: Prescribing the technical development effort to engineer a constituent system
by Gomez, Darryl Anthony, Ph.D.  The George Washington University. 2010: 313 pages; 3433358.
231.
Writing Development: A Process-Oriented Approach
by Min, Haesik, Ph.D.  State University of New York at Buffalo. 2017: 110 pages; 10620483.
232.
Beneath the Attack Surface
by Mowery, Keaton, Ph.D.  University of California, San Diego. 2015: 200 pages; 3712726.
233.
A model of forensic analysis using goal-oriented logging
by Peisert, Sean Philip, Ph.D.  University of California, San Diego. 2007: 182 pages; 3246091.
234.
Robust hough transform for noisy and cluttered images
by Slininger, Timothy, M.S.  Southern Connecticut State University. 2014: 197 pages; 1525183.
236.
Towards a systematic study of big data performance and benchmarking
by Ekanayake, Saliya, Ph.D.  Indiana University. 2016: 120 pages; 10195564.
237.
Efficient Fault-Tolerant Infrastructure for Cloud Computing
by Su, Xueyuan, Ph.D.  Yale University. 2013: 197 pages; 3578459.
238.
Securing multi-channel wireless networks against malicious behavior
by Zheng, Chaodong, Ph.D.  National University of Singapore (Singapore). 2015: 136 pages; 10006123.
239.
Defense Institutional Building - Integrating the Work
by McIlwain, Carol J., Ph.D.  University of Maryland, College Park. 2017: 525 pages; 10269397.
240.
211 - 240 of 8415 displayed.
« First < Previous |   5    6    7    8    9    10    11    12    13    14    15   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest