Hon Fung Li

Publication Activity (10 Years)

Years Active: 1973-2008
Publications (10 Years): 0

Publications

Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li, Xuemin Shen, Ajit Singh
A Novel Software-Built Parallel Machines and their Interconnections. J. Interconnect. Networks 9 (1/2) (2008)
Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami
Using Atoms to Simplify Distributed Programs Checking. DASC (2007)
Hon Fung Li, Eslam Al Maghayreh
Using synchronized atoms to check distributed programs. ICPADS (2007)
Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami
Detecting Atomicity Errors in Message Passing Programs. PDCAT (2007)
Hon Fung Li, Eslam Al Maghayreh
Checking Distributed Programs with Partially Ordered Atoms. APSEC (2007)
Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami
A Locality-Driven Atomic Group Checkpoint Protocol. PDCAT (2006)
Hon Fung Li, Zunce Wei, Dhrubajyoti Goswami
Quasi-atomic recovery for distributed agents. Parallel Comput. 32 (10) (2006)
Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami
Cloning-Based Checkpoint for Localized Recovery. ISPAN (2005)
Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li
A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons. PaCT (2005)
Mohammad Mursalin Akon, Ajit Singh, Dhrubajyoti Goswami, Hon Fung Li
Extensible Parallel Architectural Skeletons. HiPC (2005)
Mohammad Mursalin Akon, Ajit Singh, Xuemin Shen, Dhrubajyoti Goswami, Hon Fung Li
Developing High-Performance Parallel Applications Using EPAS. ISPA (2005)
Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami
On-the-Fly Agent-Based Distributed Shared State Monitoring. PDPTA (2004)
Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li
SuperPAS: A Parallel Architectural Skeleton Model Supporting Extensibility and Skeleton Composition. ISPA (2004)
Mohammad Mursalin Akon, Ramgopal Rajagopalan, Dhrubajyoti Goswami, Hon Fung Li
DAMon: A Distributed Monitoring System for User Defined Application Parameters. PDPTA (2004)
Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami
Composable Skeletons for Parallel Programming. PDPTA (2004)
Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. Autom. Softw. Eng. 11 (1) (2004)
Lin Wang, Hon Fung Li, Dhrubajyoti Goswami, Zunce Wei
A Fault-Tolerant Multi-agent Development Framework. ISPA (2004)
Hon Fung Li, Gabriel Girard
View consistencies and exact implementations. Parallel Comput. 29 (1) (2003)
J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, George S. K. Fung
Moment-based fast discrete Hartley transform. Signal Process. 83 (8) (2003)
Guy Dumais, Hon Fung Li
Distributed Predicate Detection in Series-Parallel Systems. IEEE Trans. Parallel Distributed Syst. 13 (4) (2002)
Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami
Predicate-Based Dynamic Slicing of Message Passing Programs. SCAM (2002)
J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li
Moment-based fast discrete sine transforms. IEEE Signal Process. Lett. 7 (8) (2000)
J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li
A new approach to fast calculation of moments of 3-D gray level images. Parallel Comput. 26 (6) (2000)
J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li
A Novel Approach to Fast Discrete Hartley Transform. ISPAN (1999)
Gabriel Girard, Hon Fung Li
Evaluation of Two Optimized Protocols for Sequential Consistency. HICSS (1999)
J. G. Liu, Hon Fung Li, Francis H. Y. Chan, Francis K. Lam
A Novel Approach to Fast Discrete Fourier Transform. J. Parallel Distributed Comput. 54 (1) (1998)
J. G. Liu, Hon Fung Li, Francis H. Y. Chan, Francis K. Lam
Fast Discrete Cosine Transform via Computation of Moments. J. VLSI Signal Process. 19 (3) (1998)
Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, J. G. Liu
An all adder systolic structure for fast computation of moments. J. VLSI Signal Process. 12 (2) (1996)
Hon Fung Li, P. N. Lam
A protocol extraction strategy for control point insertion in design for test of transition signaling circuits. Great Lakes Symposium on VLSI (1995)
S. C. Leung, Hon Fung Li
On the realizability and synthesis of delay-insensitive behaviors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (7) (1995)
P. N. Lam, Hon Fung Li, S. C. Leung
Optimization of state encoding in distributed circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (5) (1994)
Hon Fung Li, S. C. Leung
An efficient algorithm for the realizability analysis of signal transition graphs. Great Lakes Symposium on VLSI (1994)
S. C. Leung, Hon Fung Li
A syntax-directed translation for the synthesis of delay-insensitive circuits. IEEE Trans. Very Large Scale Integr. Syst. 2 (2) (1994)
Derek C. W. Pao, Hon Fung Li, R. Jayakumar
A decomposable parameter space for the detection of ellipses. Pattern Recognit. Lett. 14 (12) (1993)
Chang Nian Zhang, Hon Fung Li, R. Jayakumar
A Systematic Approach for Designing Concurrent Error-Detecting Systolic Arrays Using Redundancy. Parallel Comput. 19 (7) (1993)
David K. Probst, Hon Fung Li
Verifying Timed Behavior Automata with Input/Output Critical Races. CAV (1993)
Derek C. W. Pao, Hon Fung Li, R. Jayakumar
Shapes Recognition Using the Straight Line Hough Transform: Theory and Generalization. IEEE Trans. Pattern Anal. Mach. Intell. 14 (11) (1992)
David K. Probst, Hon Fung Li
Verifying Timed Behavior Automata with Nonbinary Delay Constraints. CAV (1992)
Hon Fung Li, S. C. Leung, P. N. Lam
Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads. ICCD (1991)
David K. Probst, Hon Fung Li
Partial-Order Model Checking: A Guide for the Perplexed. CAV (1991)
David K. Probst, Hon Fung Li
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. CAV (DIMACS/AMS volume) (1990)
Hon Fung Li, K. Venkatesh, Thiruvengadam Radhakrishnan
Time Advancement in Distributed Event Simulation. J. Parallel Distributed Comput. 9 (1) (1990)
Derek C. W. Pao, Hon Fung Li, R. Jayakumar
Detecting parameteric curves using the straight line Hough transform. ICPR (1) (1990)
Hon Fung Li, David K. Probst
Optimal VLSI Dictionary Machines Without Compress Instructions. IEEE Trans. Computers 39 (5) (1990)
David K. Probst, Hon Fung Li
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. CAV (1990)
Hon Fung Li, R. Jayakumar, Clement Wing Hong Lam
Restructuring for Fault-Tolerant Systolic Arrays. IEEE Trans. Computers 38 (2) (1989)
Clement Wing Hong Lam, Hon Fung Li, R. Jayakumar
A Study of Two Approaches for Reconfiguring Fault-Tolerant Systolic Arrays. IEEE Trans. Computers 38 (6) (1989)
Hon Fung Li, Rajagopalan Jayakumar, M. Youssef
Parallel algorithms for recognizing handwritten characters using shape features. Pattern Recognit. 22 (6) (1989)
Hon Fung Li, Derek C. W. Pao, R. Jayakumar
Improvements and systolic implementation of the hough transformation for straight line detection. Pattern Recognit. 22 (6) (1989)
Pankaj Goyal, Hon Fung Li, Eric Regener, Fereidoon Sadri
Scheduling of Page Fetches in Join Operations Using Bc-Trees. ICDE (1988)
David K. Probst, Hon Fung Li
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations. IEEE Trans. Computers 37 (6) (1988)
K. Venkatesh, Thiruvengadam Radhakrishnan, Hon Fung Li
Optimal Checkpointing and Local Recording for Domino-Free Rollback Recovery. Inf. Process. Lett. 25 (5) (1987)
Derek C. W. Pao, Hon Fung Li, R. Jayakumar
Dynamic Reconfiguration for Fault-Tolerant Systolic Arrays. ICPP (1987)
Hon Fung Li, W. K. Cheung
An Empirical Study of Software Metrics. IEEE Trans. Software Eng. 13 (6) (1987)
Hon Fung Li, Thiruvengadam Radhakrishnan, K. Venkatesh
Global State Detection in Non-FIFO Networks. ICDCS (1987)
Hon Fung Li, R. Jayakumar
Systolic Structures: A Notion and Characterization. J. Parallel Distributed Comput. 3 (3) (1986)
Hon Fung Li, C. M. Tsang, Y. S. Cheung
A low-cost real-time imaging and processing system. Softw. Microsystems 2 (5) (1983)
Hon Fung Li, C. C. Lau
A distributed multiprocessor traffic control system. COMPSAC (1978)
C. V. Ramamoorthy, Hon Fung Li
Corrigenda: Pipeline Architecture. ACM Comput. Surv. 10 (4) (1978)
C. V. Ramamoorthy, Hon Fung Li
Pipeline Architecture. ACM Comput. Surv. 9 (1) (1977)
Hon Fung Li
Scheduling Trees in Parallel/Pipelined Processing Environments. IEEE Trans. Computers 26 (11) (1977)
C. V. Ramamoorthy, Thomas F. Fox, Hon Fung Li
Scheduling Parallel Processable Tasks for a Uniprocessor. IEEE Trans. Computers 25 (5) (1976)
C. V. Ramamoorthy, Hon Fung Li
Efficiency in generalized pipeline networks. AFIPS National Computer Conference (1974)
Chittoor V. Ramamoorthy, Juong H. Park, Hon Fung Li
Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions. IEEE Trans. Computers 22 (11) (1973)