Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8402 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
301.
Enabling increased complexity for realistic image synthesis
by Budge, Brian Christopher, Ph.D.  University of California, Davis. 2009: 136 pages; 3396900.
302.
Cortical and subcortical activation during mental imagery of locomotion: A functional MRI investigation
by Chatto, Charlotte, Ph.D.  Union Institute and University. 2008: 313 pages; 3319365.
303.
A study on precoded adaptive transmission over different polarized MIMO-OFDM architectures
by Nemani, Sai Krishna, M.S.  California State University, Long Beach. 2016: 35 pages; 10140476.
304.
Computational modeling of biological neural networks on GPUS: Strategies and performance
by Galbraith, Byron V., M.S.  Marquette University. 2010: 130 pages; 1479117.
305.
Scheduling on Manycore and Heterogeneous Graphics Processors
by Tzeng, Stanley, Ph.D.  University of California, Davis. 2013: 119 pages; 3602240.
306.
Systematic finance: Essays on ethics, methodology and quality control in high frequency trading
by Van Vliet, Benjamin Edward, Ph.D.  Illinois Institute of Technology. 2012: 91 pages; 3529155.
307.
Stopping data races using Redflag
by Duggal, Abhinav, M.S.  State University of New York at Stony Brook. 2010: 38 pages; 1477351.
308.
Hybrid cloud: Joining the grid and cloud computing networks
by Reddy, Jyothi Kiran, M.S.  California State University, Long Beach. 2011: 59 pages; 1504527.
309.
Comparative analysis of load balancing algorithms in cloud computing
by Tomar, Mohit, M.S.  California State University, Long Beach. 2017: 34 pages; 10262288.
310.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
311.
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.
313.
Toward Consistent Robotics Simulation Through Validation
by Taylor, James R., Ph.D.  The George Washington University. 2018: 136 pages; 10929572.
314.
Optimizing task assignment for collaborative computing over heterogeneous network devices
by Kao, Yi-Hsuan, Ph.D.  University of Southern California. 2016: 185 pages; 10124490.
315.
Alluxio: A Virtual Distributed File System
by Li, Haoyuan, Ph.D.  University of California, Berkeley. 2018: 93 pages; 10814792.
316.
Spatial Stochastic Simulation of Biochemical Systems
by Drawert, Brian J., D.Eng.  University of California, Santa Barbara. 2013: 208 pages; 3559784.
317.
Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
by Barjasteh, Sina, M.S.  California State University, Long Beach. 2018: 35 pages; 10978741.
318.
Automatic liquid level detection and refill in a container using ultrasonic module
by Mayya, Narayana, M.S.  California State University, Long Beach. 2016: 48 pages; 10134008.
319.
Choke artists and clutch performers: A Critical Interpretive Synthesis
by Schroerlucke, David, Psy.D.  California Institute of Integral Studies. 2015: 243 pages; 3643162.
321.
Securing Operating Systems Through Utility Virtual Machines
by Denz, Robert, Ph.D.  Dartmouth College. 2016: 222 pages; 10190644.
323.
Exploring Complexity Metrics for Artifact-Centric Business Process Models
by Marin, Mike Andy, Ph.D.  University of South Africa (South Africa). 2017: 434 pages; 10759956.
324.
Deployment of a semi-automatic Java Refactoring tool
by Jakob, Ingmar, M.S.  California State University, Long Beach. 2016: 43 pages; 10182130.
325.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
326.
Preparing violin excerpts for an orchestral audition
by Livermore, Jessica, M.M.  California State University, Long Beach. 2016: 22 pages; 10196561.
327.
Costume design for enchanted April
by Schuller, Chelsey A., M.F.A.  University of Maryland, College Park. 2011: 165 pages; 1495742.
329.
Gender conflict in Iran: A critique of human rights and conflict resolution
by Sepehrrad, Ramesh, Ph.D.  George Mason University. 2010: 272 pages; 3421720.
301 - 330 of 8402 displayed.
« First < Previous |   8    9    10    11    12    13    14    15    16    17    18   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest