Although optimizing transformations have been studied for over two decades, the interactions between them is not well understood. This is particularly important for the success of parallelizing compilers. In order to deal with interactions, we view loop transformations as multiplication by a suitable matrix. The transformations considered are loop interchange, permutation, reversal, hyperplane ...

Active fault diagnosis (AFD) of parametric faults is considered in connection with closed loop feedback systems. AFD involves auxiliary signals applied on the closed loop system. A fault signature matrix is introduced in connection with AFD and it is shown that if a limited number of faults can occur in the system, a fault separation in the fault signature matrix can be obtained. Then the singl...

We present a cache locality optimization technique that can optimize a loop nest even if the arrays referenced have different layouts in memory. Such a capability is required for a global locality optimization framework that applies both loop and data transformations to a sequence of loop nests for optimizing locality. Our method finds a nonsingular iteration-space transformation matrix such th...

Although optimizing transformations have been studied for over two decades, the interactions between them is not well understood. This is particularly important for the success of parallelizing compilers. In order to deal with interactions, we view loop transformations as multiplication by a suitable matrix. The transformations considered are loop interchange, permutation, reversal, hyperplane ...

The extremely high data rates of optical computing technology (100 MWords per second and upwards) present unprecedented challenges in the dynamic memory design. An optical ber loop, used as a delay line, is the best candidate for primary, dynamic memory at this time. However, they pose special problems in the design of algorithms due to synchronization requirements between the loop data and the...

We compute at strong coupling the largeN correlation functions of supersymmetric Wilson loops in large representations of the gauge group with local operators of N = 4 super Yang-Mills. The gauge theory computation of these correlators is performed using matrix model techniques. We show that the strong coupling correlator of the Wilson loop with the stress tensor computed using the matrix model...

We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is, a while loop with linear assignments. We relate the termination of such a simple loop, on all initial values, to the eigenvectors corresponding to only the positive real eigenvalues of the matrix defining the loop a...

RNA ligands that bind to the human immunodeficiency virus type-1 (HIV-1) gag polyprotein with 10(-9) M affinity were isolated from a complex pool of RNAs using an in vitro selection method. The ligands bind to two different regions within gag, either to the matrix protein or to the nucleocapsid protein. Binding of a matrix ligand to gag did not interfere with the binding of a nucleocapsid ligan...

This paper presents a trajectory-tracking control strategy for a class of mechanical systems in Hamiltonian form. The class is characterised by a simplectic interconnection arising from the use of generalised coordinates and full actuation. The tracking error dynamic is modelled as a port-Hamiltonian Systems (PHS). The control action is designed to take the error dynamics into a desired closed-...

The matrix models which are conjectured to compute the circle Wilson loop and its correlator with chiral primary operators are mapped onto normal matrix models. A fermion droplet picture analogous to the well-known one for chiral primary operators is shown to emerge in the large N limit. Several examples are computed. We find an interesting selection rule for the correlator of a single trace Wi...