Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8399 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
61.
User inspired management of scientific jobs in grids and clouds
by Withana, Eran Chinthaka, Ph.D.  Indiana University. 2011: 151 pages; 3488334.
62.
Movement selectivity and the human mirror system
by Dinstein, Ilan, Ph.D.  New York University. 2010: 153 pages; 3396635.
63.
Multi-level adaptation for performability in dynamic web service workflows
by Ramakrishnan, Lavanya, Ph.D.  Indiana University. 2009: 315 pages; 3378395.
64.
Directory Storage Efficiency Improvement for Chip-Multiprocessors
by Shu, Wei, Ph.D.  University of Louisiana at Lafayette. 2018: 120 pages; 13420085.
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.
Parallelization of lane detection algorithm using OpenCL
by Kalay, Harshal A., M.S.  California State University, Long Beach. 2015: 106 pages; 1603755.
67.
68.
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.
69.
70.
Joint Reliability and Energy Management for Real-Time Embedded Systems
by Zhao, Baoxian, Ph.D.  George Mason University. 2012: 170 pages; 3522025.
71.
Software modulated fault tolerance
by Reis, George A., III, Ph.D.  Princeton University. 2008: 104 pages; 3308327.
72.
Integrated hardware/software approaches to software security for embedded systems
by Gelbart, Olga, D.Sc.  The George Washington University. 2008: 137 pages; 3297440.
73.
Algorithms and Techniques for Dynamic Resource Management across Cloud-Edge Resource Spectrum
by Shekhar, Shashank, Ph.D.  Vanderbilt University. 2018: 183 pages; 13877337.
74.
Metrics for Aspect Mining Visualization
by Jorgensen, Gisle J., Ph.D.  Nova Southeastern University. 2018: 85 pages; 10842982.
75.
Opportunities for near data computing in MapReduce workloads
by Pugsley, Seth Hintze, Ph.D.  The University of Utah. 2015: 98 pages; 3704952.
76.
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.
77.
High Performance On-Demand Video Transcoding Using Cloud Services
by Li, Xiangbo, Ph.D.  University of Louisiana at Lafayette. 2016: 147 pages; 10245247.
78.
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.
79.
Design for Competitive Automated Layout (DCAL) of Superscalar Processors
by Ku, Sungkwan, Ph.D.  North Carolina State University. 2017: 106 pages; 10970028.
80.
Social network analysis: Determining betweenness centrality of a network using Ant Colony Optimization
by Rubano, Vincent, M.S.  Southern Connecticut State University. 2016: 117 pages; 10108549.
81.
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.
82.
Random Linear Network Coding with Added Prefix Bits
by Mickey, Joshua, M.S.  University of Louisiana at Lafayette. 2017: 68 pages; 10682547.
83.
On the test-driven development of emerging modularization mechanisms
by Setty, Rakesh B., M.S.  Iowa State University. 2008: 82 pages; 1461967.
84.
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.
85.
Preserving the appeal of transactional programming
by Dalessandro, Luke K., Ph.D.  University of Rochester. 2014: 183 pages; 3614950.
86.
Queue Streaming Model: Theory, Algorithms, and Implementation
by Zope, Anup D., Ph.D.  Mississippi State University. 2019: 215 pages; 13860290.
87.
The Impact of Risk Identification Biases and Trends on Space System Project Performance
by Reeves, John Daniel, Jr., Ph.D.  The George Washington University. 2013: 140 pages; 3557501.
88.
Use of GPU architecture to optimize Rabin fingerprint data chunking algorithm by concurrent programming
by Wang, Sean, M.S.  California State University, Long Beach. 2016: 48 pages; 10108186.
89.
Agiles Geschäftsprozessmanagement auf Basis gebrauchssprachlicher Modellierung
by Wiedmann, Peter Christian Karl, Dr.Nat.  Universitaet Bayreuth (Germany). 2017: 349 pages; 10742051.
90.
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.
61 - 90 of 8399 displayed.
« First < Previous |   1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest