Composability and Predictability for Independent Application Development, Verification and Execution

System-on-chip (SOC) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence be verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other’s behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in SOC resources are presented and we explain their implementation for processors, interconnect, and memories in our platform

Moduli-Space Dynamics of Noncommutative Abelian Sigma-Model Solitons

In the noncommutative (Moyal) plane, we relate exact U(1) sigma-model solitons to generic scalar-field solitons for an infinitely stiff potential. The static k-lump moduli space C^k/S_k features a natural K"ahler metric induced from an embedding Grassmannian. The moduli-space dynamics is blind against adding a WZW-like term to the sigma-model action and thus also applies to the integrable U(1) Ward model. For the latter's two-soliton motion we compare the exact field configurations with their supposed moduli-space approximations. Surprisingly, the two do not match, which questions the adiabatic method for noncommutative solitons.Comment: 1+15 pages, 2 figures; v2: reference added, to appear in JHE

Probabilistic Reachability for Parametric Markov Models

Abstract. Given a parametric Markov model, we consider the problem of computing the formula expressing the probability of reaching a given set of states. To attack this principal problem, Daws has suggested to first convert the Markov chain into a finite automaton, from which a regular expression is computed. Afterwards, this expression is evaluated to a closed form expression representing the reachability probability. This paper investigates how this idea can be turned into an effective procedure. It turns out that the bottleneck lies in an exponential growth of the regular expression relative to the number of states. We therefore proceed differently, by tightly intertwining the regular expression computation with its evaluation. This allows us to arrive at an effective method that avoids the exponential blow up in most practical cases. We give a detailed account of the approach, also extending to parametric models with rewards and with non-determinism. Experimental evidence is provided, illustrating that our implementation provides meaningful insights on non-trivial models.

Viking Age garden plants from southern Scandinavia: diversity, taphonomy and cultural aspects

Plant finds recovered from archaeological sites in southern Scandinavia dated to the Viking Age reflect the diversity of useful plants that were cultivated and collected. This review presents the results of 14 investigations of deposits that are dated between AD 775 and 1050. The site types are categorized as agrarian, urban, military and burials. Garden plants are unevenly distributed, as the greatest diversity is recorded in features from urban contexts. We argue that taphonomic processes played an important role in the picture displayed. Archaeobotanical research results from neighbouring regions suggest that Viking Age horticulture has its roots in older traditions, and that the spectrum of garden plants is influenced by central and north-western European horticultural customs, which were to a great extent shaped by Roman occupation

Search for Doubly-Charged Higgs Boson Production at HERA

A search for the single production of doubly-charged Higgs bosons H^{\pm \pm} in ep collisions is presented. The signal is searched for via the Higgs decays into a high mass pair of same charge leptons, one of them being an electron. The analysis uses up to 118 pb^{-1} of ep data collected by the H1 experiment at HERA. No evidence for doubly-charged Higgs production is observed and mass dependent upper limits are derived on the Yukawa couplings h_{el} of the Higgs boson to an electron-lepton pair. Assuming that the doubly-charged Higgs only decays into an electron and a muon via a coupling of electromagnetic strength h_{e \mu} = \sqrt{4 \pi \alpha_{em}} = 0.3, a lower limit of 141 GeV on the H^{\pm\pm} mass is obtained at the 95% confidence level. For a doubly-charged Higgs decaying only into an electron and a tau and a coupling h_{e\tau} = 0.3, masses below 112 GeV are ruled out.Comment: 15 pages, 3 figures, 1 tabl

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Search for W' bosons decaying to an electron and a neutrino with the D0 detector

This Letter describes the search for a new heavy charged gauge boson W' decaying into an electron and a neutrino. The data were collected with the D0 detector at the Fermilab Tevatron proton-antiproton Collider at a center-of-mass energy of 1.96 TeV, and correspond to an integrated luminosity of about 1 inverse femtobarn. Lacking any significant excess in the data in comparison with known processes, an upper limit is set on the production cross section times branching fraction, and a W' boson with mass below 1.00 TeV can be excluded at the 95% C.L., assuming standard-model-like couplings to fermions. This result significantly improves upon previous limits, and is the most stringent to date.Comment: submitted to Phys. Rev. Let

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio