Being able to model contention for software resources (e.g., a critical section or database lock) is paramount to building performance models that capture all aspects of the delay encountered by a process as it executes. Several methods have been offered for dealing with software contention and with message blocking in client-server systems. This paper presents a general, straightforward, easy ...

Iterative maps on SO(3) with two stable fixed points are described. These generate bistable spectroscopic excitation sequences for isolated two-level systems. From such sequences, tailored population inversion over specific ranges of parameters such as the resonance frequency or radiation amplitude can be obtained. The ideas developed here suggest ways of designing tailored excitation sequences...

Determining the correspondences among heterogeneous data sources, which is critical to integration of the data sources, is a complex and resource-consuming task that demands automated support. We propose an iterative procedure for detecting both schema-level and instance-level correspondences from heterogeneous data sources. Cluster analysis techniques are used first to identify similar schema ...

Finite element modelling of three dimensional elasticity problems gives rise to large sparse matrices. Various preconditioning methods are developed for use in preconditioned conjugate gradient iterative solution techniques. Incomplete factorizations based on levels of fill, drop tolerance, and a two level hierarchical basis are developed. Various techniques for ensuring that the incomplete fac...

In this paper, we investigate the combined use of static techniques and dynamic feedback information to achieve a high level of optimization of both compiler eeciency and code performance. In previous work, we have introduced a new compiler approach, iterative compilation, to select the best tile sizes and unrolling factors. In this approach, many versions of programs are generated and their wo...