An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs

AbstractConcurrent program testing is not a trivial task. Features like nondeterminism, communication and synchronization impose new challenges that must be considered during the testing activity. Some initiatives have proposed testing approaches for concurrent programs, in which different paradigms and programming languages are considered. However, in general, these contributions do not present a well-formed experimental study to validate their ideas. The problem is that the data used and generated during the validation is not always available, hampering the replication of studies in the context of other testing approaches. This paper presents an experimental study, taking into account the concepts of the Experimental Software En- gineering to evaluate the cost, effectiveness and strength of the structural testing criteria for message-passing programs. The evaluation was conducted considering a benchmark composed of eight MPI programs. A set of eight structural testing criteria defined for message-passing programs was evaluated with the ValiMPI testing tool, which provides the support required to apply the investigated testing criteria. The results indicate the complementary aspect of the criteria and the information about cost and effectiveness has contributed to the establishment of an incremental testing strategy to apply the criteria. All material generated during the experimental study is available for further comparisons

Review on the EFDA work programme on nano-structured ODS RAF steels

This proceeding is: The 14th International Conference on Fusion Reactor Materials (ICFRM-14) was held at the Sapporo Convention Center in Sapporo, Japan from 7 to 12 September 2009.The 2008─2009 work programme of the European research project on nano-structured oxide dispersion strengthened (ODS) reduced activation ferritic (RAF) steels is being organized along the four following programmatic lines: (1) improve the present generation of nano-structured ODS RAF steels; (2) start the industrial fabrication of the present generation of nano-structured ODS RAF steels; (3) develop an optimised generation of nano-structured and nano-grained ODS RAF steels; (4) investigate the stability of present and optimised generation of nano-structured ODS RAF steels under creep and irradiation. This paper presents the main objectives of current R&D activities being performed within the European research project on nano-structured ODS RAF steels, the main obtained results and the main future activities in the case of the four programmatic lines mentioned just above.This work, supported by the European Communities, was carried out within the framework of the European Fusion Development Agreement.Publicad

The Gaugino Code

Gauginos might play a crucial role in the search for supersymmetry at the Large Hadron Collider (LHC). Mass predictions for gauginos are rather robust and often related to the values of the gauge couplings. We analyse the ratios of gaugino masses in the LHC energy range for various schemes of supersymmetry breakdown and mediation. Three distinct mass patterns emerge.Comment: 42 pages, Latex; a discussion of deflected anomaly mediation added, references adde

Regularization Independent Analysis of the Origin of Two Loop Contributions to N=1 Super Yang-Mills Beta Function

We present a both ultraviolet and infrared regularization independent analysis in a symmetry preserving framework for the N=1 Super Yang-Mills beta function to two loop order. We show explicitly that off-shell infrared divergences as well as the overall two loop ultraviolet divergence cancel out whilst the beta function receives contributions of infrared modes.Comment: 7 pages, 2 figures, typos correcte

The Milky Way Bulge: Observed properties and a comparison to external galaxies

The Milky Way bulge offers a unique opportunity to investigate in detail the role that different processes such as dynamical instabilities, hierarchical merging, and dissipational collapse may have played in the history of the Galaxy formation and evolution based on its resolved stellar population properties. Large observation programmes and surveys of the bulge are providing for the first time a look into the global view of the Milky Way bulge that can be compared with the bulges of other galaxies, and be used as a template for detailed comparison with models. The Milky Way has been shown to have a box/peanut (B/P) bulge and recent evidence seems to suggest the presence of an additional spheroidal component. In this review we summarise the global chemical abundances, kinematics and structural properties that allow us to disentangle these multiple components and provide constraints to understand their origin. The investigation of both detailed and global properties of the bulge now provide us with the opportunity to characterise the bulge as observed in models, and to place the mixed component bulge scenario in the general context of external galaxies. When writing this review, we considered the perspectives of researchers working with the Milky Way and researchers working with external galaxies. It is an attempt to approach both communities for a fruitful exchange of ideas.Comment: Review article to appear in "Galactic Bulges", Editors: Laurikainen E., Peletier R., Gadotti D., Springer Publishing. 36 pages, 10 figure

Heavy quarkonium: progress, puzzles, and opportunities

A golden age for heavy quarkonium physics dawned a decade ago, initiated by the confluence of exciting advances in quantum chromodynamics (QCD) and an explosion of related experimental activity. The early years of this period were chronicled in the Quarkonium Working Group (QWG) CERN Yellow Report (YR) in 2004, which presented a comprehensive review of the status of the field at that time and provided specific recommendations for further progress. However, the broad spectrum of subsequent breakthroughs, surprises, and continuing puzzles could only be partially anticipated. Since the release of the YR, the BESII program concluded only to give birth to BESIII; the $B$-factories and CLEO-c flourished; quarkonium production and polarization measurements at HERA and the Tevatron matured; and heavy-ion collisions at RHIC have opened a window on the deconfinement regime. All these experiments leave legacies of quality, precision, and unsolved mysteries for quarkonium physics, and therefore beg for continuing investigations. The plethora of newly-found quarkonium-like states unleashed a flood of theoretical investigations into new forms of matter such as quark-gluon hybrids, mesonic molecules, and tetraquarks. Measurements of the spectroscopy, decays, production, and in-medium behavior of c\bar{c}, b\bar{b}, and b\bar{c} bound states have been shown to validate some theoretical approaches to QCD and highlight lack of quantitative success for others. The intriguing details of quarkonium suppression in heavy-ion collisions that have emerged from RHIC have elevated the importance of separating hot- and cold-nuclear-matter effects in quark-gluon plasma studies. This review systematically addresses all these matters and concludes by prioritizing directions for ongoing and future efforts.Comment: 182 pages, 112 figures. Editors: N. Brambilla, S. Eidelman, B. K. Heltsley, R. Vogt. Section Coordinators: G. T. Bodwin, E. Eichten, A. D. Frawley, A. B. Meyer, R. E. Mitchell, V. Papadimitriou, P. Petreczky, A. A. Petrov, P. Robbe, A. Vair