An abstract annotation model for skeletons

Multi-core and many-core platforms are becoming increasingly heterogeneous and asymmetric. This significantly increases the porting and tuning effort required for parallel codes, which in turn often leads to a growing gap between peak machine power and actual application performance. In this work a first step toward the automated optimization of high level skeleton-based parallel code is discussed. The paper presents an abstract annotation model for skeleton programs aimed at formally describing suitable mapping of parallel activities on a high-level platform representation. The derived mapping and scheduling strategies are used to generate optimized run-time code. © 2013 Springer-Verlag Berlin Heidelberg.

Unveiling Fairness for the Consumer:The Law, Economics and Justice of Expanded Arbitration

In recent years, the US Supreme Court has rather controversially extended the ambit of the Federal Arbitration Act to extend arbitration’s reach into, inter alia¸ consumer matters, with the consequence that consumers are often (and unbeknownst to them) denied remedies which would otherwise be available. Such denied remedies include recourse to class action proceedings, effective denial of punitive damages, access to discovery and the ability to resolve the matter in a convenient forum.

The court’s extension of arbitration’s ambit is controversial. Attempts to overturn this extension have been made in Congress, but to no avail. In contrast to American law, European consumer law looks at pre-dispute agreements to arbitrate directed at consumers with extreme suspicion, and does so on the grounds of fairness. In contrast, some argue that pre-dispute agreements in consumer (and employment) matters are consumer welfare enhancing: they decrease the costs of doing business, which is then passed on to the consumer. This Article examines these latter claims from both an economic and normative perspective.

The economic analysis of these arguments shows that their assumptions do not hold. Rather than being productive of consumer surplus, the use of arbitration is likely to have the opposite effect. The industries from which the recent Supreme Court cases originated not only do not exhibit the industrial structure assumed by the proponents of expanded arbitration, but are also industries which exhibit features that facilitate consumer welfare reducing collusion.

The normative analysis addresses the fairness concerns. It is explicitly based upon John Rawls’ notion of “justice as fairness,” which can provide a lens to evaluate social institutions. This Rawlsian analysis considers the use of extended arbitration in consumer matters in the light of the earlier economic results. It suggests that the asymmetries present in the contractual allocation of rights serve as prima facie evidence that such arbitration–induced exclusions are prima facie unjust/unfair. However, as asymmetry is only a prima facie test, a generalized criticism of the arbitration exclusions (of the sort found in Congress and underlying the European regime) is overbroad.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

The Economics of Total War and Reconstruction, 1914-1922

This chapter features a discussion of the economy and mobilization for the First World War. The authors analyse the implications and cost of total war, concluding with an examination of its contradictory legacies. In studying the war’s impact on Germany in particular, the chapter provides an in-depth look at the consequences of war on Europe’s strongest pre-war economy, without the complications of separating out the issues of a developing country, which can mimic those faced in wartime. The economic challenges that warring parties faced during the war included mobilization, warfare, labour shortage, impaired domestic economic activity, restricted international trade, a systematic redistribution of resources towards the war economy, food rationing, the predictable emergence of black markets, and a drop in living standards. The authors also discuss strategies to meet the significant financial demands associated with the war, and its tumultuous economic and political aftermath.