Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.

A Novel Packet Marking Function for Real-Time Interactive MPEG-4 Video Applications in a Differentiated Services Network

The future convergence of voice, video and data applications on the Internet requires that next generation technology provides bandwidth and delay guarantees. Current technology trends are moving towards scalable aggregate-based systems where applications are grouped together and guarantees are provided at the aggregate level only. This solution alone is not enough for interactive video applications with sub-second delay bounds. This paper introduces a novel packet marking scheme that controls the end-to-end delay of an individual flow as it traverses a network enabled to supply aggregate- granularity Quality of Service (QoS). IPv6 Hop-by-Hop extension header fields are used to track the packet delay encountered at each network node and autonomous decisions are made on the best queuing strategy to employ. The results of network simulations are presented and it is shown that when the proposed mechanism is employed the requested delay bound is met with a 20% reduction in resource reservation and no packet loss in the network.

Lean software management case study: Timberline Inc.

This paper is believed to be the first documented account of a full adoption of lean by a software company. Lean techniques were devised by Toyota and other manufacturers over the last 50 years. The techniques are termed lean because they require less resource to produce more product and exceptional quality. Lean ideas have also been successful in service industries and product development. Applying lean to software has been advocated for over 10 years. Timberline, Inc started their lean initiative in Spring 2001 and this paper records their journey, results and lessons learned up to Fall 2003. This case study demonstrates that lean thinking can work successfully for software developers. It also indicates that the extensive lean literature is a valuable source of new ideas for software engineering.

Strasheela: Design and usage of a music composition environment based on the Oz programming model

Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for complex polyphonic scores. Strasheela enables the user to define expressive compositional rules and then to apply them to the score. Compositional rules can restrict many aspects of the music - including the rhythmic structure, the melodic structure and the harmonic structure - by constraining the parameters (e.g. duration or pitch) of musical events according to some numerical or logical relation. Strasheela combines this expressivity with efficient search strategies.

Towards an intelligent score following system: Handling of mistakes and jumps encountered during piano practicing

Score following has been an important area of research in AI and music since the mid 80's. Various systems were developed, but they were predominantly for providing automated accompaniment to live concert performances, dealing mostly with issues relating to pitch detection and identification of embellished melodies. They have a big potential in the area of education where student performers benefit in practice situations. Current accompaniment systems are not designed to deal with errors that may occur during practising. In this paper we present a system developed to provide accompaniment for students practising at home. First a survey of score following will be given. Then the capabilities of the system will be explained, and the results from the first experiments of the monophonic score following system will be presented.

Homogeneous habitat can meet the discrete and varied resource requirements of hares but may set an ecological trap

In common with other farmland species, hares (Lepus spp.) are in widespread decline in agricultural landscapes due to agricultural intensification and habitat loss. We examined the importance of habitat heterogeneity to the Irish hare (Lepus timidus hibernicus) in a pastoral landscape. We used radio-tracking during nocturnal active and diurnal inactive periods throughout one year. In autumn, winter and spring, hares occupied a heterogeneous combination of improved grassland, providing food, and Juncus-dominated rough pasture, providing refuge. In summer, hares significantly increased their use of improved grassland. This homogeneous habitat can fulfil the discrete and varied resource requirements of hares for feeding and shelter at certain times of year. However, improved grassland may be a risky habitat for hares as silage harvesting occurs during their peak birthing period of late spring and early summer. We therefore posit the existence of a putative ecological trap inherent to a homogeneous habitat of perceived high value that satisfies the hares' habitat requirements but which presents risks at a critical time of year. To test this hypothesis in relation to hare populations, work is required to provide data on differential leveret mortality between habitat types.

Confined Site Construction: A qualitative investigation of critical issues affecting management of Health and Safety

The construction industry is inherently risky, with a significant number of accidents and disasters occurring, particularly on confined construction sites. This research investigates and identifies the various issues affecting successful management of health and safety in confined construction sites. The rationale is that identifying the issues would assist the management of health and safety particularly in inner city centres which are mostly confined sites. Using empiricism epistemology, the methodology was based on qualitative research approach by means of multiple case studies in three different geographical locations of Ireland, UK and USA. Data on each case study were collected through individual interviews and focus group discussion with project participants. The findings suggest that three core issues are the underlying factors affecting management of health and safety on confined construction sites. It include, (i) lack of space, (ii) problem of co-ordination and management of site personnel, and (iii) overcrowding of workplace. The implication of this is that project teams and their organisations should see project processes from a holistic point of view, as a unified single system, where quick intervention in solving a particular issue should be the norm, so as not to adversely affect interrelated sequence of events in project operations. Proactive strategies should be devised to mitigate these issues and may include detail project programming, space management, effective constructability review and efficient co-ordination of personnel, plant and materials among others. The value of this research is to aid management and operation of brownfield sites by identifying issues impacting on health and safety management in project process.

Verification of McCabe's Delta L Law for Growth of Lysozyme Crystals by Hanging Drop Method

Lysozyme is a naturally occurring enzyme in egg white and has high commercial importance due to its antimicrobial properties. The main objective of this work was to study the growth rate of lysozyme crystals isolated from egg for the first 72 hours and verify the results with McCabe’s constant crystal growth theory. Hanging drop crystallization method was used to form high purity lysozyme crystals from the embryonic stage. To this end, this work differs from an earlier work of Forsythe et al., who used seed crystals in the size range of 10 µm - 40 µm for face growth measurements at different pH values. The maximum crystal size recorded in the present work was 392.86 µm, which is within the typical size range of 50 µm - 500 µm for which constant crystal growth is expected to hold according to McCabe’s ?L law. Electron micrographs (SEM) revealed the structure and dimensions of the crystals while SDS-Page was used to measure the purity of the crystals. The SEM results showed that that lysozyme growth rate was linear and agreed with McCabe’s constant growth theory, producing a growth rate of 1.77 x 10-3 µm .s-1