Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
360 open access dissertations and theses found for:
if(Concurrency)  »   Refine Search
1.
Dynamic prediction of concurrency errors
by Sadowski, Caitlin Harrison, Ph.D.  University of California, Santa Cruz. 2012: 183 pages; 3521816.
2.
High Performance Multi-core Transaction Processing via Deterministic Execution
by Faleiro, Jose Manuel, Ph.D.  Yale University. 2018: 199 pages; 13851858.
3.
Extensible scheduling in a Haskell-based operating system
by Graunke, Kenneth William, M.S.  Portland State University. 2010: 98 pages; 1477871.
4.
Relativistic Causal Ordering A Memory Model for Scalable Concurrent Data Structures
by Triplett, Josh, Ph.D.  Portland State University. 2012: 154 pages; 3502650.
6.
Result Distribution in Big Data Systems
by Cheelangi, Madhusudan, M.S.  University of California, Irvine. 2013: 63 pages; 1539891.
7.
Enabling efficient parallel scripting on large-scale computers
by Zhang, Zhao, Ph.D.  The University of Chicago. 2014: 125 pages; 3627911.
8.
Extending Relativistic Programming to Multiple Writers
by Howard, Philip William, Ph.D.  Portland State University. 2012: 167 pages; 3502918.
9.
Stopping data races using Redflag
by Duggal, Abhinav, M.S.  State University of New York at Stony Brook. 2010: 38 pages; 1477351.
11.
Application hardware-software co-design for reconfigurable computing systems
by Saha, Proshanta, Ph.D.  The George Washington University. 2008: 151 pages; 3297468.
12.
Alternative History: Multi-Log Systems in Theory and Practice
by Lockerman, Joshua Z., Ph.D.  Yale University. 2019: 94 pages; 13808089.
13.
Cooperability: A new property for multithreading
by Yi, Jaeheon, Ph.D.  University of California, Santa Cruz. 2011: 222 pages; 3497948.
14.
15.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
17.
Improving Haskell Transactional Memory
by Yates, Ryan, Ph.D.  University of Rochester. 2019: 233 pages; 22620919.
18.
Hardware Transactional Memory: A Systems Perspective
by Rossbach, Christopher John, Ph.D.  The University of Texas at Austin. 2009: 204 pages; 3434949.
19.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
20.
Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification
by Gottschlich, Justin E., Ph.D.  University of Colorado at Boulder. 2011: 163 pages; 3453718.
21.
Deterministic Parallelization of Object-Oriented Code Through Out-of-Order Execution
by Jenista, James C., Ph.D.  University of California, Irvine. 2012: 291 pages; 3523925.
23.
On Fuzzing Concurrent Programs with C++ Atomics
by Snyder, Zachary, M.S.  University of California, Irvine. 2019: 69 pages; 27665167.
24.
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.
25.
Performance comparison of multiprocessor programming libraries for multicore environments
by Pien, Hu Yun, M.S.  California State University, Long Beach. 2012: 68 pages; 1520921.
26.
Diagnosing performance changes in distributed sytems by comparing requesting request flows
by Sambasivan, Raja Raman, Ph.D.  Carnegie Mellon University. 2013: 137 pages; 3573456.
27.
Design-time software quality modeling and analysis of distributed software-intensive systems
by Cheung, Leslie Chi-Keung, Ph.D.  University of Southern California. 2011: 153 pages; 3465961.
29.
Queue Streaming Model: Theory, Algorithms, and Implementation
by Zope, Anup D., Ph.D.  Mississippi State University. 2019: 215 pages; 13860290.
30.
On the Representation of Distributed Behavior
by Shaver, Christopher Daniel, Ph.D.  University of California, Berkeley. 2016: 240 pages; 10251401.
1 - 30 of 360 displayed.
  1    2    3    4    5    6    7    8    9    10   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest