Hybrid performance modeling and prediction of large-scale computing systems

Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maximal theoretical performance of the large-scale computing system. The model-based performance evaluation may be used to support the performance-oriented program development for large-scale computing systems. In this paper we present a hybrid approach for performance modeling and prediction of parallel and distributed computing systems, which combines mathematical modeling and discrete-event simulation. We use mathematical modeling to develop parameterized performance models for components of the system. Thereafter, we use discrete-event simulation to describe the structure of system and the interaction among its components. As a result, we obtain a high-level performance model, which combines the evaluation speed of mathematical models with the structure awareness and fidelity of the simulation model. We evaluate empirically our approach with a real-world material science program that comprises more than 15,000 lines of codePeer ReviewedPostprint (published version

Automatic performance model transformation from UML to C++

We address the issue of the development of performance models for programs that may be executed on large-scale computing systems. The commonly used approaches apply non-standard notations for model specification and often require that the software engineer has a thorough understanding of the underlying performance modeling technique. We propose to bridge the gap between the performance modeling and software engineering by incorporating UML. In our approach we aim to permit the graphical specification of performance model in a human-intuitive fashion on one hand, but on the other hand we aim for a machine-efficient model evaluation. The user specifies graphically the performance model using UML. Thereafter, the transformation of the performance model from the human-usable UML representation to the machine-efficient C++ representation is done automatically. We describe our methodology and illustrate it with the automatic transformation of a sample performance modelPeer ReviewedPostprint (published version

Modular proteins from the Drosophila sallimus (sls) gene and their expression in muscles with different extensibility

The passive elasticity of the sarcomere in striated muscle is determined by large modular proteins, such as titin in vertebrates. In insects, the function of titin is divided between two shorter proteins, projectin and sallimus (Sls), which are the products of different genes. The Drosophila sallimus (sls) gene codes for a protein of 2 MDa. The N-terminal half of the protein is largely made up of immunoglobulin domains and unique sequence; the C-terminal half has two stretches of sequence similar to the elastic PEVK region of titin, and at the end of the molecule there is a region of tandem Ig and fibronectin domains. We have investigated splicing pathways of the sls gene and identified isoforms expressed in different muscle types, and at different stages of Drosophila development. The 5’ half of sls codes for zormin and kettin; both proteins contain Ig domains and can be expressed as separate isoforms, or as larger proteins linked to sequence downstream. There are multiple splicing pathways between the kettin region of sls and sequence coding for the two PEVK regions. All the resulting protein isoforms have sequence derived from the 3’ end of the sls gene. Splicing of exons varies at different stages of development. Kettin RNA is predominant in the embryo, and longer transcripts are expressed in larva, pupa and adult. Sls isoforms in the indirect flight muscle (IFM) are zormin, kettin and Sls(700), in which sequence derived from the end of the gene is spliced to kettin RNA. Zormin is in both M-line and Z-disc. Kettin and Sls(700) extend from the Z-disc to the ends of the thick filaments, though, Sls(700) is only in the myofibril core. These shorter isoforms would contribute to the high stiffness of IFM. Other muscles in the thorax and legs have longer Sls isoforms with varying amounts of PEVK sequence; all span the I-band to the ends of the thick filaments. In muscles with longer Ibands, the proportion of PEVK sequence would determine the extensibility of the sarcomere. Alternative Sls isoforms could regulate the stiffness of the many fibre types in Droso phila muscles

In vivo evaluation of a vibration analysis technique for the per-operative monitoring of the fixation of hip prostheses

<p>Abstract</p> <p>Background</p> <p>The per-operative assessment of primary stem stability may help to improve the performance of total hip replacement. Vibration analysis methods have been successfully used to assess dental implant stability, to monitor fracture healing and to measure bone mechanical properties. The objective of the present study was to evaluate in vivo a vibration analysis-based endpoint criterion for the insertion of the stem by successive surgeon-controlled hammer blows.</p> <p>Methods</p> <p>A protocol using a vibration analysis technique for the characterisation of the primary bone-prosthesis stability was tested in 83 patients receiving a custom-made, intra-operatively manufactured stem prosthesis. Two groups were studied: one (n = 30) with non cemented and one (n = 53) with partially cemented stem fixation. Frequency response functions of the stem-femur system corresponding to successive insertion stages were compared.</p> <p>Results</p> <p>The correlation coefficient between the last two frequency response function curves was above 0.99 in 86.7% of the non cemented cases. Lower values of the final correlation coefficient and deviations in the frequency response pattern were associated with instability or impending bone fracture. In the cases with a partially cemented stem an important difference in frequency response function between the final stage of non cemented trial insertion and the final cemented stage was found in 84.9% of the cases. Furthermore, the frequency response function varied with the degree of cement curing.</p> <p>Conclusion</p> <p>The frequency response function change provides reliable information regarding the stability evolution of the stem-femur system during the insertion. The protocol described in this paper can be used to accurately detect the insertion end point and to reduce the risk for intra-operative fracture.</p

Microbial Symbionts in Insects Influence Down-Regulation of Defense Genes in Maize

Diabrotica virgifera virgifera larvae are root-feeding insects and significant pests to maize in North America and Europe. Little is known regarding how plants respond to insect attack of roots, thus complicating the selection for plant defense targets. Diabrotica virgifera virgifera is the most successful species in its genus and is the only Diabrotica beetle harboring an almost species-wide Wolbachia infection. Diabrotica virgifera virgifera are infected with Wolbachia and the typical gut flora found in soil-living, phytophagous insects. Diabrotica virgifera virgifera larvae cannot be reared aseptically and thus, it is not possible to observe the response of maize to effects of insect gut flora or other transient microbes. Because Wolbachia are heritable, it is possible to investigate whether Wolbachia infection affects the regulation of maize defenses. To answer if the success of Diabrotica virgifera virgifera is the result of microbial infection, Diabrotica virgifera virgifera were treated with antibiotics to eliminate Wolbachia and a microarray experiment was performed. Direct comparisons made between the response of maize root tissue to the feeding of antibiotic treated and untreated Diabrotica virgifera virgifera show down-regulation of plant defenses in the untreated insects compared to the antibiotic treated and control treatments. Results were confirmed via QRT-PCR. Biological and behavioral assays indicate that microbes have integrated into Diabrotica virgifera virgifera physiology without inducing negative effects and that antibiotic treatment did not affect the behavior or biology of the insect. The expression data and suggest that the pressure of microbes, which are most likely Wolbachia, mediate the down-regulation of many maize defenses via their insect hosts. This is the first report of a potential link between a microbial symbiont of an insect and a silencing effect in the insect host plant. This is also the first expression profile for a plant attacked by a root-feeding insect

Become the best coach you can be: the role of coach training and coaching experience in workplace coaching quality and quality control

This paper explores whether coach training or coaching experience leads to better coaching quality and quality control. In two large studies, both coaches (N1 = 2267) and personnel managers who book coaches for their company (N2 = 754) answered questions about coaching quality and quality control. The results show that more coach training leads to not only a better self-perceived coaching quality (Study 1) but also a better other-perceived coaching-quality (Study 2); moreover, more coach training positively affects quality control. It is remarkable that coaching experience showed no significant relation regarding other-perceived coaching quality and quality control. Study 2 further revealed that references lead to more recommendations but not to a better coaching quality or quality control. Thus, coach training is an essential factor when selecting organizational coaches. Further research is needed to understand the impact of different approaches to coach trainings on coaching outcomes

Noncomparabilities & Non Standard Logics

Many normative theories set forth in the welfare economics, distributive justice and cognate literatures posit noncomparabilities or incommensurabilities between magnitudes of various kinds. In some cases these gaps are predicated on metaphysical claims, in others upon epistemic claims, and in still others upon political-moral claims. I show that in all such cases they are best given formal expression in nonstandard logics that reject bivalence, excluded middle, or both. I do so by reference to an illustrative case study: a contradiction known to beset John Rawls\u27s selection and characterization of primary goods as the proper distribuendum in any distributively just society. The contradiction is avoided only by reformulating Rawls\u27s claims in a nonstandard form, which form happens also to cohere quite attractively with Rawls\u27s intuitive argumentation on behalf of his claims