Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8371 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.
Tideflow: A dataflow-inspired execution model for high performance computing programs
by Orozco, Daniel A., Ph.D.  University of Delaware. 2012: 163 pages; 3527015.
4.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
5.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
6.
Robust Execution Strategy for Scheduling under Uncertainty
by Fu, Na, Ph.D.  Singapore Management University (Singapore). 2012: 122 pages; 3523785.
7.
Introspective pushdown analysis and Nebo
by Earl, Christopher, Ph.D.  The University of Utah. 2014: 154 pages; 3621541.
8.
Exectracer: Bytecode Instrumentation to Trace Java Code Execution
by ShanmugaVelayutham, ArunKumar, M.S.  California State University, Long Beach. 2019: 35 pages; 13425988.
9.
Execution of justice
by Bejarano Cobo, Cristina, M.F.A.  California State University, Long Beach. 2012: 16 pages; 1521574.
10.
Studies on optimal trade execution
by Sepin, Tardu Selim, Ph.D.  Princeton University. 2015: 122 pages; 3682773.
11.
Architectural support for efficient on-chip parallel execution
by Brown, Jeffery Alan, Ph.D.  University of California, San Diego. 2010: 159 pages; 3402089.
12.
13.
14.
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.
16.
17.
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.
18.
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.
19.
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.
20.
Modeling the mirror system in action observation and execution
by Bonaiuto, James, Ph.D.  University of Southern California. 2010: 291 pages; 3418250.
21.
High Performance Multi-core Transaction Processing via Deterministic Execution
by Faleiro, Jose Manuel, Ph.D.  Yale University. 2018: 199 pages; 13851858.
22.
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.
25.
Building a Base for Cyber-autonomy
by Shoshitaishvili, Yan, Ph.D.  University of California, Santa Barbara. 2017: 178 pages; 10620012.
29.
Programming abstractions, compilation, and execution techniques for massively parallel data analysis
by Ewen, Stephan, Ph.D.  Technische Universitaet Berlin (Germany). 2015: 10698486.
30.
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 8371 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest