| 2009 |
|---|
| 9 | EE | Kong Woei Susanto,
Tim Todman,
José Gabriel F. Coutinho,
Wayne Luk:
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.
SOFSEM 2009: 509-520 |
| 2008 |
|---|
| 8 | EE | Tim Todman,
Haohuan Fu,
Brittle Tsoi,
Oskar Mencer,
Wayne Luk:
Smart Enumeration: A Systematic Approach to Exhaustive Search.
PATMOS 2008: 429-438 |
| 2007 |
|---|
| 7 | | Tim Todman,
Wayne Luk:
Domain Specific Transformations for Hardware Ray Tracing.
CPA 2007: 479-492 |
| 2005 |
|---|
| 6 | EE | Paul Baker,
Tim Todman,
Henry Styles,
Wayne Luk:
Reconfigurable Designs for Radiosity.
FCCM 2005: 95-104 |
| 5 | EE | Tim Todman,
José Gabriel F. Coutinho,
Wayne Luk:
Customisable Hardware Compilation.
The Journal of Supercomputing 32(2): 119-137 (2005) |
| 2004 |
|---|
| 4 | | Tim Todman,
José Gabriel F. Coutinho,
Wayne Luk:
Customisable Hardware Compilation.
ERSA 2004: 18-28 |
| 3 | EE | Tim Todman,
Wayne Luk:
Methods and Tools for High-Resolution Imaging.
FPL 2004: 627-636 |
| 2003 |
|---|
| 2 | EE | Tim Todman,
Wayne Luk:
Real-time Extensions to a C-like Hardware Description Language.
FCCM 2003: 302-304 |
| 1 | EE | Tim Todman,
Wayne Luk:
Combining Imperative and Declarative Hardware Descriptions.
HICSS 2003: 280 |
