Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8726 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
1.
Elicitation of a Program's Behaviors
by Miles, Craig S., Ph.D.  University of Louisiana at Lafayette. 2015: 134 pages; 10002454.
2.
Post-silicon Functional Validation with Virtual Prototypes
by Cong, Kai, Ph.D.  Portland State University. 2015: 143 pages; 3712209.
3.
Automatic Program State Exploration Techniques for Security Analysis of Android Apps
by Johnson, Ryan, Ph.D.  George Mason University. 2019: 211 pages; 27667472.
4.
Tideflow: A dataflow-inspired execution model for high performance computing programs
by Orozco, Daniel A., Ph.D.  University of Delaware. 2012: 163 pages; 3527015.
5.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
6.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
7.
Robust Execution Strategy for Scheduling under Uncertainty
by Fu, Na, Ph.D.  Singapore Management University (Singapore). 2012: 122 pages; 3523785.
8.
Introspective pushdown analysis and Nebo
by Earl, Christopher, Ph.D.  The University of Utah. 2014: 154 pages; 3621541.
9.
Exectracer: Bytecode Instrumentation to Trace Java Code Execution
by ShanmugaVelayutham, ArunKumar, M.S.  California State University, Long Beach. 2019: 35 pages; 13425988.
10.
Execution of justice
by Bejarano Cobo, Cristina, M.F.A.  California State University, Long Beach. 2012: 16 pages; 1521574.
11.
Query Execution on Modern CPUs
by Zeuch, Steffen, Ph.D.  Humboldt Universitaet zu Berlin (Germany). 2018: 178 pages; 13913955.
12.
Studies on optimal trade execution
by Sepin, Tardu Selim, Ph.D.  Princeton University. 2015: 122 pages; 3682773.
13.
Zero-Day Defense: Discovering and Removing Vulnerabilities throughProgram Customization and Fuzzing
by Chen, Yurong, D.Engr.  The George Washington University. 2020: 102 pages; 27740940.
14.
Architectural support for efficient on-chip parallel execution
by Brown, Jeffery Alan, Ph.D.  University of California, San Diego. 2010: 159 pages; 3402089.
16.
The Design and Execution of the Scenery for WILD42HOLD
by Corley Sydnor, Tiffani Ingrid, M.F.A.  The George Washington University. 2013: 47 pages; 1544494.
17.
Modeling the mirror system in action observation and execution
by Bonaiuto, James, Ph.D.  University of Southern California. 2010: 291 pages; 3418250.
18.
High Performance Multi-core Transaction Processing via Deterministic Execution
by Faleiro, Jose Manuel, Ph.D.  Yale University. 2018: 199 pages; 13851858.
19.
20.
Deterministic Parallelization of Object-Oriented Code Through Out-of-Order Execution
by Jenista, James C., Ph.D.  University of California, Irvine. 2012: 291 pages; 3523925.
21.
22.
Toward understanding speech planning by observing its execution – Representations, modeling and analysis
by Ramanarayanan, Vikram, Ph.D.  University of Southern California. 2014: 170 pages; 3643149.
23.
24.
Commentary on canvas The five paintings of “The Execution of Maximilian” by Edouard Manet
by Makleff, Orna H., M.A.  San Jose State University. 2012: 144 pages; 1513652.
25.
Constraint-based generation of database states for testing database applications
by Pan, Kai, Ph.D.  The University of North Carolina at Charlotte. 2012: 169 pages; 3552070.
27.
Building a Base for Cyber-autonomy
by Shoshitaishvili, Yan, Ph.D.  University of California, Santa Barbara. 2017: 178 pages; 10620012.
28.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
1 - 30 of 8726 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest