| 2006 |
|---|
| 6 | EE | Adam Biltcliffe,
Michael Dales,
Sam Jansen,
Tom Ridge,
Peter Sewell:
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
ICNP 2006: 117-126 |
| 5 | EE | Antonio Di Ferdinando,
Paul D. Ezhilchelvan,
Michael Dales,
Jon Crowcroft:
A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size.
ISORC 2006: 253-260 |
| 2003 |
|---|
| 4 | EE | Michael Dales:
Managing a Reconfigurable Processor in a General Purpose Workstation Environment.
DATE 2003: 10980-10985 |
| 2001 |
|---|
| 3 | EE | Michael Dales:
Initial Analysis of the Proteus Architecture.
FPL 2001: 623-627 |
| 1999 |
|---|
| 2 | | Michael Dales:
The Proteus Processor - A Conventional CPU with Reconfigurable Functionality.
FPL 1999: 431-437 |
| 1997 |
|---|
| 1 | | Satnam Singh,
John W. Patterson,
Jim Burns,
Michael Dales:
PostscriptTM rendering with virtual hardware.
FPL 1997: 428-437 |
