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. This paper develops the foundation for a general theory of nested transactions. We present a simple formal model for studying concurrency and resiliency in a nested environment. This model has distinct adv...

In modern multiprocessor systems, processors can be stalled by inter-task communication when reading from a remote buffer. This paper presents a solution for the inter-task communication, that has a minimal impact on the performance of the system, hides the inter-task communication latency without requiring additional hardware. The solution applies to jobs, represented as task graphs, where the...

SQL-99 allows for nested subqueries at nearly all places within a query. From a user’s point of view, nested queries can greatly simplify the formulation of complex queries. However, nested queries that are correlated with the outer queries frequently lead to dependent joins with nested loops evaluations and thus poor performance. Existing systems therefore use a number of heuristics to unnest ...

Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow components (or actors) typically operate on simple or application-specific data types, additional actors often are required to manage these nested data collections. As a result, conventional workflows become increasingly com...

A modelling system for the Adriatic Sea has been built within the framework of the Mediterranean Forecasting System Pilot Project. The modelling system consists of a hierarchy of three numerical models (whole Mediterranean Sea, whole Adriatic Sea, Northern Adriatic Basin) coupled among each other by simple one-way, off-line nesting techniques, to downscale the larger scale flow field to highly ...

In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also introduce a set of algebraic operations pertaining to the Nested Relational Sequence Model, which is an extension of the Nested Relational Data Model in order to handle XML data, to manipulate XML documents via NRS relation...

Energy storage (ES) can be a good option to reduce power curtailment and increase the total profits of an integrated energy system. This article addresses sizing problem for ES renewable plants in wind-solar-storage system (IWSSS). A basic IWSSS model is first constructed analyze operation relationship among each part. nested game established study capacity problem. The outer layer non-cooperat...

Nested sequent systems for modal logics were introduced by Kai Brünnler, and have come to be seen as an attractive deep reasoning extension of familiar sequent calculi. In an earlier paper I showed there was a connection between modal nested sequents and modal prefixed tableaus. In this paper I extend the nested sequent machinery to intuitionistic logic, both standard and constant domain, and r...

We have reported the synthesis of superstructured nanonetworks of BiOCl and nested nanonetworks of Bi(2)S(3) in a series of lattice-directed topotactic transformations [C. F. Guo et al. J. Am. Chem. Soc. 2011, 138, 8211-8215]. Here we extend the transformations to a much broader system including ordered nanowall networks of BiOCl, BiOBr, Bi(2)O(2)CO(3), β-Bi(2)O(3), and Bi(2)S(3), as well as ne...