Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9191 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
181.
Programmable and Scalable Software-Defined Networking Controllers
by Voellmy, Andreas Richard, Ph.D.  Yale University. 2014: 219 pages; 3580888.
182.
Analyzing and Securing Embedded Systems
by Spensky, Chad Samuel, Ph.D.  University of California, Santa Barbara. 2020: 168 pages; 28090001.
183.
Formally ensuring the permissibility of obligations in security and privacy policies
by Chowdhury, Omar Haider, Ph.D.  The University of Texas at San Antonio. 2013: 306 pages; 3594559.
184.
Adaptation of AspectJ for C sharp
by Tam, Rachel, M.S.  California State University, Long Beach. 2013: 157 pages; 1523056.
185.
Simulation and characterization of inter-process interference on multithreaded and multicore architectures
by Kihm, Joshua Lee, Ph.D.  University of Colorado at Boulder. 2008: 309 pages; 3315818.
186.
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.
187.
Correlation of Software Quality Metrics and Performance
by Liu, Yan, Ph.D.  Nova Southeastern University. 2012: 131 pages; 3499922.
188.
189.
Efficient computation of diverse query results
by Lu, Li, Ph.D.  National University of Singapore (Singapore). 2015: 198 pages; 10006041.
190.
Inter-job Optimization in High Performance Computing
by Savoie, Lee Hilton, Ph.D.  The University of Arizona. 2019: 111 pages; 22617929.
191.
Defeating memory error exploits using automated software diversity
by Bhatkar, Sandeep, Ph.D.  State University of New York at Stony Brook. 2007: 123 pages; 3337612.
192.
Context-based Service Performance Profile Management System in SOA
by Lee, Jinhwan, Ph.D.  University of California, Irvine. 2013: 129 pages; 3599358.
193.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
194.
A Publish-Subscribe Framework for Embedded Systems: Simplifying the Development Process
by Schoettler, Michael R., M.S.  California State University, Long Beach. 2017: 68 pages; 10604640.
195.
Block Diagram Simulator with Microcontroller-in-the-Loop capabilities
by Gabriel, Josef, M.S.  Southern Illinois University at Edwardsville. 2015: 156 pages; 10014012.
196.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
197.
Multiplayer Educational Role Playing Games (MPERPGs) and the Application of Leadership
by Clayton, Andrew Stafford, Ed.D.  Grand Canyon University. 2017: 348 pages; 10257450.
198.
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.
199.
Autonomic Performance Optimization with Application to Self-Architecting Software Systems
by Ewing, John M., Ph.D.  George Mason University. 2015: 207 pages; 3706982.
200.
Safety Engineering of Computational Cognitive Architectures within Safety-Critical Systems
by Dreany, Harry Hayes, Ph.D.  The George Washington University. 2018: 204 pages; 10688677.
201.
Team Collaboration as a System of Systems Agent-Based Model
by Torres, Edwin Ross, D.Engr.  The George Washington University. 2018: 144 pages; 10743109.
202.
An Educational Operating System Supporting Computer Security
by McGee, Patrick J., M.S.  Marquette University. 2020: 52 pages; 27838086.
203.
Architectures for Stateful Data-intensive Analytics
by Logothetis, Dionysios, Ph.D.  University of California, San Diego. 2011: 129 pages; 3486845.
204.
Resource Allocation and Scheduling in Heterogeneous Cloud Environments
by Lee, Gunho, Ph.D.  University of California, Berkeley. 2012: 111 pages; 3527037.
205.
Dissertation beyond shared memory loop parallelism in the polyhedral model
by Yuki, Tomofumi, Ph.D.  Colorado State University. 2013: 137 pages; 3565471.
206.
Automated Construction of Robotic Manipulation Programs
by Diankov, Rosen, Ph.D.  Carnegie Mellon University. 2010: 239 pages; 3448143.
207.
A framework for automated generation of specialized function variants
by Chaimov, Nicholas A., M.S.  University of Oregon. 2012: 64 pages; 1516795.
208.
209.
A framework for resolving mismatches that may occur during system integration using COTS software
by Tanyi, Horatious Njie, D.Sc.  The George Washington University. 2010: 105 pages; 3397241.
210.
A self -testing approach for autonomic software
by King, Tariq M., Ph.D.  Florida International University. 2009: 109 pages; 3395789.
181 - 210 of 9191 displayed.
« First < Previous |   4    5    6    7    8    9    10    11    12    13    14   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest