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)
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)
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 Previous studies have reported improvements in life expectancies of patients on antiretroviral treatment (ART) over time, but it is not clear whether these improvements are explained by changes in baseline clinical characteristics, longer duration on ART or changes in clinical practices. METHOD Two parametric survival models were fitted to(More)
The question of whether and to what extent HIV-positive adults are insurable remains contentious due to the absence of long-term estimates of mortality in patients receiving antiretroviral treatment (ART). Most published estimates of life expectancies of HIV-positive adults have been based on data from high-income countries, and these estimates may not be(More)
There is a continuous trend to modularization since information, communication, data processing and automotive industries ask for integration of active and passive devices and further miniaturization. This paper shows how EPCOS, one of the leading component manufacturers is serving the needs of the industries by making use of their advanced LTCC (low(More)