Titanium is a parallel programming language that presents a single global address space for all concurrent computations. To improve performance on distributed memory architectures, programmers may explicitly qualify selected references as local to a single process. This paper proposes a static inference system for automatically applying “local” qualifications wherever possible, within the const...

Formal methods tools have been shown to be effective at finding defects in and verifying the correctness of safety-critical systems, many of which require some form of certification. However, there are still many issues that must be addressed before formal verification tools can be used as part of the certification of safety-critical systems. For example, most developers of avionics systems are...

Individual copy price: £5 The Centre for the Economics of Education is an independent research centre funded by the Department of Education and Employment. The view expressed in this work are those of the authors and do not necessarily reflect the views of the Department of Education and Employment. All errors and omissions remain the authors. Executive Summary Previous work looking at the retu...

The Constant Positive Linear Dependence (CPLD) condition for feasible points of nonlinear programming problems was introduced by Qi and Wei and used for the analysis of SQP methods. In the paper where the CPLD was introduced, the authors conjectured that this condition could be a constraint qualification. This conjecture is proved in the present paper. Moreover, it will be shown that the CPLD c...

Diagnosis of diseases, especially qualification for treatment should be based on the methods properly optimized in order to minimize the risk of incorrect qualification to unnecessary treatments, or neglecting treatment wherever it is needed. Among possible alternatives for routine allergy diagnostic tests, hopeful mentions can be found of the basophil activation test (BAT), which replicates in...