Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9106 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
151.
Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
by Hernandez, Ivory, M.S.C.S.  University of South Florida. 2017: 65 pages; 10640802.
152.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
153.
Improving Haskell Transactional Memory
by Yates, Ryan, Ph.D.  University of Rochester. 2019: 233 pages; 22620919.
154.
Dynamic Trace Analysis with Zero-Suppressed BDDs
by Price, Graham David, Ph.D.  University of Colorado at Boulder. 2011: 224 pages; 3468482.
155.
Polymorphic chip multiprocessor architecture
by Solomatnikov, Alexandre, Ph.D.  Stanford University. 2009: 167 pages; 3343960.
157.
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.
158.
159.
Enabling efficient parallel scripting on large-scale computers
by Zhang, Zhao, Ph.D.  The University of Chicago. 2014: 125 pages; 3627911.
160.
Hardware Transactional Memory: A Systems Perspective
by Rossbach, Christopher John, Ph.D.  The University of Texas at Austin. 2009: 204 pages; 3434949.
162.
Modular Bayesian filters
by Edgington, Padraic D., Ph.D.  University of Louisiana at Lafayette. 2015: 366 pages; 3712276.
163.
Reusable Software Infrastructure for Stream Processing
by Soule, Robert, Ph.D.  New York University. 2012: 178 pages; 3524263.
164.
A unified innovation process model for engineering designers and managers
by Skogstad, Philipp Leo Stefan, Ph.D.  Stanford University. 2009: 212 pages; 3364513.
165.
166.
An empirical assessment of the crosscutting concern problem
by Eaddy, Marc, Ph.D.  Columbia University. 2008: 182 pages; 3305217.
167.
Efficient primitives and algorithms for many-core architectures
by Sengupta, Shubhabrata, Ph.D.  University of California, Davis. 2010: 164 pages; 3444098.
168.
Black box methods for inferring parallel applications' properties in virtual environments
by Gupta, Ashish, Ph.D.  Northwestern University. 2008: 289 pages; 3303812.
169.
A Functional Approach to Memory-Safe Operating Systems
by Leslie, Rebekah, Ph.D.  Portland State University. 2011: 342 pages; 3481882.
170.
Smart home control using Raspberry Pi in Internet of things environment
by Addimulam, Sushanth Chandra, M.S.  California State University, Long Beach. 2015: 70 pages; 1603977.
171.
Murder in Colonial Albany: European and Indian Responses to Cross-Cultural Murders
by Goldstein, Jacob, M.A.  The George Washington University. 2012: 145 pages; 1517173.
172.
Examination of the brain processes underlying emotion regulation within a stress resilient population
by Costanzo, Michelle Elizabeth, Ph.D.  University of Maryland, College Park. 2011: 299 pages; 3461507.
173.
Enhancing privacy in cryptographic protocols
by Shin, Ji Sun, Ph.D.  University of Maryland, College Park. 2009: 146 pages; 3359424.
174.
Computer Vision and Image Processing: Development and Optimization of MATLAB CVIP Toolbox
by Mishra, Deependra, M.S.  Southern Illinois University at Edwardsville. 2018: 92 pages; 10807716.
175.
Adaptation of AspectJ for C sharp
by Tam, Rachel, M.S.  California State University, Long Beach. 2013: 157 pages; 1523056.
176.
Analyzing and Securing Embedded Systems
by Spensky, Chad Samuel, Ph.D.  University of California, Santa Barbara. 2020: 168 pages; 28090001.
177.
Symbiotic virtualization
by Lange, John Russell, Ph.D.  Northwestern University. 2010: 224 pages; 3426601.
178.
Performance evaluation of inexact GMRES
by Winkles, Nathan E., Ph.D.  The University of Alabama. 2011: 122 pages; 3478682.
179.
Programmable and Scalable Software-Defined Networking Controllers
by Voellmy, Andreas Richard, Ph.D.  Yale University. 2014: 219 pages; 3580888.
180.
On Fuzzing Concurrent Programs with C++ Atomics
by Snyder, Zachary, M.S.  University of California, Irvine. 2019: 69 pages; 27665167.
151 - 180 of 9106 displayed.
« First < Previous |   3    4    5    6    7    8    9    10    11    12    13   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest