Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
15209 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.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
3.
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.
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.
Racialized Perceptions: A Comparative Study of Symbolic Racism in Europe
by Pikes, Brandi D., M.A.  The University of Mississippi. 2012: 71 pages; 1515341.
7.
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.
8.
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.
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.
Authenticating executions for trusted systems
by Aktas, Erdem, Ph.D.  State University of New York at Binghamton. 2013: 215 pages; 3596989.
11.
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.
12.
Building a Base for Cyber-autonomy
by Shoshitaishvili, Yan, Ph.D.  University of California, Santa Barbara. 2017: 178 pages; 10620012.
13.
Post-silicon Functional Validation with Virtual Prototypes
by Cong, Kai, Ph.D.  Portland State University. 2015: 143 pages; 3712209.
14.
Tideflow: A dataflow-inspired execution model for high performance computing programs
by Orozco, Daniel A., Ph.D.  University of Delaware. 2012: 163 pages; 3527015.
15.
Intuitive Roboterkommandierung basierend auf Verbalisierten Physikalischen Effekten
by Spangenberg, Michael, Ph.D.  Universitaet Bayreuth (Germany). 2017: 166 pages; 10739550.
16.
Presidential outreach and the transformation of party coalitions
by Rodriguez, Gahodery Kirenia, Ph.D.  Yale University. 2008: 170 pages; 3317279.
17.
Addressing production run failures dynamically
by Tucek, Joseph A., Ph.D.  University of Illinois at Urbana-Champaign. 2011: 163 pages; 3503707.
19.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
20.
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.
21.
22.
The Symbolic U.S. Dollar: An Exploration of Transforming Meanings
by Ward, Dylann S., M.A.  Minnesota State University, Mankato. 2018: 146 pages; 10785567.
23.
Non-symbolic Exact Quantity Representation in a Language-Impaired Population
by Verbos, John, Ph.D.  Duquesne University. 2018: 96 pages; 10844959.
24.
25.
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.
26.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
27.
The real value of fakes: Dynamic symbolic boundaries in socially embedded consumption
by Gosline, Renee Ann Richardson, D.B.A.  Harvard University. 2009: 120 pages; 3371273.
28.
Tattoos as visible archetypes: Symbolic landmarks on the map of the psyche
by Anderson, Emily Jane, M.A.  Pacifica Graduate Institute. 2010: 127 pages; 1482008.
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.
30.
Through the eyes of a child: A symbolic, narrative journey through complex childhood trauma
by Fernandez, Bonnie Rose, M.A.  Pacifica Graduate Institute. 2010: 117 pages; 1490015.
1 - 30 of 15209 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