default search action
Tim Todman
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c35]José Gabriel F. Coutinho, Ce Guo, Tim Todman, Wayne Luk:
Exploring Machine Learning Adoption in Customisable Processor Design. ASICON 2023: 1-4 - 2022
- [j7]Tim Todman
, Wayne Luk:
Custom Instructions for Networked Processor Templates. IEEE Trans. Circuits Syst. II Express Briefs 69(7): 3096-3100 (2022) - [c34]Andrew Brown, Tim Todman, Wayne Luk, David B. Thomas
Non-deterministic event brokered computing. HEART 2022: 84-86 - 2021
- [c33]Tim Todman, Wayne Luk:
Custom enhancements to networked processor templates. ISVLSI 2021: 224-229 - 2020
- [c32]Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman:
Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies. FCCM 2020: 177-185 - [c31]Tim Todman, David B. Thomas
Exploring performance enhancement of event-driven processor networks. FPT 2020: 300
2010 – 2019
- 2018
- [c30]Bowen P. Y. Kwan, Gary C. T. Chow, Tim Todman, Wayne Luk, Wenguang Xu:
Lossy Multiport Memory. FPT 2018: 250-253 - 2017
- [j6]Eddie Hung
Transparent In-Circuit Assertions for FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(7): 1193-1202 (2017) - [c29]Ruizhe Zhao, Tim Todman, Wayne Luk, Xinyu Niu:
DeepPump: Multi-pumping deep Neural Networks. ASAP 2017: 206 - [p3]Tim Todman, Wayne Luk:
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design. Provably Correct Systems 2017: 265-281 - 2016
- [c28]Maciej Kurek, Marc Peter Deisenroth, Wayne Luk, Timothy John Todman
Knowledge Transfer in Automatic Optimisation of Reconfigurable Designs. FCCM 2016: 84-87 - [c27]Dirk Stroobandt, Ana Lucia Varbanescu, Catalin Bogdan Ciobanu
EXTRA: Towards the exploitation of eXascale technology for reconfigurable architectures. ReCoSoC 2016: 1-7 - [p2]Xinyu Niu, Tim Todman, Wayne Luk:
Self-adaptive Hardware Acceleration on a Heterogeneous Cluster. Self-aware Computing Systems 2016: 167-192 - [p1]Maciej Kurek, Tobias Becker
Self-aware Hardware Acceleration of Financial Applications on a Heterogeneous Cluster. Self-aware Computing Systems 2016: 241-260 - 2015
- [j5]Dionisios N. Pnevmatikatos
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. Microprocess. Microsystems 39(4-5): 321-338 (2015) - [c26]Tim Todman, Stephan Stilkerich, Wayne Luk:
In-circuit temporal monitors for runtime verification of reconfigurable designs. DAC 2015: 50:1-50:6 - 2014
- [j4]Tim Todman
Using Statistical Assertions to Guide Self-Adaptive Systems. Int. J. Reconfigurable Comput. 2014: 724585:1-724585:8 (2014) - [c25]Eddie Hung, Tim Todman
Transparent insertion of latency-oblivious logic onto FPGAs. FPL 2014: 1-8 - 2013
- [c24]Tim Todman, Wayne Luk:
Runtime assertions and exceptions for streaming systems. FPL 2013: 1-4 - 2012
- [j3]Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides:
Optimizing Hardware Design by Composing Utility-Directed Transformations. IEEE Trans. Computers 61(12): 1800-1812 (2012) - [j2]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): 65-78 (2012) - [c23]Tim Todman, Wayne Luk:
Reconfigurable Design Automation by High-Level Exploration. ASAP 2012: 185-188 - [c22]Kyprianos Papadimitriou
Novel Design Methods and a Tool Flow for Unleashing Dynamic Reconfiguration. CSE 2012: 391-398 - [c21]Dionisios N. Pnevmatikatos
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. DSD 2012: 234-241 - [c20]Tim Todman, Wayne Luk:
Verification of streaming designs by combining symbolic simulation and equivalence checking. FPL 2012: 203-208 - [c19]Tim Todman, Peter Böhm, Wayne Luk:
Verification of streaming hardware and software codesigns. FPT 2012: 147-150 - [c18]Marco D. Santambrogio
Smart technologies for effective reconfiguration: The FASTER approach. ReCoSoC 2012: 1-7 - 2010
- [c17]Qiang Liu, Tim Todman, Wayne Luk:
Combining optimizations in automated low power design. DATE 2010: 1791-1796 - [c16]Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides:
Customizable Composition and Parameterization of Hardware Design Transformations. DSD 2010: 595-602 - [c15]Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides:
A Scripting Engine for Combining Design Transformations. FCCM 2010: 255-258 - [c14]Qiang Liu, Tim Todman, Kuen Hung Tsoi, Wayne Luk:
Convex models for accelerating applications on FPGA-based clusters. FPT 2010: 495-498
2000 – 2009
- 2009
- [c13]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: 308-313 - [c12]Wayne Luk, José Gabriel de Figueiredo Coutinho, Timothy John Todman, Yuet Ming Lam, William George Osborne, Kong Woei Susanto, Qiang Liu, W. S. Wong:
A high-level compilation toolchain for heterogeneous systems. SoCC 2009: 9-18 - [c11]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
- [c10]Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk:
Smart Enumeration: A Systematic Approach to Exhaustive Search. PATMOS 2008: 429-438 - 2007
- [c9]Tim Todman, Haofan Fu, Oskar Mencer, Wayne Luk:
Improving Bounds for FPGA Logic Minimization. FPT 2007: 245-248 - [c8]Tim Todman, Wayne Luk:
Domain Specific Transformations for Hardware Ray Tracing. CPA 2007: 479-492 - 2005
- [j1]Tim Todman, José Gabriel F. Coutinho, Wayne Luk:
Customisable Hardware Compilation. J. Supercomput. 32(2): 119-137 (2005) - [c7]Paul Baker, Tim Todman
Reconfigurable Designs for Radiosity. FCCM 2005: 95-104 - 2004
- [c6]Tim Todman, José Gabriel F. Coutinho, Wayne Luk:
Customisable Hardware Compilation. ERSA 2004: 18-28 - [c5]Tim Todman
Methods and Tools for High-Resolution Imaging. FPL 2004: 627-636 - [c4]Tim Todman
Memory optimisations for high-resolution imaging. FPT 2004: 153-160 - 2003
- [b1]Timothy John Todman:
A customisable framework for hardware compilation. Imperial College London, UK, 2003 - [c3]Tim Todman
Real-time Extensions to a C-like Hardware Description Language. FCCM 2003: 302-304 - [c2]Tim Todman, Wayne Luk:
Combining Imperative and Declarative Hardware Descriptions. HICSS 2003: 280 - 2001
- [c1]Tim Todman, Wayne Luk:
Reconfigurable Designs for Ray Tracing. FCCM 2001: 300-301
Coauthor Index
aka: José Gabriel de Figueiredo Coutinho
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: