Wayne Luk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Application of computational modelling to particle physics Communications in Computational Physics	2025-07-16	Paper
Enhancing High-Level Synthesis Using a Meta-Programming Approach IEEE Transactions on Computers	2022-03-24	Paper
A Fully-Pipelined Hardware Design for Gaussian Mixture Models IEEE Transactions on Computers	2018-06-27	Paper
Hardware Implementation Trade-Offs of Polynomial Approximations and Interpolations IEEE Transactions on Computers	2017-11-10	Paper
FPGA Designs with Optimized Logarithmic Arithmetic IEEE Transactions on Computers	2017-07-27	Paper
Performance Comparison of Graphics Processors to Reconfigurable Logic: A Case Study IEEE Transactions on Computers	2017-07-27	Paper
Optimizing Hardware Design by Composing Utility-Directed Transformations IEEE Transactions on Computers	2017-07-12	Paper
Robust software partitioning with multiple instantiation INFORMS Journal on Computing	2016-06-29	Paper
Parallel partitioning for distributed systems using sequential assignment Journal of Parallel and Distributed Computing	2013-08-22	Paper
Provably-correct hardware compilation tools based on pass separation techniques Formal Aspects of Computing	2006-10-25	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 1979560 (Why is no real title available?)	2003-09-14	Paper
scientific article; zbMATH DE number 1941105 (Why is no real title available?)	2003-06-29	Paper
scientific article; zbMATH DE number 1941107 (Why is no real title available?)	2003-06-29	Paper
scientific article; zbMATH DE number 1941178 (Why is no real title available?)	2003-06-29	Paper
Comparing three heuristic search methods for functional partitioning in hardware--software codesign Design Automation for Embedded Systems	2003-02-17	Paper
scientific article; zbMATH DE number 1852160 (Why is no real title available?)	2003-01-09	Paper
scientific article; zbMATH DE number 1849107 (Why is no real title available?)	2003-01-06	Paper
scientific article; zbMATH DE number 1844643 (Why is no real title available?)	2002-12-12	Paper
scientific article; zbMATH DE number 1844677 (Why is no real title available?)	2002-12-12	Paper
Quantitative analysis of FPGA-based database searching Journal of VLSI signal processing systems for signal, image and video technology	2002-04-21	Paper
Verified compilation of communicating processes into clocked circuits Formal Aspects of Computing	1999-01-11	Paper

Research outcomes over time

This page was built for person: Wayne Luk