Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 24 for “"Strong consistency"”.
-
Functional programming abstractions for weakly consistent systems
… relied on the underlying system providing <em>strong memory consistency,</em> where there is a semblance of concurrent tasks operating over a shared global address space. However, providing scalable strong consistency guarantees as the scale of the system grows is an increasingly difficult …
-
Low-overhead distributed transaction coordination
… storage applications. Granola provides a strong consistency model, while significantly reducing transaction coordination overhead. Granola supports general atomic operations, enabling it to be used as a platform on which to build various storage systems, e.g., databases or object stores. …
-
Rethinking Storage System Design in Distributed NVRAM+RDMA Clusters
… data management systems with low latency and strong consistency guarantees. In this thesis, we investigate the design space for distributed storage systems based on these emerging technologies. The design focuses on three components: a novel high-performance and strongly consistent data access …
-
Theory and applications of nonparametric regression in item response theory
… characteristic curve estimates is studied and a strong consistency result is obtained showing that the worst case error in the item characteristic curve estimates over all items and ability levels converges to zero with probability equal to one.
-
Record and replay under relaxed consistency
… However, very little is known about how the consistency model affects record and replay. Previous work only applied to very strong consistency models, or to a specific architecture of shared memory. Very little theoretical basis has been developed for record and replay. This thesis makes …
-
Memory consistency models for high performance distributed computing
… a mathematical framework for specifying the consistency guarantees of high performance distributed shared memory multiprocessors. This framework is based on computations, which specify the operations requested and constraints on how these operations may be applied; we call the framework …
-
Metacognitive intervention for the alleviation of learned helplessness
… should be constructed, teachers would develop a stronger belief that, through their pedagogical practices, they could impact students' individual learning outcomes as well as the classroom environment. In order to achieve this endeavor, an eight-week intervention was conducted in a low-achieving …
-
Stabilized finite element solution of optimal control problems in computational fluid dynamics
… on significant mesh refinement to establish strong consistency properties, when using low-order elements. We present an approach to improve the consistency properties of such methods. We develop the methodology for the numerical solution of optimal control problems using the aforementioned …
-
Detecting and tolerating Byzantine faults in database systems
… and snapshot epoch scheduling (SES) that provide strong consistency and good performance. The two protocols provide different types of consistency: CBS provides single-copy serializability and SES provides single-copy snapshot isolation. We have implemented both protocols in the context of a …
-
Transactions and data management in NoSQL cloud databases
… First, NoSQL databases cannot guarantee strong consistency of data. They only guarantee a weaker consistency which is based on eventual consistency model. Second, NoSQL databases adopt a simple data model which makes it easy for data to be scaled across multiple nodes. Third, NoSQL …
-
Reading Achievement in High - Stak es Testing: Patterns and Predictability Across Time
… school district. Correlations indicated very strong consistency over time in rank ordering of students. Decision statistics revealed that the 3rd grade PSSA was good at identifying students who would be successful on the test in later years. However, about half the students who failed the PSSA …
-
On inference about rare events
… often has Zipf law behavior. We then study the strong consistency of estimators, in the sense of ratios converging to one. We first show that the Good-Turing estimator is not universally consistent. We then use Karamata's theory of regular variation to prove that regularly varying heavy tails …
-
On Improving Distributed Transactional Memory through Nesting, Partitioning and Ordering
… DTM employs transactions in order to guarantee consistency in a concurrent execution. When two or more transactions conflict, all but one need to be delayed or rolled back. Transactional Memory supports code composability by nesting transactions. Nesting how- ever can be used as a strategy to …
-
Confidence bands for survival curves using model assisted cox regression
The goal of this dissertation is to develop informative subject-specific simultaneous confidence bands (SCBs) for survival functions from right censored data. The approach is based on an extension of semiparametric random censorship models (SRCMs) to Cox regression, which produces reliable and more …
-
A Theoretical Development and Simulation-Based Comparison of Four Parameter Estimation Methods for the Spatio-Temporal Autologistic Model with Emphasis on Maximum Generalized and Block Generalized Pseudolikelihood
… and finally, the basic asymptotic property of strong consistency is established for the estimates obtained via maximum generalized and maximum block generalized pseudolikelihood.</p> <p>In addition to the aforementioned theoretical components, this dissertation also includes two simulation …
-
A Theoretical Development and Simulation-Based Comparison of Four Parameter Estimation Methods for the Spatio-Temporal Autologistic Model with Emphasis on Maximum Generalized and Block Generalized Pseudolikelihood
… and finally, the basic asymptotic property of strong consistency is established for the estimates obtained via maximum generalized and maximum block generalized pseudolikelihood.</p> <p>In addition to the aforementioned theoretical components, this dissertation also includes two simulation …
-
Improving Network Performance and Document Dissemination by Enhancing Cache Consistency on the Web Using Proxy and Server Negotiation
… is growing concern over how to maintain cache consistency and coherency among cached versions of documents. The existing consistency protocols used in the Web are proving to be insufficient to meet the growing needs of the Internet population. For example, too many messages sent over the …
-
Systems and applications for persistent memory
… (with memory-mapped I/O). To provide strong consistency guarantees, PMFS requires only a simple hardware primitive that provides software enforceable guarantees of durability and ordering of stores to PM. We demonstrate that PMFS achieves significant (up to an order of magnitude) gains …
-
Essays in Financial Econometrics and Forecasting
… returns and the volatility process. I also prove strong consistency and asymptotic normality for the parameter vector at the usual $\sqrt{T}$ rate. Finally, I demonstrate how the developed theory can be viewed as a generalisation of the QMLE theory for the standard GARCH(1,1) model. In chapter 3, …
-
Extension and verification of the PWM_SA model to incorporate SANI-specific bioprocesses using experimental data from the Hong Kong SANI saline sewage treatment pilot plant.
… across key chemical species and overall internal consistency. Specifically, the model extension aimed to ensure mass balance verification across Chemical Oxygen Demand (COD), Sulfur (S), Phosphorus (P), and Nitrogen (N), and to verify the extended model using empirical data from the Hong Kong SANI …
Page 1 of 2