Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8402 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
91.
On multimedia content delivery and multicasting
by Chen, Yuh-Rong, Ph.D.  The University of Oklahoma. 2012: 130 pages; 3546574.
92.
Effective scheduling techniques for high-level parallel programming languages
by Rainey, Michael Alan, Ph.D.  The University of Chicago. 2010: 143 pages; 3419774.
93.
Efficient ray tracing architectures
by Spjut, Josef Bo, Ph.D.  The University of Utah. 2015: 129 pages; 3727095.
94.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
95.
Strengthening System Security on the ARMv7 Processor Architecture with Hypervisor-Based Security Mechanisms
by Vetter, Julian, Ph.D.  Technische Universitaet Berlin (Germany). 2017: 115 pages; 27610268.
96.
Linear programming with the simplex algorithm: Parallelization and other optimizations
by Ankony, Robert C., M.S.C.S.  California State University, Long Beach. 2012: 88 pages; 1520889.
97.
Flexible Architectures for Enhanced Security
by Chang, Jed Kao-Tung, Ph.D.  University of California, Irvine. 2012: 149 pages; 3518799.
98.
Robust Resource Allocation of Independent Tasks in Heterogeneous Computing Systems via Probabilistic Task Pruning
by Gentry, James A. S., M.S.  University of Louisiana at Lafayette. 2018: 88 pages; 10843501.
99.
Precisely serializable snapshot isolation
by Revilak, Stephen A., Ph.D.  University of Massachusetts Boston. 2011: 176 pages; 3490005.
101.
102.
Automated slicing methods for large event traces
by Smith, Raymond D., Ph.D.  Illinois Institute of Technology. 2012: 145 pages; 3529158.
103.
104.
An Approach for Designing Secure and High Performance Cloud Systems
by Gai, Keke, Ph.D.  Pace University. 2017: 221 pages; 10635446.
105.
Collusion Preserving Computation
by Alwen, Joel, Ph.D.  New York University. 2011: 105 pages; 3482849.
106.
Enhancing the Internet of Things Architecture with Flow Semantics
by DeSerranno, Allen Ronald, D.B.A.  University of South Florida. 2017: 152 pages; 10636797.
107.
Decoupled Vector-Fetch Architecture with a Scalarizing Compiler
by Lee, Yunsup, Ph.D.  University of California, Berkeley. 2016: 157 pages; 10151006.
108.
Supportive Behaviors for Human-Robot Teaming
by Hayes, Bradley, Ph.D.  Yale University. 2016: 178 pages; 10160856.
109.
Light-Weight Virtualization Driven Runtimes for Big Data Applications
by Chen, Wei, Ph.D.  University of Colorado Colorado Springs. 2019: 194 pages; 13862451.
110.
Formal analysis of web service composition
by Manman, Chen, Ph.D.  National University of Singapore (Singapore). 2015: 240 pages; 10005980.
111.
Scheduling and locking in multiprocessor real-time operating systems
by Brandenburg, Bjorn B., Ph.D.  The University of North Carolina at Chapel Hill. 2011: 614 pages; 3502550.
112.
The use of cognitive task analysis to capture expertise for tracheal extubation training in anesthesiology
by Embrey, Karen K., Ed.D.  University of Southern California. 2012: 166 pages; 3513751.
113.
Optimizing Data Movement in Hybrid Analytic Systems
by Leyshock, Patrick Michael, Ph.D.  Portland State University. 2014: 228 pages; 3670195.
114.
Rate Types for Stream Programs
by Bartenstein, Thomas W., Ph.D.  State University of New York at Binghamton. 2017: 255 pages; 10643063.
115.
Search-based optimization for compiler machine-code generation
by Clauson, Aran, Ph.D.  University of Oregon. 2013: 121 pages; 3600071.
116.
Computational design for analysis of SNP association studies
by Hsu, Chris, M.S.  University of Southern California. 2008: 57 pages; 1461689.
117.
A Framework for Quality of Service and Fault Management in Service-Oriented Architecture
by Zhang, Jing, Ph.D.  University of California, Irvine. 2013: 151 pages; 3566058.
118.
Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification
by Gottschlich, Justin E., Ph.D.  University of Colorado at Boulder. 2011: 163 pages; 3453718.
119.
"Let's do it!": Criminality, space, and law in Norman Mailer's The Executioner's Song
by Pelonis, Claire M., M.A.  California State University, Long Beach. 2015: 69 pages; 1598648.
120.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
91 - 120 of 8402 displayed.
« First < Previous |   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