Dynamic binary translation using run-time feedbacks

Dynamic binary translation is the process of translating, modifying and rewriting executable (binary) code from one machine to another at run-time. This process of low-level re-engineering consists of a reverse engineering phase followed by a forward engineering phase. UQDBT, the University of Queensland Dynamic Binary Translator, is a machine-adaptable translator. Adaptability is provided through the specification of properties of machines and their instruction sets, allowing the support of different pairs of source and target machines. Most binary translators are closely bound to a pair of machines, making analyses and code hard to reuse. Like most virtual machines, UQDBT performs generic optimizations that apply to a variety of machines. Frequently executed code is translated to native code by the use of edge weight instrumentation, which makes UQDBT converge more quickly than systems based on instruction speculation. In this paper, we describe the architecture and run-time feedback optimizations performed by the UQDBT system, and provide results obtained in the x86 and SPARC® platforms.

Improved one-step solid-phase extraction method for morphine, morphine-3-glucuronide, and morphine-6-glucuronide from plasma and quantitation using high-performance liquid chromatography with electrochemical detection

This communication describes an improved one-step solid-phase extraction method for the recovery of morphine (M), morphine-3-glucuronide (M3G), and morphine-6-glucuronide (M6G) from human plasma with reduced coextraction of endogenous plasma constituents, compared to that of the authors' previously reported method. The magnitude of the peak caused by endogenous plasma components in the chromatogram that eluted immediately before the retention time of M3G has been reduced (similar to 80%) significantly (p < 0.01) while achieving high extraction efficiencies for the compounds of interest, viz morphine, M6G, and M3G (93.8 +/- 2.5, 91.7 +/- 1.7, and 93.1 +/- 2.2%, respectively). Furthermore, when the improved solid-phase extraction method was used, the extraction cartridge-derived late-eluting peak (retention time 90 to 100 minutes) reported in our previous method, was no longer present in the plasma extracts. Therefore the combined effect of reducing the recovery of the endogenous components of plasma that chromatographed just before the retention time of M3G and the removal of the late-eluting, extraction cartridge-derived peak has resulted in a decrease in the chromatographic run-time to 20 minutes, thereby increasing the sample throughput by up to 100%.

Sausage: protein threading with flexible force fields

Sausage is a protein sequence threading program, but with remarkable run-time flexibility. Using different scripts, it can calculate protein sequence-structure alignments, search structure libraries, swap force fields, create models form alignments, convert file formats and analyse results. There are several different force fields which might be classed as knowledge-based, although they do not rely on Boltzmann statistics. Different force fields are used for alignment calculations and subsequent ranking of calculated models.

Hydrofluoric acid pre-treatment for improving 13C CPMAS NMR spectral quality of forest soils in south-east Queensland, Australia

Hydrofluoric acid (HF) was used to pre-treat forest soils of south-east Queensland for assessing the effectiveness of iron (Fe) removal, carbon (C) composition using C-13 cross-polarisation (CP) with magic-angle-spinning (MAS) nuclear magnetic resonance (NMR) before and after the HF pre-treatment, and the improvement of C-13 CPMAS NMR spectra. Soil samples were collected from 4 experimental sites of different soil types, harvest residue management or prescribed burning, and tree species. More than 86% of Fe was in all soil types removed by the HF treatment. The C-13 NMR spectral quality was improved with increased resolution, especially in the alkyl C and O-alkyl C regions, and reduced NMR run-time (1-5 h per sample compared with >20 h per sample without the pre-treatment). The C composition appeared to alter slightly after the pre-treatment, but this might be largely due to improved spectrometer conditions and increased resolution leading to more accurate NMR spectral integration. Organic C recovery after HF pre-treatment varied with soil types and forest management, and soluble soil organic matter (SOM) could be lost during the pre-treatment. The Fourier Transform-Infrared (FT-IR) spectra of HF extracts indicated the preferential removal of carboxylic C groups during the pre-treatment, but this could also be due to adsorbed water on the mineral matter. The NMR spectra revealed some changes in C composition and quality due to residue management and decomposition. Overall, the HF treatment was a useful pre-treatment for obtaining semi-quantitative C-13 CPMAS NMR spectra of subtropical Australian forest soils.

Relationship between laboratory-measured variables and heart rate during an ultra-endurance triathlon

The aim of the present study was to examine the relationship between the performance heart rate during an ultra-endurance triathlon and the heart rate corresponding to several demarcation points measured during laboratory-based progressive cycle ergometry and treadmill running. Less than one month before an ultra-endurance triathlon, 21 well-trained ultra-endurance triathletes (mean +/- s: age 35 +/- 6 years, height 1.77 +/- 0.05 in, mass 74.0 +/- 6.9 kg, (V) over dot O-2peak = 4.75 +/- 0.42 1 center dot min(-1)) performed progressive exercise tests of cycle ergometry and treadmill running for the determination of peak oxygen uptake ((V) over do O-2peak), heart rate corresponding to the first and second ventilatory thresholds, as well as the heart rate deflection point. Portable telemetry units recorded heart rate at 60 s increments throughout the ultra-endurance triathlon. Heart rate during the cycle and run phases of the ultra-endurance triathlon (148 +/- 9 and 143 +/- 13 beats center dot min(-1) respectively) were significantly (P < 0.05) less than the second ventilatory thresholds (160 +/- 13 and 165 +/- 14 beats center dot min(-1) respectively) and heart rate deflection points (170 +/- 13 and 179 +/- 9 beats center dot min(-1) respectively). However, mean heart rate during the cycle and run phases of the ultra-endurance triathlon were significantly related to (r = 0.76 and 0.66; P < 0.01), and not significantly different from, the first ventilatory thresholds (146 +/- 12 and 148 +/- 15 beats center dot min(-1) respectively). Furthermore, the difference between heart rate during the cycle phase of the ultra-endurance triathlon and heart rate at the first ventilatory threshold was related to marathon run time (r = 0.61; P < 0.01) and overall ultra-endurance triathlon time (r = 0.45; P < 0.05). The results suggest that triathletes perform the cycle and run phases of the ultra-endurance triathlon at an exercise intensity near their first ventilatory threshold

The value of a small microkernel for dreamy memory and the RAMpage memory hierarchy

This paper explores potential for the RAMpage memory hierarchy to use a microkernel with a small memory footprint, in a specialized cache-speed static RAM (tightly-coupled memory, TCM). Dreamy memory is DRAM kept in low-power mode, unless referenced. Simulations show that a small microkernel suits RAMpage well, in that it achieves significantly better speed and energy gains than a standard hierarchy from adding TCM. RAMpage, in its best 128KB L2 case, gained 11% speed using TCM, and reduced energy 14%. Equivalent conventional hierarchy gains were under 1%. While 1MB L2 was significantly faster against lower-energy cases for the smaller L2, the larger SRAM's energy does not justify the speed gain. Using a 128KB L2 cache in a conventional architecture resulted in a best-case overall run time of 2.58s, compared with the best dreamy mode run time (RAMpage without context switches on misses) of 3.34s, a speed penalty of 29%. Energy in the fastest 128KB L2 case was 2.18J vs. 1.50J, a reduction of 31%. The same RAMpage configuration without dreamy mode took 2.83s as simulated, and used 2.39J, an acceptable trade-off (penalty under 10%) for being able to switch easily to a lower-energy mode.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

Towards a methodology for deriving contract-compliant business processes

This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.

Towards a standards-based autonomic context management system

Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is known as context-awareness. In some cases, context-aware applications must be implemented as autonomic systems which are capable of dynamically discovering and replacing context sources (sensors) at run-time. Unlike other types of application autonomy, this kind of dynamic reconfiguration has not been sufficiently investigated yet by the research community. However, application-level context models are becoming common, in order to ease programming of context-aware applications and support evolution by decoupling applications from context sources. We can leverage these context models to develop general (i.e., application-independent) solutions for dynamic, run-time discovery of context sources (i.e., context management). This paper presents a model and architecture for a reconfigurable context management system that supports interoperability by building on emerging standards for sensor description and classification.

Methods for conflict resolution in policy-based management systems

While developments in distributed object computing environments, such as the Common Object Request Broker Architecture (CORBA) [17] and the Telecommunication Intelligent Network Architecture (TINA) [16], have enabled interoperability between domains in large open distributed systems, managing the resources within such systems has become an increasingly complex task. This challenge has been considered for several years within the distributed systems management research community and policy-based management has recently emerged as a promising solution. Large evolving enterprises present a significant challenge for policy-based management partly due to the requirement to support both mutual transparency and individual autonomy between domains [2], but also because the fluidity and complexity of interactions occurring within such environments requires an ability to cope with the coexistence of multiple, potentially inconsistent policies. This paper discusses the need of providing both dynamic (run-time) and static (compile-time) conflict detection and resolution for policies in such systems and builds on our earlier conflict detection work [7, 8] to introduce the methods for conflict resolution in large open distributed systems.

Energy expenditure during 2nd week of an ultra-endurance run around Australia

Purpose: For ultra-endurance athletes, whose energy expenditure is likely to be at the extremes of human tolerance for sustained periods of time, there is increased concern regarding meeting energy needs. Due to the lack of data outlining the energy requirements of such athletes, it is possible that those participating in ultra-endurance exercise are compromising performance, as well as health, as a result of inadequate nutrition and energy intake. To provide insight into this dilemma, we have presented a case study of a 37-yr-old ultra-marathon runner as he runs around the coast of Australia. Methods: Total energy expenditure was measured over a 2-wk period using the doubly labeled water technique. Results: The average total energy expenditure of the case subject was 6321 kcal.d(-1). Based on the expected accuracy and precision of the doubly labeled water technique the subject's total energy expenditure might range between 6095 and 6550 kcal.d(-1). The subject's average daily water turnover was 6.083 L over the 14-d period and might range between 5.9 L and 6.3 L.d(-1). Conclusions: This information will provide a guide to the energy requirements of ultra-endurance running and enable athletes, nutritionists, and coaches to optimize performance without compromising the health of the participant.

A new confirmatory Neisseria gonorrhoeae real-time PCR assay targeting the porA pseudogene

The Roche Cobas Amplicor system is widely used for the detection of Neisseria gonorrhoeae but is known to cross react with some commensal Neisseria spp. Therefore, a confirmatory test is required. The most common target for confirmatory tests is the cppB gene of N. gonorrhoeae. However, the cppB gene is also present in other Neisseria spp. and is absent in some N. gonorrhoeae isolates. As a result, laboratories targeting this gene run the risk of obtaining both false-positive and false-negative results. In the study presented here, a newly developed N. gonorrhoeae LightCycler assay (NGpapLC) targeting the N. gonorrhoeae porA pseudogene was tested. The NGpapLC assay was used to test 282 clinical samples, and the results were compared to those obtained using a testing algorithm combining the Cobas Amplicor System (Roche Diagnostics, Sydney, Australia) and an in-house LightCycler assay targeting the cppB gene (cppB-LC). In addition, the specificity of the NGpapLC assay was investigated by testing a broad panel of bacteria including isolates of several Neisseria spp. The NGpapLC assay proved to have comparable clinical sensitivity to the cppB-LC assay. In addition; testing of the bacterial panel showed the NGpapLC assay to be highly specific for N. gonorrhoeae DNA. The results of this study show the NGpapLC assay is a suitable alternative to the cppB-LC assay for confirmation of N. gonorrhoeae-positive results obtained with Cobas Amplicor.

Minimising cold damage during reproductive development among temperate rice genotypes. I. Avoiding low temperature with the use of appropriate sowing time and photoperiod-sensitive varieties

Multiple-sown field trials in 4 consecutive years in the Riverina region of south-eastern Australia provided 24 different combinations of temperature and day length, which enabled the development of crop phenology models. A crop model was developed for 7 cultivars from diverse origins to identify if photoperiod sensitivity is involved in determining phenological development, and if that is advantageous in avoiding low-temperature damage. Cultivars that were mildly photoperiod-sensitive were identified from sowing to flowering and from panicle initiation to flowering. The crop models were run for 47 years of temperature data to quantify the risk of encountering low temperature during the critical young microspore stage for 5 different sowing dates. Cultivars that were mildly photoperiod-sensitive, such as Amaroo, had a reduced likelihood of encountering low temperature for a wider range of sowing dates compared with photoperiod-insensitive cultivars. The benefits of increased photoperiod sensitivity include greater sowing flexibility and reduced water use as growth duration is shortened when sowing is delayed. Determining the optimal sowing date also requires other considerations, e. g. the risk of cold damage at other sensitive stages such as flowering and the response of yield to a delay in flowering under non-limiting conditions. It was concluded that appropriate sowing time and the use of photoperiod-sensitive cultivars can be advantageous in the Riverina region in avoiding low temperature damage during reproductive development.