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
363.
Hybrid cloud: Joining the grid and cloud computing networks
by Reddy, Jyothi Kiran, M.S.  California State University, Long Beach. 2011: 59 pages; 1504527.
365.
The Experience of Strategic Thinking in a Volatile, Uncertain, Complex, and Ambiguous (VUCA) Environment
by Moore, Dale L., Ed.D.  The George Washington University. 2014: 295 pages; 3633614.
366.
The Issues Framework: Situating Graduate Teaching Assistant-Student Interactions in Physics Problem Solving
by Westlander, Meghan Joanne, Ph.D.  North Carolina State University. 2014: 611 pages; 3690214.
367.
Leveraging Structure for Learning Robot Control and Reactive Planning
by Sutanto, Giovanni, Ph.D.  University of Southern California. 2020: 151 pages; 28086666.
368.
Gender conflict in Iran: A critique of human rights and conflict resolution
by Sepehrrad, Ramesh, Ph.D.  George Mason University. 2010: 272 pages; 3421720.
369.
Using locality and interleaving information to improve shared cache performance
by Liu, Wanli, Ph.D.  University of Maryland, College Park. 2009: 140 pages; 3359458.
370.
How Weight Regulation May Influence Self-Efficacy in Mixed Martial Arts Athletes
by Park, Sungjun, M.S.  California State University, Long Beach. 2019: 58 pages; 22583501.
371.
Integrating protein similarity networks and orthogonal information for understanding protein origins and function
by Barber, Alan Edgel, II, Ph.D.  University of California, San Francisco. 2012: 602 pages; 3553805.
372.
A formal semantics of C with applications
by Ellison, Charles McEwen, III, Ph.D.  University of Illinois at Urbana-Champaign. 2012: 428 pages; 3600342.
373.
Computational modeling of biological neural networks on GPUS: Strategies and performance
by Galbraith, Byron V., M.S.  Marquette University. 2010: 130 pages; 1479117.
375.
Deployment of a semi-automatic Java Refactoring tool
by Jakob, Ingmar, M.S.  California State University, Long Beach. 2016: 43 pages; 10182130.
376.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
377.
Using Spammers' Computing Resources for Volunteer Computing
by Bui, Thai Le Quy, M.S.  Portland State University. 2014: 90 pages; 1553892.
378.
Changing paradigms for batch record review in pharmaceuticals to drive real time product disposition
by Padrono, Blanca, M.S.  California State University, Dominguez Hills. 2014: 143 pages; 1525507.
379.
Choke artists and clutch performers: A Critical Interpretive Synthesis
by Schroerlucke, David, Psy.D.  California Institute of Integral Studies. 2015: 243 pages; 3643162.
380.
Validating Petri Net Models of Cyberattacks
by Christensen, Nicholas M., M.S.  The University of Alabama in Huntsville. 2017: 102 pages; 10608103.
381.
Architecting emerging memory technologies for energy-efficient computing in modern processors
by Jianxing, Wang, Ph.D.  National University of Singapore (Singapore). 2015: 161 pages; 10006096.
382.
Impacts of homicide and death penalty experiences: A hermeneutic phenomenological approach
by Smith, Markus Shintaro, Ph.D.  The University of Oklahoma. 2011: 196 pages; 3468305.
383.
Continuum: An architecture for user evolvable collaborative virtual environments
by Bierbaum, Allen, Ph.D.  Iowa State University. 2007: 160 pages; 3289395.
384.
The relationship between earned value management metrics and customer satisfaction
by Plumer, David R., Ph.D.  Northcentral University. 2010: 120 pages; 3470460.
385.
A Modified Delphi Study of Leadership Profiles of the New Product Development Process Stages
by Moore, Darryl Allan, D.M.  University of Phoenix. 2011: 155 pages; 3468110.
386.
Johann Nepomuk Hummel's Piano Etudes, Op. 125: A pedagogical analysis
by Cho, Sun-Im, D.M.A.  City University of New York. 2012: 201 pages; 3499224.
387.
Measurement and Improvement of the Tor User Experience
by Gallagher, Kevin, Ph.D.  New York University Tandon School of Engineering. 2020: 134 pages; 27735239.
388.
Autonomous & Resilient Countermeasures for Emergent System Disruptions with Application to Air Traffic Management
by Marshall, Curtis J., Ph.D.  The George Washington University. 2020: 173 pages; 27664716.
389.
Costume design for enchanted April
by Schuller, Chelsey A., M.F.A.  University of Maryland, College Park. 2011: 165 pages; 1495742.
390.
Wartime Atrocities and the Politics of Treason in the Ruins of the Japanese Empire, 1937–1953
by Lawson, Konrad Mitchell, Ph.D.  Harvard University. 2012: 405 pages; 3543071.
361 - 390 of 9259 displayed.
« First < Previous |   10    11    12    13    14    15    16    17    18    19    20   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest