Efficient Configuration of Protocol Software for Multiprocessors

Efficient implementation of communication software is of crucial importance for high-speed networks. One way to improve the runtime performance of protocol implementations in the network nodes is the use of parallelism. Formal description techniques like Estelle improve the specification process in many respects and allow for semiautomatic code generation. Therefore, they are now widely accepted. We present a code generator for Estelle that compiles and automatically configures protocol software for a multiprocessor. Software modules are distributed over the available processors and executed concurrently. We report performance results on a KSR1 with 28 available processors under the OSF/1 operating system

The causes of government and the consequences for growth and well-being

Using a large cross-country data set, the authors examine the factors that cause governments to grow, and analyze how the size of government affects growth, whether measured as income growth or other measures of well-being, such as infant mortality and life expectancy. They find no robust link between government size and per capita income. The factors they find to be important in explaining government size are relative prices, the age-dependency ratio, how long a country has been independent, relative political freedom, and openness in trade. Their results also partially support the view that governments use consumption to buffer external risk, especially in low-income countries. As for how government size affects growth, they find a robust and significant negative relationship between growth and government size, as measured by consumption. Policy distortions, predictably, also have a negative effect on growth. But the positive effects of well-functioning institutions and high quality in government bureaucracies can offset the negative influence of large government size alone. Finally, they find that social-sector spending can exert a positive influence by reducing infant mortality and raising life expectancy. Better income distribution, higher per capita income, higher per capita income growth, and more political freedom have the same positive effect on those two measures of well-being.Environmental Economics&Policies,Economic Theory&Research,National Governance,Payment Systems&Infrastructure,Knowledge Economy,Knowledge Economy,Environmental Economics&Policies,National Governance,Economic Theory&Research,Inequality

Measurement of plant growth in view of an integrative analysis of regulatory networks

As the regulatory networks of growth at the cellular level are elucidated at a fast pace, their complexity is not reduced; on the contrary, the tissue, organ and even whole-plant level affect cell proliferation and expansion by means of development-induced and environment-induced signaling events in growth regulatory processes. Measurement of growth across different levels aids in gaining a mechanistic understanding of growth, and in defining the spatial and temporal resolution of sampling strategies for molecular analyses in the model Arabidopsis thaliana and increasingly also in crop species. The latter claim their place at the forefront of plant research, since global issues and future needs drive the translation from laboratory model-acquired knowledge of growth processes to improvements in crop productivity in field conditions

On the Suitability of Estelle for Multimedia Systems

Formal Description Techniques have been widely used for the specification of traditional networked applications. They have not been applied to the specification of new applications such as multimedia systems yet. In this paper, we examine the FDT Estelle with respect to its suitability for multimedia system specification and automatic derivation of efficient implementations. We show that it is possible to specify certain aspects of multimedia systems, but that Estelle is not sufficient for others. The derived implementations often perform badly. We show the reasons and propose to use a slightly modified Estelle syntax and semantics to solve the problems. The implemented solution was tested successfully

Evolution of a supply chain management game for the trading agent competition

TAC SCM is a supply chain management game for the Trading Agent Competition (TAC). The purpose of TAC is to spur high quality research into realistic trading agent problems. We discuss TAC and TAC SCM: game and competition design, scientific impact, and lessons learnt

How macroeconomic policies affect project performance in the social sectors

The main objective of this study is to explore the realationship between a country's overall economic policy environment and the performance of investment projects in the social sectors. The authors focus on the impact of economy-wide policies including a range of fiscal, monetary, exchange rate, trade, and pricing indicators. Particular emphasis is put on the analysis of projects in education, which comprise the large majority of the Bank's social projects. The methodology combines statistical analysis and case studies, with the latter based on a broad range of sectoral reports, Project Completion Reports, Project Performance Audit Reports, and sustainability analysis conducted by the Operation Evaluation Department (OED) of the World Bank. The statistical analysis draws on the OED project data as well as the country-level policy performance variables of the World Development Report 1991 data set. The paper also briefly reviews the literature, and examines some country and project case studies which begin to suggest the relationship between economy-wide policies and projectperformance. It presents a simple analytical framework of the possible linkages between the economic policy environment and project performance. It discusses the data and empirical method and presents the results from statistical analysis.Environmental Economics&Policies,Economic Theory&Research,Health Monitoring&Evaluation,Health Economics&Finance,ICT Policy and Strategies

Software engineering: Testing real-time embedded systems using timed automata based approaches

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Real-time Embedded Systems (RTESs) have an increasing role in controlling society infrastructures that we use on a day-to-day basis. RTES behaviour is not based solely on the interactions it might have with its surrounding environment, but also on the timing requirements it induces. As a result, ensuring that an RTES behaves correctly is non-trivial, especially after adding time as a new dimension to the complexity of the testing process. This research addresses the problem of testing RTESs from Timed Automata (TA) specification by the following. First, a new Priority-based Approach (PA) for testing RTES modelled formally as UPPAAL timed automata (TA variant) is introduced. Test cases generated according to a proposed timed adequacy criterion (clock region coverage) are divided into three sets of priorities, namely boundary, out-boundary and in-boundary. The selection of which set is most appropriate for a System Under Test (SUT) can be decided by the tester according to the system type, time specified for the testing process and its budget. Second, PA is validated in comparison with four well-known timed testing approaches based on TA using Specification Mutation Analysis (SMA). To enable the validation, a set of timed and functional mutation operators based on TA is introduced. Three case studies are used to run SMA. The effectiveness of timed testing approaches are determined and contrasted according to the mutation score which shows that our PA achieves high mutation adequacy score compared with others. Third, to enhance the applicability of PA, a new testing tool (GeTeX) that deploys PA is introduced. In its current version, GeTeX supports Control Area Network (CAN) applications. GeTeX is validated by developing a prototype for that purpose. Using GeTeX, PA is also empirically validated in comparison with some TA testing approaches using a complete industrial-strength test bed. The assessment is based on fault coverage, structural coverage, the length of generated test cases and a proposed assessment factor. The assessment is based on fault coverage, structural coverage, the length of generated test cases and a proposed assessment factor. The assessment results confirmed the superiority of PA over the other test approaches. The overall assessment factor showed that structural and fault coverage scores of PA with respect to the length of its tests were better than the others proving the applicability of PA. Finally, an Analytical Hierarchy Process (AHP) decision-making framework for our PA is developed. The framework can provide testers with a systematic approach by which they can prioritise the available PA test sets that best fulfils their testing requirements. The AHP framework developed is based on the data collected heuristically from the test bed and data collected by interviewing testing experts. The framework is then validated using two testing scenarios. The decision outcomes of the AHP framework were significantly correlated to those of testing experts which demonstrated the soundness and validity of the framework.This study is funded by Damascus University, Syri

A race to the top? A case study of food safety standards and African exports

Growing concern over health risks associated with food products is at the forefront of trade policy debate. At the heart of this debate is the"precautionary principle,"which holds that precautions should be taken against health, safety, and environmental risks even whenscience has not established direct cause-and-effect relationships--as with, for example, the EUropean ban on hormone-treated beef. The authors quantify the impact on food exports from African countries of new EUropean Union standards for aflatoxins, structurally related toxic compounds that contaminate certain foods and lead to the production of acute liver carcinogens in the human body. The authors estimate the impact of changes in differing levels of such protection based on the EU standards (and suggested by international standards) for 15 EUropean countries and 9 African countries between 1989 and 1998. The results suggest that implementation of the EU's new aflatoxin standards will significantly hurt African exports to EUrope of nuts, cereals, and dried fruits, which are highly sensitive to the aflatoxin standards. The EU standards would reduce health risks by only about 1.4 deaths per billion a year but would cut African exports by 64 percent, or $670 million, compared with their level under international standards.Economic Theory&Research,Health Economics&Finance,Environmental Economics&Policies,Food&Beverage Industry,TF054105-DONOR FUNDED OPERATION ADMINISTRATION FEE INCOME AND EXPENSE ACCOUNT