TO
1 - 25 of 4
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Regehr, John | Correctness proofs for device drivers in embedded systems | Computer systems do not exist in isolation: they must interact with the world through I/O devices. Our work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. We created an abstract device model that can be plugged... | 2010 | |
| 2 |
 | Regehr, John | CPU reservations and time constraints: implementation experience on windows NT | This paper presents an implementation of scheduling abstractions originally developed for the Rialto real-time operating system within a research version of Windows NT called Rialto/NT. These abstractions, CPU Reservations and Time Constraints, as described in the 1997 SOSP paper [Jones et al. 97], ... | 1999-01-01 | |
| 3 |
 | Regehr, John | Inferring scheduling behavior with hourglass | Although computer programs explicitly represent data values, time values are usually implicit. This makes it difficult to analyze and debug real-time programs whose correctness depends partially on the time at which results are computed. This paper shows how to use Hourglass, an instrumented, synthe... | 2002-01-01 | |
| 4 |
 | Freire, Juliana | Integrated scientific workflow management for the Emulab network testbed | The main forces that shaped current network testbeds were the needs for realism and scale. Now that several testbeds support large and complex experiments, management of experimentation processes and results has become more difficult and a barrier to high-quality systems research. The popularity o... | Workflow management; Data exploration; Emulab; Network testbeds | 2006 |
1 - 25 of 4