Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Dielectronic recombination in He-like, Li-like, and Be-like highly charged ions in the KLL and KLM manifolds

This paper reports a systematic study of the dependence on atomic number of the dielectronic recombination resonance strengths for He-like, Li-like and Be-like ions. Recent measurements of dielectronic recombination resonance strengths for the KLL and KLM manifolds for iron, yttrium, iodine, holmium, and bismuth are also described. The resonance strengths were normalized to calculated electron impact ionization cross sections. The measured resonance strengths generally agree well with theoretical calculations using the distorted wave approximation. However, KLM resonance strength measurements on high atomic number open-shell ions gave higher values than those suggested by calculations. Using recently measured data, along with existing results, scaling laws have been generated as a function of atomic number for He-like, Li-like, and Be-like ions in the KLL and KLM manifolds.