Tim Todman

According to our database, Tim Todman authored at least 45 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exploring Machine Learning Adoption in Customisable Processor Design.

José Gabriel F. Coutinho, Ce Guo, Tim Todman, Wayne Luk

Proceedings of the 15th IEEE International Conference on ASIC, 2023

2022

Custom Instructions for Networked Processor Templates.

Tim Todman, Wayne Luk

IEEE Trans. Circuits Syst. II Express Briefs, 2022

Non-deterministic event brokered computing.

Andrew Brown, Tim Todman, Wayne Luk, David B. Thomas, Mark Vousden, Graeme M. Bragg, Jonny Beaumont, Simon W. Moore, Alex Yakovlev, Ashur Rafiev

Proceedings of the HEART 2022: International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Tsukuba, Japan, June 9, 2022

2021

Custom enhancements to networked processor templates.

Tim Todman, Wayne Luk

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

2020

Exploring performance enhancement of event-driven processor networks.

Tim Todman, David B. Thomas, Wayne Luk

Proceedings of the International Conference on Field-Programmable Technology, 2020

Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies.

Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman

Proceedings of the 28th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2020

2018

Lossy Multiport Memory.

Bowen P. Y. Kwan, Gary C. T. Chow, Tim Todman, Wayne Luk, Wenguang Xu

Proceedings of the International Conference on Field-Programmable Technology, 2018

2017

Transparent In-Circuit Assertions for FPGAs.

Eddie Hung, Tim Todman, Wayne Luk

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

DeepPump: Multi-pumping deep Neural Networks.

Ruizhe Zhao, Tim Todman, Wayne Luk, Xinyu Niu

Proceedings of the 28th IEEE International Conference on Application-specific Systems, 2017

In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design.

Tim Todman, Wayne Luk

Proceedings of the Provably Correct Systems, 2017

2016

Self-adaptive Hardware Acceleration on a Heterogeneous Cluster.

Xinyu Niu, Tim Todman, Wayne Luk

Proceedings of the Self-aware Computing Systems - An Engineering Approach, 2016

Self-aware Hardware Acceleration of Financial Applications on a Heterogeneous Cluster.

Maciej Kurek, Tobias Becker, Ce Guo, Stewart Denholm, Andreea-Ingrid Funie, Mark Salmon, Tim Todman, Wayne Luk

Proceedings of the Self-aware Computing Systems - An Engineering Approach, 2016

EXTRA: Towards the exploitation of eXascale technology for reconfigurable architectures.

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

Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016

Knowledge Transfer in Automatic Optimisation of Reconfigurable Designs.

Maciej Kurek, Marc Peter Deisenroth, Wayne Luk, Timothy John Todman

Proceedings of the 24th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2016

2015

FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration.

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

Microprocess. Microsystems, 2015

In-circuit temporal monitors for runtime verification of reconfigurable designs.

Tim Todman, Stephan Stilkerich, Wayne Luk

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Using Statistical Assertions to Guide Self-Adaptive Systems.

Tim Todman, Stephan Stilkerich, Wayne Luk

Int. J. Reconfigurable Comput., 2014

Transparent insertion of latency-oblivious logic onto FPGAs.

Eddie Hung, Tim Todman, Wayne Luk

Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

2013

Runtime assertions and exceptions for streaming systems.

Tim Todman, Wayne Luk

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

2012

Automated Mapping of the MapReduce Pattern onto Parallel Computing Platforms.

Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides

J. Signal Process. Syst., 2012

Optimizing Hardware Design by Composing Utility-Directed Transformations.

Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides

IEEE Trans. Computers, 2012

Smart technologies for effective reconfiguration: The FASTER approach.

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

Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

Verification of streaming hardware and software codesigns.

Tim Todman, Peter Böhm, Wayne Luk

Proceedings of the 2012 International Conference on Field-Programmable Technology, 2012

Verification of streaming designs by combining symbolic simulation and equivalence checking.

Tim Todman, Wayne Luk

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration.

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

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Novel Design Methods and a Tool Flow for Unleashing Dynamic Reconfiguration.

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

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

Reconfigurable Design Automation by High-Level Exploration.

Tim Todman, Wayne Luk

Proceedings of the 23rd IEEE International Conference on Application-Specific Systems, 2012

2010

Convex models for accelerating applications on FPGA-based clusters.

Qiang Liu, Tim Todman, Kuen Hung Tsoi, Wayne Luk

Proceedings of the International Conference on Field-Programmable Technology, 2010

A Scripting Engine for Combining Design Transformations.

Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides

Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010

Customizable Composition and Parameterization of Hardware Design Transformations.

Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Combining optimizations in automated low power design.

Qiang Liu, Tim Todman, Wayne Luk

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.

Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

A high-level compilation toolchain for heterogeneous systems.

Wayne Luk, José Gabriel de Figueiredo Coutinho, Timothy John Todman, Yuet Ming Lam, William George Osborne, Kong Woei Susanto, Qiang Liu, W. S. Wong

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

Optimising designs by combining model-based and pattern-based transformations.

Qiang Liu, Tim Todman, José Gabriel de Figueiredo Coutinho, Wayne Luk, George A. Constantinides

Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009

2008

Smart Enumeration: A Systematic Approach to Exhaustive Search.

Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

2007

Domain Specific Transformations for Hardware Ray Tracing.

Tim Todman, Wayne Luk

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Improving Bounds for FPGA Logic Minimization.

Tim Todman, Haofan Fu, Oskar Mencer, Wayne Luk

Proceedings of the 2007 International Conference on Field-Programmable Technology, 2007

2005

Customisable Hardware Compilation.

Tim Todman, José Gabriel F. Coutinho, Wayne Luk

J. Supercomput., 2005

Reconfigurable Designs for Radiosity.

Paul Baker, Tim Todman, Henry Styles, Wayne Luk

Proceedings of the 13th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2005), 2005

2004

Memory optimisations for high-resolution imaging.

Tim Todman, Wayne Luk

Proceedings of the 2004 IEEE International Conference on Field-Programmable Technology, 2004

Methods and Tools for High-Resolution Imaging.

Tim Todman, Wayne Luk

Proceedings of the Field Programmable Logic and Application, 2004

2003

A customisable framework for hardware compilation.

Timothy John Todman

PhD thesis, 2003

Combining Imperative and Declarative Hardware Descriptions.

Tim Todman, Wayne Luk

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Real-time Extensions to a C-like Hardware Description Language.

Tim Todman, Wayne Luk

Proceedings of the 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 2003

2001

Reconfigurable Designs for Ray Tracing.

Tim Todman, Wayne Luk

Proceedings of the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2001