Tim Todman

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 10

Top Topics

Memory Footprint

Instruction Set Architecture

Reconfigurable Architecture

Top Venues

Int. J. Reconfigurable Comput.

Publications

José Gabriel F. Coutinho, Ce Guo, Tim Todman, Wayne Luk
Exploring Machine Learning Adoption in Customisable Processor Design. ASICON (2023)
Tim Todman, Wayne Luk
Custom Instructions for Networked Processor Templates. IEEE Trans. Circuits Syst. II Express Briefs 69 (7) (2022)
Andrew Brown, Tim Todman, Wayne Luk, David B. Thomas, Mark Vousden, Graeme M. Bragg, Jonny Beaumont, Simon W. Moore, Alex Yakovlev, Ashur Rafiev
Non-deterministic event brokered computing. HEART (2022)
Tim Todman, Wayne Luk
Custom enhancements to networked processor templates. ISVLSI (2021)
Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman
Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies. FCCM (2020)
Tim Todman, David B. Thomas, Wayne Luk
Exploring performance enhancement of event-driven processor networks. FPT (2020)
Bowen P. Y. Kwan, Gary C. T. Chow, Tim Todman, Wayne Luk, Wenguang Xu
Lossy Multiport Memory. FPT (2018)
Eddie Hung, Tim Todman, Wayne Luk
Transparent In-Circuit Assertions for FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (7) (2017)
Ruizhe Zhao, Tim Todman, Wayne Luk, Xinyu Niu
DeepPump: Multi-pumping deep Neural Networks. ASAP (2017)
Dirk Stroobandt, Ana Lucia Varbanescu, Catalin Bogdan Ciobanu, Muhammed Al Kadi, Andreas Brokalakis, George Charitopoulos, Tim Todman, Xinyu Niu, Dionisios N. Pnevmatikatos, Amit Kulkarni, Elias Vansteenkiste, Wayne Luk, Marco D. Santambrogio, Donatella Sciuto, Michael Hübner, Tobias Becker, Georgi Gaydadjiev, Antonis Nikitakis, Alex J. W. Thom
EXTRA: Towards the exploitation of eXascale technology for reconfigurable architectures. ReCoSoC (2016)
Tim Todman, Stephan Stilkerich, Wayne Luk
In-circuit temporal monitors for runtime verification of reconfigurable designs. DAC (2015)
Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Tobias Becker, Peter Böhm, Andreas Brokalakis, Karel Bruneel, Catalin Bogdan Ciobanu, Tom Davidson, Georgi Gaydadjiev, Karel Heyse, Wayne Luk, Xinyu Niu, Ioannis Papaefstathiou, Danilo Pau, Oliver Pell, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman, Elias Vansteenkiste
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. Microprocess. Microsystems 39 (4-5) (2015)
Tim Todman, Stephan Stilkerich, Wayne Luk
Using Statistical Assertions to Guide Self-Adaptive Systems. Int. J. Reconfigurable Comput. 2014 (2014)
Eddie Hung, Tim Todman, Wayne Luk
Transparent insertion of latency-oblivious logic onto FPGAs. FPL (2014)
Tim Todman, Wayne Luk
Runtime assertions and exceptions for streaming systems. FPL (2013)
Kyprianos Papadimitriou, Christian Pilato, Dionisios N. Pnevmatikatos, Marco D. Santambrogio, Catalin Bogdan Ciobanu, Tim Todman, Tobias Becker, Tom Davidson, Xinyu Niu, Georgi Gaydadjiev, Wayne Luk, Dirk Stroobandt
Novel Design Methods and a Tool Flow for Unleashing Dynamic Reconfiguration. CSE (2012)
Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides
Optimizing Hardware Design by Composing Utility-Directed Transformations. IEEE Trans. Computers 61 (12) (2012)
Marco D. Santambrogio, Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Christian Pilato, Georgi Gaydadjiev, Dirk Stroobandt, Tom Davidson, Tobias Becker, Tim Todman, Wayne Luk, Alessandra Bonetto, Andrea Cazzaniga, Gianluca Durelli, Donatella Sciuto
Smart technologies for effective reconfiguration: The FASTER approach. ReCoSoC (2012)
Tim Todman, Wayne Luk
Reconfigurable Design Automation by High-Level Exploration. ASAP (2012)
Tim Todman, Peter Böhm, Wayne Luk
Verification of streaming hardware and software codesigns. FPT (2012)
Dionisios N. Pnevmatikatos, Tobias Becker, Andreas Brokalakis, Karel Bruneel, Georgi Gaydadjiev, Wayne Luk, Kyprianos Papadimitriou, Ioannis Papaefstathiou, Oliver Pell, Christian Pilato, M. Robart, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. DSD (2012)
Tim Todman, Wayne Luk
Verification of streaming designs by combining symbolic simulation and equivalence checking. FPL (2012)
Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides
Automated Mapping of the MapReduce Pattern onto Parallel Computing Platforms. J. Signal Process. Syst. 67 (1) (2012)
Qiang Liu, Tim Todman, Kuen Hung Tsoi, Wayne Luk
Convex models for accelerating applications on FPGA-based clusters. FPT (2010)
Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides
A Scripting Engine for Combining Design Transformations. FCCM (2010)
Qiang Liu, Tim Todman, Wayne Luk
Combining optimizations in automated low power design. DATE (2010)
Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides
Customizable Composition and Parameterization of Hardware Design Transformations. DSD (2010)
Qiang Liu, Tim Todman, José Gabriel de Figueiredo Coutinho, Wayne Luk, George A. Constantinides
Optimising designs by combining model-based and pattern-based transformations. FPL (2009)
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)
Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk
Smart Enumeration: A Systematic Approach to Exhaustive Search. PATMOS (2008)
Tim Todman, Haofan Fu, Oskar Mencer, Wayne Luk
Improving Bounds for FPGA Logic Minimization. FPT (2007)
Tim Todman, Wayne Luk
Domain Specific Transformations for Hardware Ray Tracing. CPA (2007)
Paul Baker, Tim Todman, Henry Styles, Wayne Luk
Reconfigurable Designs for Radiosity. FCCM (2005)
Tim Todman, José Gabriel F. Coutinho, Wayne Luk
Customisable Hardware Compilation. J. Supercomput. 32 (2) (2005)
Tim Todman, Wayne Luk
Memory optimisations for high-resolution imaging. FPT (2004)
Tim Todman, Wayne Luk
Methods and Tools for High-Resolution Imaging. FPL (2004)
Tim Todman, José Gabriel F. Coutinho, Wayne Luk
Customisable Hardware Compilation. ERSA (2004)
Tim Todman, Wayne Luk
Real-time Extensions to a C-like Hardware Description Language. FCCM (2003)
Tim Todman, Wayne Luk
Combining Imperative and Declarative Hardware Descriptions. HICSS (2003)
Tim Todman, Wayne Luk
Reconfigurable Designs for Ray Tracing. FCCM (2001)