Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
14 open access dissertations and theses found for:
if(DPLL)  »   Refine Search
1.
Novel fast locking digital phase locked loop: Behavioral modeling and simulations using VHDL-AMS
by Nannaka, Anurag, M.S.  California State University, Long Beach. 2010: 84 pages; 1490320.
2.
A SAR Fast-Locking Digital Phase-Locked Loops: Behavioral modeling and simulations using matlab/simulink
by Gentyala, Rakesh, M.S.  California State University, Long Beach. 2016: 48 pages; 10102588.
3.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
4.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
5.
Types for the Chain of Trust: No (Loader) Write Left Behind
by Shapiro, Rebecca, Ph.D.  Dartmouth College. 2018: 221 pages; 10811531.
7.
Beneath the Attack Surface
by Mowery, Keaton, Ph.D.  University of California, San Diego. 2015: 200 pages; 3712726.
8.
Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers
by Nain, Prerna, M.S.  California State University, Long Beach. 2018: 54 pages; 10752239.
10.
Pebble Games and Complexity
by Chan, Siu Man, Ph.D.  University of California, Berkeley. 2013: 74 pages; 3593787.
11.
An Enquiry into the Efficacy of "Town Hall" Meetings in Local Democracies
by Sabyasachi, Das, Ph.D.  Yale University. 2015: 98 pages; 3663628.
12.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
13.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
14.
Automated Black Box Generation of Structured Inputs for Use in Software Testing
by Dewey, Kyle Thomas, Ph.D.  University of California, Santa Barbara. 2017: 318 pages; 10605739.
1 - 14 of 14 displayed.
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest