Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8408 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
122.
WS-Pro: A Petri net based performance-driven service composition framework
by Xia, Jinchun, Ph.D.  Iowa State University. 2009: 206 pages; 3355555.
123.
Architectures for transactional memory
by McDonald, Austen, Ph.D.  Stanford University. 2009: 143 pages; 3364506.
124.
From FLOWCORE to JITFLOW: Improving the speed of Information Flow in JavaScript
by Hennigan, Eric, Ph.D.  University of California, Irvine. 2015: 193 pages; 3688532.
126.
127.
Restoring Britain: Performances of Stuart succession in Dublin, Edinburgh, and London
by O'Rourke, Deirdre, Ph.D.  University of Pittsburgh. 2014: 268 pages; 3582730.
128.
Design and architecture of automatically-generated energy-reducing coprocessors
by Sampson, John Morgan, Ph.D.  University of California, San Diego. 2010: 119 pages; 3422889.
129.
PLASA: Programming Language for Synchronous Agents
by Kilaru, Jyothsna, M.S.  California State University, Long Beach. 2018: 99 pages; 10978428.
130.
Types for the Chain of Trust: No (Loader) Write Left Behind
by Shapiro, Rebecca, Ph.D.  Dartmouth College. 2018: 221 pages; 10811531.
131.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
132.
Pipelined IEEE-754 Double Precision Floating Point Arithmetic Operators on Virtex FPGA's
by Pathanjali, Nandini, M.S.  University of Cincinnati. 2002: 110 pages; 10857176.
133.
Securing the use of sensitive data on remote devices using a hardware-software architecture
by Dwoskin, Jeffrey Scott, Ph.D.  Princeton University. 2010: 249 pages; 3410991.
134.
Parallel Junction Tree Algorithm on GPU
by Zheng, Lu, Ph.D.  Carnegie Mellon University. 2013: 94 pages; 3575068.
135.
Dynamic prediction of concurrency errors
by Sadowski, Caitlin Harrison, Ph.D.  University of California, Santa Cruz. 2012: 183 pages; 3521816.
136.
Atrocity on trial: The court-martial of Littleton Waller
by Dean, Christopher Thomas, M.A.  Arizona State University. 2009: 124 pages; 1468454.
137.
Black box methods for inferring parallel applications' properties in virtual environments
by Gupta, Ashish, Ph.D.  Northwestern University. 2008: 289 pages; 3303812.
138.
Cost-Efficient Video On Demand (VOD) Streaming Using Cloud Services
by Darwich, Mahmoud K., Ph.D.  University of Louisiana at Lafayette. 2017: 152 pages; 10682876.
140.
Enabling urgent computing within the existing distributed computing infrastructure
by Trebon, Nicholas, Ph.D.  The University of Chicago. 2011: 135 pages; 3472964.
141.
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.
142.
Performance comparison of multiprocessor programming libraries for multicore environments
by Pien, Hu Yun, M.S.  California State University, Long Beach. 2012: 68 pages; 1520921.
143.
Polymorphic chip multiprocessor architecture
by Solomatnikov, Alexandre, Ph.D.  Stanford University. 2009: 167 pages; 3343960.
144.
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.
145.
High performance methods for frequent pattern mining
by Vu, Lan, Ph.D.  University of Colorado at Denver. 2014: 190 pages; 3667246.
146.
Understanding What May Have Happened in Dynamic, Partially Observable Environments
by Molineaux, Matthew, Ph.D.  George Mason University. 2017: 173 pages; 10618399.
147.
Dynamic Trace Analysis with Zero-Suppressed BDDs
by Price, Graham David, Ph.D.  University of Colorado at Boulder. 2011: 224 pages; 3468482.
148.
149.
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.
150.
Modular Bayesian filters
by Edgington, Padraic D., Ph.D.  University of Louisiana at Lafayette. 2015: 366 pages; 3712276.
121 - 150 of 8408 displayed.
« First < Previous |   2    3    4    5    6    7    8    9    10    11    12   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest