Towards Efficient Abstractions for Concurrent Consensus

Consensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the form of communicating transactions. We motivate the need for such a construct with a characteristic example of generalized consensus which can be naturally encoded in our language. We then focus on the challenges in achieving an implementation that can efficiently run such programs. We setup an architecture to evaluate different implementation alternatives and use it to experimentally evaluate runtime heuristics. This is the basis for a research project on realistic programming language support for consensus.Comment: 15 pages, 5 figures, symposium: TFP 201

INVESTIGATING CRITICAL CHALLENGES FACED BY POLYTECHNICS: A COMPARATIVE STUDY

Mustapha (2001) advocated that Malaysia is short of skilled workers to meet the demands of economic growth (as cited in Jailani, Rashid, Wahid & Noraini; 2009). Thus, there is a need for vocational and technical education, particularly at post-secondary technician levels (Jailani et. al.; 2009) to meet the shortage. Despite the need, there are many challenges faced by polytechnics. This study intends to investigate the critical challenges faced by polytechnics in the Northern and Central Region of Malaysia on case study basis and to put forth recommendations for practical implementations. Based on the literature review, the tentative key critical challenges has been identified which are the employability of polytechnic graduates, collaboration of industry with practical knowledge, competent academic staff, adequate infrastructure/funding and resources, reputation and perception of institution, design and development of curriculum. Researchers used the concurrent embedded strategy in mixed research approach, where directors and/or deputy directors and/or head or department have been interviewed while academic staffs are surveyed using convenience sampling method. Questionnaires are distributed to triangulate the data from qualitative method. After that, researchers analyses the qualitative data using Nvivo as a tool based on thematic coding and quantitative data using Excel and SPSS software as analysis tools to perform descriptive analysisCritical Challenges, Polytechnic, Northern and Central

Public Education Network 2004 Annual Member Survey

Each year for the past nine years, PEN has undertaken a survey of its members to chart organizational and programmatic characteristics of LEFs. In addition to providing valuable information about individual LEFs, each year's survey results provide a snapshot of members' collective work and impact. These data are used by LEF directors to inform their conversations with funders, formulate communications strategies, and support organizational decision-making. The data also provide baseline and benchmark data for deeper research on the work and impact of LEFs. Based on recommendations from the membership, we have expanded the focus of the 2004 survey to include deeper information on LEF programs and initiatives, their context, and impact. In response to leadership and organizational development goals identified by the membership, we have paid special attention to board demographics and development activities, and professional staffing patterns and salary levels

Evaluating Random Mutant Selection at Class-Level in Projects with Non-Adequate Test Suites

Mutation testing is a standard technique to evaluate the quality of a test suite. Due to its computationally intensive nature, many approaches have been proposed to make this technique feasible in real case scenarios. Among these approaches, uniform random mutant selection has been demonstrated to be simple and promising. However, works on this area analyze mutant samples at project level mainly on projects with adequate test suites. In this paper, we fill this lack of empirical validation by analyzing random mutant selection at class level on projects with non-adequate test suites. First, we show that uniform random mutant selection underachieves the expected results. Then, we propose a new approach named weighted random mutant selection which generates more representative mutant samples. Finally, we show that representative mutant samples are larger for projects with high test adequacy.Comment: EASE 2016, Article 11 , 10 page

Integrating testing techniques through process programming

Integration of multiple testing techniques is required to demonstrate high quality of software. Technique integration has three basic goals: incremental testing capabilities, extensive error detection, and cost-effective application. We are experimenting with the use of process programming as a mechanism of integrating testing techniques. Having set out to integrate DATA FLOW testing and RELAY, we proposed synergistic use of these techniques to achieve all three goals. We developed a testing process program much as we would develop a software product from requirements through design to implementation and evaluation. We found process programming to be effective for explicitly integrating the techniques and achieving the desired synergism. Used in this way, process programming also mitigates many of the other problems that plague testing in the software development process

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

Study of flight management requirements during SST low visibility approach and landing operations. Volume 2 - Delineation of potential problems in supporting the performance of flight management tasks

Potential flight management problems during low visibility landing of supersonic transport

Models and metaphors: complexity theory and through-life management in the built environment

Complexity thinking may have both modelling and metaphorical applications in the through-life management of the built environment. These two distinct approaches are examined and compared. In the first instance, some of the sources of complexity in the design, construction and maintenance of the built environment are identified. The metaphorical use of complexity in management thinking and its application in the built environment are briefly examined. This is followed by an exploration of modelling techniques relevant to built environment concerns. Non-linear and complex mathematical techniques such as fuzzy logic, cellular automata and attractors, may be applicable to their analysis. Existing software tools are identified and examples of successful built environment applications of complexity modelling are given. Some issues that arise include the definition of phenomena in a mathematically usable way, the functionality of available software and the possibility of going beyond representational modelling. Further questions arising from the application of complexity thinking are discussed, including the possibilities for confusion that arise from the use of metaphor. The metaphor of a 'commentary machine' is suggested as a possible way forward and it is suggested that an appropriate linguistic analysis can in certain situations reduce perceived complexity

Promises, Impositions, and other Directionals

Promises, impositions, proposals, predictions, and suggestions are categorized as voluntary co-operational methods. The class of voluntary co-operational methods is included in the class of so-called directionals. Directionals are mechanisms supporting the mutual coordination of autonomous agents. Notations are provided capable of expressing residual fragments of directionals. An extensive example, involving promises about the suitability of programs for tasks imposed on the promisee is presented. The example illustrates the dynamics of promises and more specifically the corresponding mechanism of trust updating and credibility updating. Trust levels and credibility levels then determine the way certain promises and impositions are handled. The ubiquity of promises and impositions is further demonstrated with two extensive examples involving human behaviour: an artificial example about an agent planning a purchase, and a realistic example describing technology mediated interaction concerning the solution of pay station failure related problems arising for an agent intending to leave the parking area.Comment: 55 page