Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8399 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
151.
Performance evaluation of inexact GMRES
by Winkles, Nathan E., Ph.D.  The University of Alabama. 2011: 122 pages; 3478682.
152.
Adaptation of AspectJ for C sharp
by Tam, Rachel, M.S.  California State University, Long Beach. 2013: 157 pages; 1523056.
154.
The Relevant Signals for Sensorimotor Adaptation in Human Reaching
by Parvin, Darius Euge, Ph.D.  University of California, Berkeley. 2019: 66 pages; 22617344.
155.
Flexible Debugging with Controllable Overhead
by Callanan, Sean, Ph.D.  State University of New York at Stony Brook. 2009: 85 pages; 3448464.
156.
Symbiotic virtualization
by Lange, John Russell, Ph.D.  Northwestern University. 2010: 224 pages; 3426601.
158.
Delivering Program Efficiency to Aerospace Testing Using Designed Experiments
by Fiorenza, Paul R., D.Engr.  The George Washington University. 2018: 126 pages; 10928677.
159.
Parallelization of Entity-Based Models in Computational Social Science: A Hardware Perspective
by Brearcliffe, Dale K., M.A.I.S.  George Mason University. 2017: 77 pages; 10684969.
160.
161.
Contention Alleviation in Network-on-Chips
by Xiang, Xiyue, Ph.D.  University of Louisiana at Lafayette. 2017: 115 pages; 10272587.
162.
Improving Haskell Transactional Memory
by Yates, Ryan, Ph.D.  University of Rochester. 2019: 233 pages; 22620919.
163.
A Functional Approach to Memory-Safe Operating Systems
by Leslie, Rebekah, Ph.D.  Portland State University. 2011: 342 pages; 3481882.
164.
Multiplayer Educational Role Playing Games (MPERPGs) and the Application of Leadership
by Clayton, Andrew Stafford, Ed.D.  Grand Canyon University. 2017: 348 pages; 10257450.
165.
Lean Project Control and Management System
by Anand, Rahul, M.S.C.E.  Purdue University. 2017: 189 pages; 10600937.
166.
Hardware Transactional Memory: A Systems Perspective
by Rossbach, Christopher John, Ph.D.  The University of Texas at Austin. 2009: 204 pages; 3434949.
167.
Enhancing privacy in cryptographic protocols
by Shin, Ji Sun, Ph.D.  University of Maryland, College Park. 2009: 146 pages; 3359424.
169.
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.
170.
A self -testing approach for autonomic software
by King, Tariq M., Ph.D.  Florida International University. 2009: 109 pages; 3395789.
171.
Approximating application performances in cloud data centers and simulated machines
by Islam, Mohammad Shahedul, Ph.D.  The University of Texas at San Antonio. 2016: 113 pages; 10249769.
172.
Efficient computation of diverse query results
by Lu, Li, Ph.D.  National University of Singapore (Singapore). 2015: 198 pages; 10006041.
173.
Result Distribution in Big Data Systems
by Cheelangi, Madhusudan, M.S.  University of California, Irvine. 2013: 63 pages; 1539891.
174.
Inter-job Optimization in High Performance Computing
by Savoie, Lee Hilton, Ph.D.  The University of Arizona. 2019: 111 pages; 22617929.
175.
Programmable and Scalable Software-Defined Networking Controllers
by Voellmy, Andreas Richard, Ph.D.  Yale University. 2014: 219 pages; 3580888.
176.
Architectures for Stateful Data-intensive Analytics
by Logothetis, Dionysios, Ph.D.  University of California, San Diego. 2011: 129 pages; 3486845.
177.
178.
Enabling efficient parallel scripting on large-scale computers
by Zhang, Zhao, Ph.D.  The University of Chicago. 2014: 125 pages; 3627911.
179.
Enabling User Space Secure Hardware
by Coughlin, Aimee, Ph.D.  University of Colorado at Boulder. 2018: 137 pages; 10791863.
180.
Reusable Software Infrastructure for Stream Processing
by Soule, Robert, Ph.D.  New York University. 2012: 178 pages; 3524263.
151 - 180 of 8399 displayed.
« First < Previous |   3    4    5    6    7    8    9    10    11    12    13   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest