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)
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)
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)
  • 1