Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
129 open access dissertations and theses found for:
if(Liveness)  »   Refine Search
1.
Chicago's 500 Clown theater: Physical action, impulse and narrative in play
by Danzig, Leslie Buxbaum, Ph.D.  Northwestern University. 2007: 241 pages; 3284154.
3.
Resilient TDMA-based Communication Algorithm for Dynamic Ad-hoc Networks and Formal Verification
by Tyagi, Neha, M.S.  California State University, Long Beach. 2018: 65 pages; 10752255.
4.
Building Scalable Architectures Using Emerging Memory Technologies
by Korgaonkar, Kunal Kishore, Ph.D.  University of California, San Diego. 2019: 121 pages; 13882185.
5.
Validating Petri Net Models of Cyberattacks
by Christensen, Nicholas M., M.S.  The University of Alabama in Huntsville. 2017: 102 pages; 10608103.
7.
Frag: An ethnographic examination of computer gaming culture and identity at LAN parties
by Young, Bryan-Mitchell, Ph.D.  Indiana University. 2014: 188 pages; 3612176.
9.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
10.
Peer-to-Peer Architectures for Data Discovery, Distribution and Consistent Replication
by Chang-Yen, Ian, Ph.D.  University of Louisiana at Lafayette. 2014: 138 pages; 3687674.
11.
The Againness of Vietnam in Contemporary United States Antiwar Choreography
by Dellecave, Jessica Spring, Ph.D.  University of California, Riverside. 2015: 261 pages; 3731833.
12.
Formally ensuring the permissibility of obligations in security and privacy policies
by Chowdhury, Omar Haider, Ph.D.  The University of Texas at San Antonio. 2013: 306 pages; 3594559.
13.
Design for Competitive Automated Layout (DCAL) of Superscalar Processors
by Ku, Sungkwan, Ph.D.  North Carolina State University. 2017: 106 pages; 10970028.
14.
Visualizing Community
by Kennedy, Marie Esther, M.A.  Hawaii Pacific University. 2013: 84 pages; 1556338.
15.
Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
by Barjasteh, Sina, M.S.  California State University, Long Beach. 2018: 35 pages; 10978741.
16.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
17.
18.
Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S.  University of Louisiana at Lafayette. 2018: 98 pages; 13420593.
19.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
22.
23.
Performing Play: Cultural Production on Twitch.tv
by Pellicone, Anthony James, Ph.D.  University of Maryland, College Park. 2017: 271 pages; 10606825.
24.
Discovering heap anomalies in the wild
by Jump, Maria Eva, Ph.D.  The University of Texas at Austin. 2009: 144 pages; 3373283.
25.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
26.
Flexible Debugging with Controllable Overhead
by Callanan, Sean, Ph.D.  State University of New York at Stony Brook. 2009: 85 pages; 3448464.
27.
Methods for performance optimization of latency-insensitive systems
by Li, Cheng-Hong, Ph.D.  Columbia University. 2010: 214 pages; 3401048.
29.
Scalable Transactions for Scalable Distributed Database Systems
by Pang, Gene, Ph.D.  University of California, Berkeley. 2015: 142 pages; 3733329.
30.
Advancing toward accessibility: Disability accommodation in the theatre
by Bryson, Caitlin E., M.B.A./M.F.A.  California State University, Long Beach. 2016: 72 pages; 10076449.
1 - 30 of 129 displayed.
  1    2    3    4    5   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest