Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8415 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
181.
Efficient particle-in-cell simulation of auroral plasma phenomena using a CUDA enabled graphics processing unit
by Sewell, Stephen, M.S.E.  The University of Alabama in Huntsville. 2014: 148 pages; 1559557.
182.
Acceleration of streaming applications on FPGAs from high level constructs
by Mitra, Abhishek, Ph.D.  University of California, Riverside. 2008: 192 pages; 3341851.
183.
Automated Construction of Robotic Manipulation Programs
by Diankov, Rosen, Ph.D.  Carnegie Mellon University. 2010: 239 pages; 3448143.
184.
Team Collaboration as a System of Systems Agent-Based Model
by Torres, Edwin Ross, D.Engr.  The George Washington University. 2018: 144 pages; 10743109.
185.
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.
186.
188.
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.
189.
Detection and Prevention of Misuse of Software Components
by Ting, Dai, Ph.D.  National University of Singapore (Singapore). 2015: 141 pages; 10005992.
190.
Autonomic Performance Optimization with Application to Self-Architecting Software Systems
by Ewing, John M., Ph.D.  George Mason University. 2015: 207 pages; 3706982.
191.
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.
192.
Block Diagram Simulator with Microcontroller-in-the-Loop capabilities
by Gabriel, Josef, M.S.  Southern Illinois University at Edwardsville. 2015: 156 pages; 10014012.
193.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
194.
A special unit to speed up a DSP processor
by Chenna Subbanagari, Uday Kumar Reddy, M.S.  California State University, Long Beach. 2016: 50 pages; 10108176.
195.
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.
196.
Anonymous routing for privacy-preserving distributed computing
by Xiaolu, Zhu, M.S.  National University of Singapore (Singapore). 2015: 62 pages; 10006135.
197.
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.
198.
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.
199.
A framework for automated generation of specialized function variants
by Chaimov, Nicholas A., M.S.  University of Oregon. 2012: 64 pages; 1516795.
200.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
201.
A unified innovation process model for engineering designers and managers
by Skogstad, Philipp Leo Stefan, Ph.D.  Stanford University. 2009: 212 pages; 3364513.
202.
An empirical assessment of the crosscutting concern problem
by Eaddy, Marc, Ph.D.  Columbia University. 2008: 182 pages; 3305217.
203.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
204.
Efficient primitives and algorithms for many-core architectures
by Sengupta, Shubhabrata, Ph.D.  University of California, Davis. 2010: 164 pages; 3444098.
205.
Context-based Service Performance Profile Management System in SOA
by Lee, Jinhwan, Ph.D.  University of California, Irvine. 2013: 129 pages; 3599358.
206.
208.
209.
Correlation of Software Quality Metrics and Performance
by Liu, Yan, Ph.D.  Nova Southeastern University. 2012: 131 pages; 3499922.
210.
Efficient Data Processing from Network Camera and its Application
by Koh, Youngsol, M.S.E.C.E.  Purdue University. 2017: 38 pages; 10255592.
181 - 210 of 8415 displayed.
« First < Previous |   4    5    6    7    8    9    10    11    12    13    14   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest