Learn More
Since benchmarks drive computer science research and industry product development, which ones we use and how we evaluate them are key questions for the community. Despite complex runtime tradeoffs due to dynamic compilation and garbage collection required for Java programs, many evaluations still use methodologies developed for C, C++, and Fortran. SPEC,(More)
Evaluation methodology underpins all innovation in experimental computer science. It requires relevant workloads, appropriate experimental design, and rigorous analysis. Unfortunately, methodology is not keeping pace with the changes in our field. The rise of managed languages such as Java, C#, and Ruby in the past decade and the imminent rise of commodity(More)
A list of technical reports, including some abstracts and copies of some full reports may be found at: Quantified mu-calculus with decision modalities for concurrent game structures. January 2007. A survey of how virtual machine and intelligent runtime environments can support cluster computing. February 2007. Abstract linking or matching databases is(More)
The ANTARES neutrino telescope, to be immersed depth in the Mediterranean Sea, will consist of a three-dimensional matrix of 900 large area photomultiplier tubes housed in pressure-resistant glass spheres. The selection of the optimal photomultiplier was a critical step for the project and required an intensive phase of tests and developments carried out in(More)
A list of technical reports, including some abstracts and copies of some full reports may be found at: A survey of how virtual machine and intelligent runtime environments can support cluster computing. February 2007. Abstract The emerging technology of interacting systems calls for new verification methods to ensure their reliability. Concurrent Game(More)
Drift from aerial application of crop protection and production materials is influenced by many factors. The applicator is responsible for considering these factors and adjusting application techniques, where applicable, to reduce the potential for drift as much as possible. In an effort to study the uncontrollable factors and provide guidance for(More)
BACKGROUND CD4 count is a proxy for the extent of immune deficiency and declines in CD4 count are a measure of disease progression. Decline in CD4 count is an important component: for estimating benefits of ARV treatment; for individual level counselling on the rapidity of untreated disease progression and prognosis; and can be used in planning demand for(More)
There is an error in the fourth sentence of the Results section in the Abstract. The correct sentence is: The overall mean decline in CD4 count was 3.2 cells/mm 3 per annum. Copyright: © 2015 Martinson et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution,(More)
In this paper we present a set of (Bi<inf>0.5</inf>Na<inf>0.5</inf>)TiO<inf>3</inf>-based lead-free ceramics which can provide large strain in response to an external electric field. An effective piezoelectric constant, S<inf>max</inf>/E<inf>max</inf>, as high as 830 pm/V, is obtained in optimized compositions under proper exciting conditions. This value is(More)