-
1
-
2
Hybrid Atomicity for Nested Transactions
Published 2023“…This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. …”
Get full text
-
3
Introduction to the Theory of Nested Transactions
Published 2023“…A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm.…”
Get full text
-
4
-
5
The conformal loop ensemble nesting field
Published 2016“…We show that the number of loops surrounding an ε-ball (a random function of z and ε) minus its expectation converges almost surely as ε→0 to a random conformally invariant limit in the space of distributions, which we call the nesting field. We generalize this result by assigning i.i.d. weights to the loops, and we treat an alternate notion of convergence to the nesting field in the case where the weight distribution has mean zero. …”
Get full text
Article -
6
-
7
Concurrency Control for Resilient Nested Transaction
Published 2023“…Concurrency control theory is extended to handle nested transactions with failures. The theory is used to present a rigorous correctness proof of a variant of Moss' locking algorithm for implementing nested transactions. …”
Get full text
-
8
Data Replication in Nested Transaction Systems
Published 2023“…Gifford's basic Quorum Consensus algorithm for data replication is generalized to accommodate nested transactions and transaction failures (aborts). …”
Get full text
-
9
An On-Line Study of Japanese Nesting Complexity
Published 2011“…This paper reports the results of a self-paced reading experiment in Japanese in which the materials consisted of four versions of successively more nested syntactic structures. It was found that (1) people read the more nested materials slower than the less nested materials; and (2) the locus of the relative slowdown occurred early in the nested structures. …”
Get full text
Get full text
Article -
10
Optimistic Concurrency Control for Nested Distributed Transactions
Published 2023“…This thesis extends previous work on optimistic concurrency control to distributed system with nested actions.…”
Get full text
-
11
-
12
Safe Open-Nested Transactions Through Ownership
Published 2008Subjects: “…abstract serializability, open-nested transactions, ownership types, ownership-aware transactions, serializability by levels, serializability by modules, transactional memory, Xmodules…”
Get full text
-
13
-
14
-
15
A Decomposition Algorithm for Nested Resource Allocation Problems
Published 2016Get full text
Get full text
Article -
16
-
17
Directed random polymers via nested contour integrals
Published 2018“…In contrast to other replica method work, we do not appeal directly to the Bethe ansatz for the Lieb-Liniger model but rather utilize nested contour integral formulas for moments as well as their residue expansions. …”
Get full text
Get full text
Get full text
Article -
18
Architectural techniques to unlock ordered and nested speculative parallelism
Published 2019Get full text
Thesis -
19
Separable Convex Optimization with Nested Lower and Upper Constraints
Published 2021Get full text
Article -
20
Separable Convex Optimization with Nested Lower and Upper Constraints
Published 2022Get full text
Article