1

Model Checking Reconfigurable Processor Configurations for Safety Properties

Sep 1, 2003

Older-First Garbage Collection in Practice: Evaluation in a Java Virtual Machine

Jun 16, 2002

Error-Free Garbage Collection Traces: How to Cheat and Not Get Caught

Jun 15, 2002

On Models for Object Lifetime Distributions

Oct 15, 2000

Limits and Graph Structure of Available Instruction Level Parallelism

Aug 29, 2000

On Availability of Bit-Narrow Operations in General-Purpose Applications

Aug 27, 2000

Age-Based Garbage Collection

Nov 9, 1999

Learning to Schedule Straight-Line Code

Dec 2, 1997

Characterisation of Object Behaviour in Standard ML of New Jersey

Jun 27, 1994

The Garbage Collection Toolkit as an Experimentation Tool

Sep 26, 1993