Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9976 open access dissertations and theses found for:
if(Modular verification)  »   Refine Search
1.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
2.
On the Modular Verification and Design of Firewalls
by Bhattacharya, Hrishikesh, Ph.D.  The University of Texas at Austin. 2012: 118 pages; 3572873.
3.
Modular and Safe Event-driven Programming
by Desai, Ankush Pankaj, Ph.D.  University of California, Berkeley. 2019: 206 pages; 27672106.
4.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
5.
6.
Verifying Scope 3 Greenhouse Gases in the Federal Supply Chain
by Buzzelle, Stanley Adelbert, III, LL.M.  The George Washington University. 2012: 96 pages; 1531548.
7.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
8.
Zero-Knowledge Isotopic Discrimination for Nuclear Warhead Verification
by Hepler, Michael Andrew, Ph.D.  Princeton University. 2020: 184 pages; 27956002.
9.
Modular Strong-Block Testing System
by Benton, Jacob W., M.S.  University of Louisiana at Lafayette. 2015: 132 pages; 10003746.
10.
Modeling and verification techniques for ad hoc network protocols
by Singh, Anu, Ph.D.  State University of New York at Stony Brook. 2009: 130 pages; 3401731.
11.
Verification of ramps software for design of steel I-girders
by Berti, Michael A., M.C.E.  University of Delaware. 2015: 90 pages; 10014925.
12.
Modular Bayesian filters
by Edgington, Padraic D., Ph.D.  University of Louisiana at Lafayette. 2015: 366 pages; 3712276.
13.
14.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
15.
Modular Liquid Propellant Launch Vehicle Design
by Honkawa, Derek Yoshi, M.S.  California State University, Long Beach. 2020: 77 pages; 27834207.
16.
A Modular Theory of Radical Pro Drop
by Liu, Chi-Ming, Ph.D.  Harvard University. 2014: 252 pages; 3626850.
17.
Modularity: The solution for green tradeshow exhibit designs
by Swaharu, Purnima, M.F.A.  Iowa State University. 2010: 103 pages; 1480140.
18.
A Modular Point-of-Care Platform for Real-Time Monitoring and Transmission of Physiological Signals
by Harder, RenĂ©, Ph.D.  Vanderbilt University. 2015: 305 pages; 13835059.
19.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
20.
On the Representation of Distributed Behavior
by Shaver, Christopher Daniel, Ph.D.  University of California, Berkeley. 2016: 240 pages; 10251401.
21.
A Modular Integrated Syntactic/Semantic XML Data Validation Solution
by Martinez, Christian, D.P.S.  Pace University. 2016: 110 pages; 10128879.
22.
L-invariants of low symmetric powers of modular forms and Hida deformations
by Harron, Robert William, Ph.D.  Princeton University. 2009: 195 pages; 3377996.
23.
24.
Fast modular exponentiation using residue domain representation: A hardware implementation and analysis
by Nguyen, Christopher Dinh, M.S.  University of Maryland, Baltimore County. 2013: 129 pages; 1551346.
25.
Algebraic Modular Forms on SO5(Q) and the Computation of Paramodular Forms
by Ladd, Watson Bernard, Ph.D.  University of California, Berkeley. 2018: 46 pages; 10817152.
26.
Advancements to the Micro-Cathode Arc Thruster: Linear Actuator, Ablative Anode, and Modular Designs
by Hurley, Samantha A., Ph.D.  The George Washington University. 2018: 135 pages; 10930780.
27.
Modular Understanding: A Taxonomy and Toolkit for Designing Modularity in Audio Software and Hardware
by Hetrick, Michael Lynn Saverio, Ph.D.  University of California, Santa Barbara. 2017: 365 pages; 10253730.
28.
29.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
30.
Mining explosion identification as an application to treaty verification
by Arrowsmith, Marie, Ph.D.  Southern Methodist University. 2009: 519 pages; 3356199.
1 - 30 of 9976 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest