default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim 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, Mark Vousden, Graeme M. Bragg, Jonny Beaumont, Simon W. Moore, Alex Yakovlev, Ashur Rafiev:
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, Wayne Luk:
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, Tim Todman, Wayne Luk:
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, 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: 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, Ce Guo, Stewart Denholm, Andreea-Ingrid Funie, Mark Salmon, Tim Todman, Wayne Luk:
Self-aware Hardware Acceleration of Financial Applications on a Heterogeneous Cluster. Self-aware Computing Systems 2016: 241-260 - 2015
- [j5]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): 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, Stephan Stilkerich, Wayne Luk:
Using Statistical Assertions to Guide Self-Adaptive Systems. Int. J. Reconfigurable Comput. 2014: 724585:1-724585:8 (2014) - [c25]Eddie Hung, Tim Todman, Wayne Luk:
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, 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: 391-398 - [c21]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: 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, 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: 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, Henry Styles, Wayne Luk:
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, Wayne Luk:
Methods and Tools for High-Resolution Imaging. FPL 2004: 627-636 - [c4]Tim Todman, Wayne Luk:
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, Wayne Luk:
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 21:23 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:
