This paper presents the Explicitly Integrated Architecture Process for integrating architecture models with program code. The process allows to edit program code using architecture model views with automatic bidirectional translations.

The usefulness and applicability of the Static Single Assignment (SSA) framework is undisputed. SSA was originally crafted for sequential programs manipulating scalars, but it has been separately extended to parallel programs on the one hand, and to sequential programs with arrays on the other. In an Array SSA framework, arrays are precisely handled on an element-per-element basis. This paper p...

We propose a model-driven approach to parallel programming of SPMD-style, explicitly parallel computations. We define an executable, platform-independent modeling language with explicitly parallel control and data flow for an abstract parallel computer with shared address space, and implement it as an extension of UML2 activity diagrams and a generator for Fork source code that can be compiled ...

Objective measures to evaluate quality of life are gaining importance as an adjuvant in assessing therapeutic interventions. The study purpose was to compare quality of life in renal transplant patients with functioning graft and those who restarted dialysis after graft loss. Quality of life was measured using the World Health Organization Quality of Life questionnaire (WHOQOL-Bref). One hundre...

Many problems in science and engineering field require the solution of shifted linear systems with multiple right hand sides and multiple shifts. To solve such systems efficiently, the implicitly restarted global GMRES algorithm is extended in this paper. However, the shift invariant property could no longer hold over the augmented global Krylov subspace due to adding the harmonic Ritz matrices...

The lobes of radio-loud AGNs are huge reservoirs of energy so even if the central engine turns off, the radio source is still observable for a substantial amount of time. It is quite obvious, however, that the ignition of a new period of activity can occur before the lobes have faded completely. Restarted activity has been observed in several giant radio galaxies but until recently, it has hard...

Abstract. This paper studies admissible convergence curves for restarted GMRES and their relation to the curves for full GMRES. It shows that stagnation at the end of a restart cycle is mirrored at the beginning of the next cycle. Otherwise, any non-increasing convergence curve is possible and pairs {A, b} are constructed such that when restarted GMRES is applied to Ax = b, prescribed residual ...

Definition  Thread-Level Speculation (TLS) refers to an environ ment where execution threads operate speculatively,  performing potentially unsafe operations, and tem porarily buffering the state they generate in a buffer or  cache. At a certain point, the operations of a thread are  declared to be correct or incorrect. If they are correct,  the thread commits, merging the state i...

The generalized minimum residual method (GMRES) is well known for solving large nonsymmetric systems of linear equations. It generally uses restarting, which slows the convergence. However, some information can be retained at the time of the restart and used in the next cycle. We present algorithms that use implicit restarting in order to retain this information. Approximate eigenvectors determ...

In this paper an interesting property of the restarted FOM algorithm for solving large nonsymmetric linear systems is presented and studied. By establishing a relationship between the convergence of its residual vectors and the convergence of Ritz values in the Arnoldi procedure, it is shown that some important information of previous FOM(m) cycles may be saved by the iteration approximates at ...