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
61.
Movement selectivity and the human mirror system
by Dinstein, Ilan, Ph.D.  New York University. 2010: 153 pages; 3396635.
62.
Application hardware-software co-design for reconfigurable computing systems
by Saha, Proshanta, Ph.D.  The George Washington University. 2008: 151 pages; 3297468.
63.
On multimedia content delivery and multicasting
by Chen, Yuh-Rong, Ph.D.  The University of Oklahoma. 2012: 130 pages; 3546574.
64.
Multi-level adaptation for performability in dynamic web service workflows
by Ramakrishnan, Lavanya, Ph.D.  Indiana University. 2009: 315 pages; 3378395.
65.
Automated Configuration and Deployment of Applications in Heterogeneous Cloud Environments
by Bunch, Chris, Ph.D.  University of California, Santa Barbara. 2012: 245 pages; 3553710.
66.
Structant: A Context-Aware Task Management Framework for Heterogeneous Computational Environments
by Pachulski, Andrew James, Ph.D.  University of Maryland, College Park. 2019: 247 pages; 22588276.
67.
Directory Storage Efficiency Improvement for Chip-Multiprocessors
by Shu, Wei, Ph.D.  University of Louisiana at Lafayette. 2018: 120 pages; 13420085.
68.
User inspired management of scientific jobs in grids and clouds
by Withana, Eran Chinthaka, Ph.D.  Indiana University. 2011: 151 pages; 3488334.
69.
Software modulated fault tolerance
by Reis, George A., III, Ph.D.  Princeton University. 2008: 104 pages; 3308327.
70.
Algorithms and Techniques for Dynamic Resource Management across Cloud-Edge Resource Spectrum
by Shekhar, Shashank, Ph.D.  Vanderbilt University. 2018: 183 pages; 13877337.
71.
Joint Reliability and Energy Management for Real-Time Embedded Systems
by Zhao, Baoxian, Ph.D.  George Mason University. 2012: 170 pages; 3522025.
72.
Unduly harsh and unworkably rigid: The death penalty in North Carolina, 1910–1961
by Kotch, Seth, Ph.D.  The University of North Carolina at Chapel Hill. 2009: 289 pages; 3352719.
73.
74.
Preserving the appeal of transactional programming
by Dalessandro, Luke K., Ph.D.  University of Rochester. 2014: 183 pages; 3614950.
75.
Parallelization of lane detection algorithm using OpenCL
by Kalay, Harshal A., M.S.  California State University, Long Beach. 2015: 106 pages; 1603755.
76.
77.
Design for Competitive Automated Layout (DCAL) of Superscalar Processors
by Ku, Sungkwan, Ph.D.  North Carolina State University. 2017: 106 pages; 10970028.
78.
High Performance On-Demand Video Transcoding Using Cloud Services
by Li, Xiangbo, Ph.D.  University of Louisiana at Lafayette. 2016: 147 pages; 10245247.
79.
Precisely serializable snapshot isolation
by Revilak, Stephen A., Ph.D.  University of Massachusetts Boston. 2011: 176 pages; 3490005.
80.
Hierarchical scheduling and uniform access programming frameworks for heterogeneous CPU-GPU computing clusters
by Sajjapongse, Kittisak, Ph.D.  University of Missouri - Columbia. 2015: 178 pages; 10178997.
81.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
82.
Integrated hardware/software approaches to software security for embedded systems
by Gelbart, Olga, D.Sc.  The George Washington University. 2008: 137 pages; 3297440.
83.
Queue Streaming Model: Theory, Algorithms, and Implementation
by Zope, Anup D., Ph.D.  Mississippi State University. 2019: 215 pages; 13860290.
84.
Metrics for Aspect Mining Visualization
by Jorgensen, Gisle J., Ph.D.  Nova Southeastern University. 2018: 85 pages; 10842982.
85.
A binary classifier for test case feasibility applied to automatically generated tests of event-driven software
by Robbins, Bryan Thomas, III, Ph.D.  University of Maryland, College Park. 2016: 135 pages; 10128641.
86.
Improving Reliability of Real-time Embedded Systems
by Ma, Yue, Ph.D.  University of Notre Dame. 2019: 157 pages; 27930191.
87.
Out-of-order Parallel Discrete Event Simulation for Electronic System-Level Design
by Chen, Weiwei, Ph.D.  University of California, Irvine. 2013: 194 pages; 3597427.
88.
Selenium in the detoxification of arsenic: Mechanisms and clinical efficacy
by La Porte, Paul Francois, Ph.D.  The University of Chicago. 2011: 215 pages; 3472891.
89.
Opportunities for near data computing in MapReduce workloads
by Pugsley, Seth Hintze, Ph.D.  The University of Utah. 2015: 98 pages; 3704952.
90.
The multiprocessor real -time scheduling of general task systems
by Fisher, Nathan Wayne, Ph.D.  The University of North Carolina at Chapel Hill. 2007: 254 pages; 3272810.
61 - 90 of 9106 displayed.
« First < Previous |   1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest