Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9259 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
421.
Behavior-based admission and access control for network security
by Frias-Martinez, Vanessa, Ph.D.  Columbia University. 2008: 167 pages; 3333480.
422.
Planning for a Small Team of Heterogeneous Robots: from Collaborative Exploration to Collaborative Localization
by Butzke, Jonathan Michael, Ph.D.  Carnegie Mellon University. 2017: 147 pages; 10798588.
424.
Functional programming with logical frameworks
by Poswolsky, Adam Brett, Ph.D.  Yale University. 2008: 534 pages; 3342732.
426.
Software process control without calibration
by El-Rawas, Oussama, M.S.  West Virginia University. 2008: 169 pages; 1471317.
427.
Q+R tree: An efficient overlay structure for pub/sub based mobile alerting
by Lee, Myung Guk, M.S.  University of California, Irvine. 2012: 57 pages; 1507261.
428.
Quality cost oriented software testing
by Komma, Ravi C., M.S.  California State University, Long Beach. 2010: 63 pages; 1490301.
429.
A Thirteen-Week Performance Practice Routine for Students Majoring in Piano
by Wang, Jierong, M.A.  Northeastern Illinois University. 2020: 54 pages; 28256195.
430.
Workload-Driven Design and Evaluation of Large-Scale Data-Centric Systems
by Chen, Yanpei, Ph.D.  University of California, Berkeley. 2012: 158 pages; 3527081.
432.
Level of Repair Analysis for the Enhancement of Maintenance Resources in Vessel Life Cycle Sustainment
by Marino, Lucas Charles, D.Engr.  The George Washington University. 2018: 114 pages; 10785844.
433.
Engaging dance audiences through irony?
by Glabe, Heather, M.F.A.  California State University, Long Beach. 2013: 89 pages; 1523271.
434.
HELIX: From Math to Verified Code
by Zaliva, Vadim, Ph.D.  Carnegie Mellon University. 2020: 201 pages; 28262508.
438.
A Contingent Valuation of Tampa's Urban Forest Resource
by Foster, Alec, M.A.  University of South Florida. 2010: 187 pages; 1483075.
439.
Computational REST: A new model for decentralized, Internet-scale applications
by Erenkrantz, Justin Ryan, Ph.D.  University of California, Irvine. 2009: 208 pages; 3372349.
440.
First order decision diagrams for decision theoretic planning
by Joshi, Saket, Ph.D.  Tufts University. 2010: 190 pages; 3427479.
441.
Optimizing router nodes placement for designing distributed sensor network
by Ganesan, Arun, M.S.  California State University, Long Beach. 2014: 86 pages; 1527703.
442.
Any-angle path planning
by Nash, Alex, Ph.D.  University of Southern California. 2012: 433 pages; 3542296.
443.
William Holman Hunt's Portrait of Henry Wentworth Monk
by Runnels, Jennie Mae, M.A.  Virginia Commonwealth University. 2017: 66 pages; 10278374.
444.
Reasoning software process modeling and simulation: A stakeholder-oriented approach
by Bai, Xu, Ph.D.  Southern Methodist University. 2012: 235 pages; 3548130.
445.
446.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
447.
Investigating Accuracy of the Reconfigurable Optical Computer (ROC) in Metatronics for Solving Partial Differential Equations
by Crandall, Joseph Warren, M.S.  The George Washington University. 2019: 82 pages; 13864207.
450.
A study of different XML parsing techniques in a multicore environment
by Tsai, Yao An, M.S.  California State University, Long Beach. 2012: 57 pages; 1520934.
421 - 450 of 9259 displayed.
« First < Previous |   12    13    14    15    16    17    18    19    20    21    22   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest