Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
16155 open access dissertations and theses found for:
if(Symbolic 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.
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.
3.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
4.
Typed Clojure in Theory and Practice
by Bonnaire-Sergeant, Ambrose, Ph.D.  Indiana University. 2019: 182 pages; 13879596.
5.
Execution of justice
by Bejarano Cobo, Cristina, M.F.A.  California State University, Long Beach. 2012: 16 pages; 1521574.
6.
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.
7.
Racialized Perceptions: A Comparative Study of Symbolic Racism in Europe
by Pikes, Brandi D., M.A.  The University of Mississippi. 2012: 71 pages; 1515341.
8.
Prioritized Grammar Enumeration: A novel method for symbolic regression
by Worm, Anthony, Ph.D.  State University of New York at Binghamton. 2016: 180 pages; 10137419.
9.
Comparison of encoding schemes for symbolic model checking of bounded petri nets
by Arora, Nishtha, M.S.  Iowa State University. 2010: 83 pages; 1479680.
10.
Automatic Program State Exploration Techniques for Security Analysis of Android Apps
by Johnson, Ryan, Ph.D.  George Mason University. 2019: 211 pages; 27667472.
11.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
12.
Intuitive Roboterkommandierung basierend auf Verbalisierten Physikalischen Effekten
by Spangenberg, Michael, Ph.D.  Universitaet Bayreuth (Germany). 2017: 166 pages; 10739550.
13.
Tideflow: A dataflow-inspired execution model for high performance computing programs
by Orozco, Daniel A., Ph.D.  University of Delaware. 2012: 163 pages; 3527015.
14.
Talking about technology: A metaphoric analysis of cloud computing and web 2.0
by Cuttitta, Anthony R., M.A.  Northern Arizona University. 2013: 121 pages; 1550099.
15.
Post-silicon Functional Validation with Virtual Prototypes
by Cong, Kai, Ph.D.  Portland State University. 2015: 143 pages; 3712209.
16.
Building a Base for Cyber-autonomy
by Shoshitaishvili, Yan, Ph.D.  University of California, Santa Barbara. 2017: 178 pages; 10620012.
17.
Presidential outreach and the transformation of party coalitions
by Rodriguez, Gahodery Kirenia, Ph.D.  Yale University. 2008: 170 pages; 3317279.
18.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
20.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
21.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
22.
On Hidden Structures in Contaminated Symbolic Data
by Pearson, Antony, Ph.D.  University of Colorado at Boulder. 2020: 86 pages; 27835343.
23.
Low-Dimensional Embeddings for Symbolic Data Science
by Tillquist, Richard Carter, Ph.D.  University of Colorado at Boulder. 2020: 102 pages; 27833617.
24.
The Everyday Sacred: A Symbolic Analysis of Contemporary Yucatec Maya Women's Daily Realities
by Sheedy, Crystal A., Ph.D.  State University of New York at Albany. 2019: 298 pages; 22588326.
25.
Introspective pushdown analysis and Nebo
by Earl, Christopher, Ph.D.  The University of Utah. 2014: 154 pages; 3621541.
26.
Non-symbolic Exact Quantity Representation in a Language-Impaired Population
by Verbos, John, Ph.D.  Duquesne University. 2018: 96 pages; 10844959.
27.
The Symbolic U.S. Dollar: An Exploration of Transforming Meanings
by Ward, Dylann S., M.A.  Minnesota State University, Mankato. 2018: 146 pages; 10785567.
28.
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.
29.
Latin American coming of age narratives: A symbolic and psychoanalytical reading
by Roman, Ruth, Ph.D.  University of Maryland, College Park. 2009: 352 pages; 3359435.
30.
Zero-Day Defense: Discovering and Removing Vulnerabilities throughProgram Customization and Fuzzing
by Chen, Yurong, D.Engr.  The George Washington University. 2020: 102 pages; 27740940.
1 - 30 of 16155 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