Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. termination or execution dependencies which are constraints on the occurrence of significant transaction events. In this paper, we analyze a set of (orthogonal) transaction dependencies. Here, we do not follow traditional...

Well-nested word languages have been advertised as adequate formalizations of the notion of mild context-sensitivity. The main result of this paper is a characterization of well-nested tree languages in terms of simple attributed tree transducers.

This paper proposes various strategies for the checking of integrity constraints in multidatabase systems which support nested transactions. The solution presented in 8] for centralized environments is extended. The principle of this solution consists of designating a sub-transaction which controls the checking of each integrity constraint. This sub-transaction is the smallest common ancestor (...

Bipartite graphs have received some attention in the study of social networks and of biological mutualistic systems. A generalization of a previous model is presented, that evolves the topology of the graph in order to optimally account for a given contact preference rule between the two guilds of the network. As a result, social and biological graphs are classified as belonging to two clearly ...

Force-gradient decomposition methods are used to improve the energy preservation of symplectic schemes applied to Hamiltonian systems. If the potential is composed of different parts with strongly varying dynamics, this multirate potential can be exploited by coupling force-gradient decomposition methods with splitting techniques for multi-time scale problems to further increase the accuracy of...

Bronfenbrenner’s ecological systems theory (EST) is among the most widely adopted theoretical frameworks for studying individuals in ecological contexts. In its traditional formulation, different levels of ecological systems are viewed as nested within one another. In this article, we use Simmel’s notion of intersecting social circles and Bronfenbrenner’s earlier writing on social networks to d...

Classical iterative methods for the solution of algebraic linear systems of equations proceed by solving at each step a simpler system of equations. When this system is itself solved by an (inner) iterative method, the global method is called a two-stage iterative method. If this process is repeated, then the resulting method is called a nested iterative method. We study the convergence of such...

This paper introduces techniques for compiling the nested parallelism of collectionoriented languages onto existing parallel hardware. Programmers of parallel machines encounter nested parallelism whenever they write a routine that performs parallel operations, and then want to call that routine itself in parallel. This occurs naturally in many applications. Most parallel systems, however, do n...