A Framework for Prototyping and Reasoning about Distributed Systems

A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.

Dietary patterns and cardiovascular risk factors in adolescents and young adults: the Northern Ireland Young Hearts Project

Dietary pattern (DP) analysis allows examination of the combined effects of nutrients and foods on the markers of CVD. Very few studies have examined these relationships during adolescence or young adulthood. Traditional CVD risk biomarkers were analysed in 12-15-year-olds (n 487; Young Hearts (YH)1) and again in the same individuals at 20-25 years of age (n 487; YH3). Based on 7 d diet histories, in the present study, DP analysis was performed using a posteriori principal component analysis for the YH3 cohort and the a priori Mediterranean Diet Score (MDS) was calculated for both YH1 and YH3 cohorts. In the a posteriori DP analysis, YH3 participants adhering most closely to the 'healthy' DP were found to have lower pulse wave velocity (PWV) and homocysteine concentrations, the 'sweet tooth' DP were found to have increased LDL concentrations, systolic blood pressure, and diastolic blood pressure and decreased HDL concentrations, the 'drinker/social' DP were found to have lower LDL and homocysteine concentrations, but exhibited a trend towards a higher TAG concentration, and finally the 'Western' DP were found to have elevated homocysteine and HDL concentrations. In the a priori dietary score analysis, YH3 participants adhering most closely to the Mediterranean diet were found to exhibit a trend towards a lower PWV. MDS did not track between YH1 and YH3, and nor was there a longitudinal relationship between the change in the MDS and the change in CVD risk biomarkers. In conclusion, cross-sectional analysis revealed that some associations between DP and CVD risk biomarkers were already evident in the young adult population, namely the association between the healthy DP (and the MDS) and PWV; however, no longitudinal associations were observed between these relatively short time periods.

Organising EU non-discrimination law around the nodes of ‘race’ gender and disability?

EU non-discrimination law has seen a proliferation of discrimination grounds from 2000. Dis-crimination on grounds of gender (in the field of equal pay) and on grounds of nationality (generally within the scope of application of EU law) were the only prohibited forms of discrimination in EU law, until the Treaty of Amsterdam empowered the Community to legislate in order to combat discrimination on grounds of sex, racial or ethnic origin, religion or belief, disability, age or sexual orientation (Article 13 EC). Proliferation of non-discrimination grounds is also characteristic for international and national non-discrimination law. As such, proliferation of grounds results in an increase in potential cases of “multiple discrimination” and the danger of diluting the demands of equality law by ever more multiplication of grounds. The hierarchy of equality, which has been so widely criticised in EU law, is a signifier of the latter danger.
This chapter proposes to structure the confusing field of non-discrimination grounds by organising them around nodes of discrimination fields. It will first reflect different ways of establishing hierarchies between grounds. This will be followed by a recount of different (narrow and wide) reading of grounds. A comprehensive reading of the grounds gender, ‘race’ and disability as establishing overlapping fields of discrimination grounds will be mapped out, with some examples for practical uses.

Evaluating Asymmetric Multicore Systems-on-Chip using Iso-Metrics

The end of Dennard scaling has pushed power consumption into a first order concern for current systems, on par with performance. As a result, near-threshold voltage computing (NTVC) has been proposed as a potential means to tackle the limited cooling capacity of CMOS technology. Hardware operating in NTV consumes significantly less power, at the cost of lower frequency, and thus reduced performance, as well as increased error rates. In this paper, we investigate if a low-power systems-on-chip, consisting of ARM's asymmetric big.LITTLE technology, can be an alternative to conventional high performance multicore processors in terms of power/energy in an unreliable scenario. For our study, we use the Conjugate Gradient solver, an algorithm representative of the computations performed by a large range of scientific and engineering codes.