Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9194 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
91.
Social network analysis: Determining betweenness centrality of a network using Ant Colony Optimization
by Rubano, Vincent, M.S.  Southern Connecticut State University. 2016: 117 pages; 10108549.
92.
Opportunities for near data computing in MapReduce workloads
by Pugsley, Seth Hintze, Ph.D.  The University of Utah. 2015: 98 pages; 3704952.
93.
The Impact of Risk Identification Biases and Trends on Space System Project Performance
by Reeves, John Daniel, Jr., Ph.D.  The George Washington University. 2013: 140 pages; 3557501.
94.
Enhancing the Internet of Things Architecture with Flow Semantics
by DeSerranno, Allen Ronald, D.B.A.  University of South Florida. 2017: 152 pages; 10636797.
95.
WS-Pro: A Petri net based performance-driven service composition framework
by Xia, Jinchun, Ph.D.  Iowa State University. 2009: 206 pages; 3355555.
96.
On the test-driven development of emerging modularization mechanisms
by Setty, Rakesh B., M.S.  Iowa State University. 2008: 82 pages; 1461967.
97.
98.
Flexible Architectures for Enhanced Security
by Chang, Jed Kao-Tung, Ph.D.  University of California, Irvine. 2012: 149 pages; 3518799.
99.
Random Linear Network Coding with Added Prefix Bits
by Mickey, Joshua, M.S.  University of Louisiana at Lafayette. 2017: 68 pages; 10682547.
100.
Formal analysis of web service composition
by Manman, Chen, Ph.D.  National University of Singapore (Singapore). 2015: 240 pages; 10005980.
101.
Modular and Safe Event-driven Programming
by Desai, Ankush Pankaj, Ph.D.  University of California, Berkeley. 2019: 206 pages; 27672106.
102.
Acceleration of streaming applications on FPGAs from high level constructs
by Mitra, Abhishek, Ph.D.  University of California, Riverside. 2008: 192 pages; 3341851.
103.
Supportive Behaviors for Human-Robot Teaming
by Hayes, Bradley, Ph.D.  Yale University. 2016: 178 pages; 10160856.
104.
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.
105.
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.
106.
Rate Types for Stream Programs
by Bartenstein, Thomas W., Ph.D.  State University of New York at Binghamton. 2017: 255 pages; 10643063.
107.
Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification
by Gottschlich, Justin E., Ph.D.  University of Colorado at Boulder. 2011: 163 pages; 3453718.
108.
Use of GPU architecture to optimize Rabin fingerprint data chunking algorithm by concurrent programming
by Wang, Sean, M.S.  California State University, Long Beach. 2016: 48 pages; 10108186.
109.
110.
Attack Space Reduction through Software Hardening and Specialization Using Compiler and Binary Analysis
by Quach, Anh, Ph.D.  State University of New York at Binghamton. 2020: 151 pages; 27958904.
111.
Decoupled Vector-Fetch Architecture with a Scalarizing Compiler
by Lee, Yunsup, Ph.D.  University of California, Berkeley. 2016: 157 pages; 10151006.
112.
Architectures for transactional memory
by McDonald, Austen, Ph.D.  Stanford University. 2009: 143 pages; 3364506.
113.
Types for the Chain of Trust: No (Loader) Write Left Behind
by Shapiro, Rebecca, Ph.D.  Dartmouth College. 2018: 221 pages; 10811531.
114.
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.
115.
Efficient ray tracing architectures
by Spjut, Josef Bo, Ph.D.  The University of Utah. 2015: 129 pages; 3727095.
116.
Automated slicing methods for large event traces
by Smith, Raymond D., Ph.D.  Illinois Institute of Technology. 2012: 145 pages; 3529158.
117.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
119.
An Approach for Designing Secure and High Performance Cloud Systems
by Gai, Keke, Ph.D.  Pace University. 2017: 221 pages; 10635446.
120.
Restoring Britain: Performances of Stuart succession in Dublin, Edinburgh, and London
by O'Rourke, Deirdre, Ph.D.  University of Pittsburgh. 2014: 268 pages; 3582730.
91 - 120 of 9194 displayed.
« First < Previous |   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