Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
14673 open access dissertations and theses found for:
if(Symbolic execution)  »   Refine Search
1.
Post-silicon Functional Validation with Virtual Prototypes
by Cong, Kai, Ph.D.  Portland State University. 2015: 143 pages; 3712209.
2.
Elicitation of a Program's Behaviors
by Miles, Craig S., Ph.D.  University of Louisiana at Lafayette. 2015: 134 pages; 10002454.
3.
Building a Base for Cyber-autonomy
by Shoshitaishvili, Yan, Ph.D.  University of California, Santa Barbara. 2017: 178 pages; 10620012.
4.
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.
5.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
6.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
7.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
8.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
9.
Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D.  Indiana University. 2019: 182 pages; 13879596.
10.
Racialized perceptions: A comparative study of symbolic racism in Europe
by Pikes, Brandi D., M.A.  The University of Mississippi. 2012: 71 pages; 1515341.
11.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
12.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
13.
Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
by Hernandez, Ivory, M.S.C.S.  University of South Florida. 2017: 65 pages; 10640802.
14.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
15.
Presidential outreach and the transformation of party coalitions
by Rodriguez, Gahodery Kirenia, Ph.D.  Yale University. 2008: 170 pages; 3317279.
16.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
17.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
18.
Safety Engineering of Computational Cognitive Architectures within Safety-Critical Systems
by Dreany, Harry Hayes, Ph.D.  The George Washington University. 2018: 204 pages; 10688677.
20.
21.
Anatomy of Corporate Decline: A Symbolic Interactionism Approach to the Manager's Observations, Understanding and Response
by Buikema, Ronald J., D.Mgt.  University of Maryland University College. 2012: 212 pages; 3602433.
22.
Supportive Behaviors for Human-Robot Teaming
by Hayes, Bradley, Ph.D.  Yale University. 2016: 178 pages; 10160856.
23.
24.
Non-symbolic Exact Quantity Representation in a Language-Impaired Population
by Verbos, John, Ph.D.  Duquesne University. 2018: 96 pages; 10844959.
25.
Introspective pushdown analysis and Nebo
by Earl, Christopher, Ph.D.  The University of Utah. 2014: 154 pages; 3621541.
26.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
27.
Restoring Britain: Performances of Stuart succession in Dublin, Edinburgh, and London
by O'Rourke, Deirdre, Ph.D.  University of Pittsburgh. 2014: 268 pages; 3582730.
28.
Robust Execution Strategy for Scheduling under Uncertainty
by Fu, Na, Ph.D.  Singapore Management University (Singapore). 2012: 122 pages; 3523785.
29.
Ego Development Stage Does Not Predict Persistent Non-Symbolic Experience
by Martin, Jeffery A., Ph.D.  California Institute of Integral Studies. 2010: 190 pages; 3447085.
1 - 30 of 14673 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