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 |