Chris Hoffmann

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)
linking or matching databases is becoming increasingly important in many data mining projects, as linked data can contain information that is not available otherwise, or that would be too expensive to collect. a main challenge when linking large databases is the complexity of the linkage process: potentially each record in one database has to be compared(More)
A new titanium intervertebral disc for fusion in anterior cervical discectomy is described. The advantages of the device, apart from avoidance of graft explanation, include biocompatibility, simple instrumentation, availability of different forms and sizes, and restoration of physiologic lordosis. Following extensive biochemical testing and implantation in(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)
The emerging technology of interacting systems calls for new verification methods to ensure their reliability. Concurrent Game Structures are expressive abstract models for which several logics have been studied. Yet, these logics are not sufficiently expressive to support certain strategic situation which arise naturally. We propose a second-order(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)
No current garbage collector combines space efficiency, low collector times, and mutator (application) locality for contemporaneously allocated objects. For example, free-list allocation coupled with mark-sweep collection achieves space efficiency, but poor mutator locality. On the other hand, contiguous (bump-pointer) allocation with copying collection(More)