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
271.
Resilient TDMA-based Communication Algorithm for Dynamic Ad-hoc Networks and Formal Verification
by Tyagi, Neha, M.S.  California State University, Long Beach. 2018: 65 pages; 10752255.
274.
A Static Formulation of the History Bound Problem
by Matsieva, Julia, M.S.  University of California, Davis. 2014: 55 pages; 1565692.
275.
Automatic Real-Time Targeting of Single-Voxel Magnetic Resonance Spectroscopy
by Storrs, Judd, Ph.D.  University of Cincinnati. 2010: 118 pages; 3432351.
276.
Development of leading indicator methodology of university research project performance
by Abbott, Rodman P., Ph.D.  Southern Methodist University. 2016: 379 pages; 10247042.
277.
Parameterizable Process Views in Imperative Process Models
by Fichtner, Myriel, M.Sc.  Universitaet Bayreuth (Germany). 2019: 77 pages; 27600403.
279.
Separating control from specification for parallel and distributed search algorithms
by See, Andrew G., Ph.D.  University of Connecticut. 2009: 173 pages; 3384551.
281.
A Location-Aware Architecture Supporting Intelligent Real-Time Mobile Applications
by Barbeau, Sean J., Ph.D.  University of South Florida. 2012: 245 pages; 3518695.
282.
Fault-tolerant FPGA-based multi-processor systems for nano-satellites
by Venkataraman, Shyamsunda, M.Eng.  National University of Singapore (Singapore). 2015: 94 pages; 10006079.
284.
Early physics of the Daya Bay reactor antineutrino experiment
by Seilhan, Brandon, Ph.D.  Illinois Institute of Technology. 2011: 168 pages; 3486314.
285.
Fully countering trusting trust through Diverse Double-Compiling
by Wheeler, David A., Ph.D.  George Mason University. 2010: 199 pages; 3393623.
288.
A study on virtualization technology and its impact on computer hardware
by Semnanian, Amir Ali, M.S.  California State University, Long Beach. 2013: 76 pages; 1523065.
289.
Materials price risk mitigation in construction projects
by Al-Zarrad, Mohammad Ammar, M.S.  The University of Alabama. 2014: 61 pages; 1566147.
290.
Efficient and automatic wireless geohazard monitoring
by Rubin, Marc J., Ph.D.  Colorado School of Mines. 2014: 202 pages; 3638904.
291.
Scheduling on Manycore and Heterogeneous Graphics Processors
by Tzeng, Stanley, Ph.D.  University of California, Davis. 2013: 119 pages; 3602240.
292.
Criticality Assessments for Improving Algorithmic Robustness
by Jones, Thomas Berry, Ph.D.  The University of New Mexico. 2018: 190 pages; 10980232.
293.
WPCA: The Wreath Product Cognitive Architecture
by Joshi, Anshul, Ph.D.  The University of Utah. 2016: 137 pages; 10242991.
294.
Software signature derivation from sequential digital forensic analysis
by Nelson, Alexander J., Ph.D.  University of California, Santa Cruz. 2016: 177 pages; 10140317.
295.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
296.
The computational content of isomorphisms
by James, Roshan P., Ph.D.  Indiana University. 2013: 197 pages; 3587675.
297.
Detection of malware via side channel information
by Quinn, Rian, Ph.D.  State University of New York at Binghamton. 2012: 169 pages; 3522519.
298.
Communication complexity involving Unmanned Aerial Systems in a simulated NAS environment
by Roberts, Zachary, M.S.  California State University, Long Beach. 2015: 53 pages; 1573110.
299.
A web application based on the MVC architecture using the Spring Framework
by Panchal, Hardikkumar B., M.S.  California State University, Long Beach. 2016: 76 pages; 10196389.
300.
Using Code Inspection, Code Modification, and Machine Learning to prevent SQL Injection
by Trumble, Brandon, M.S.  Kutztown University of Pennsylvania. 2015: 50 pages; 1590429.
271 - 300 of 8402 displayed.
« First < Previous |   7    8    9    10    11    12    13    14    15    16    17   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest