Hon Fung Li

According to our database, Hon Fung Li authored at least 64 papers between 1973 and 2008.

Collaborative distances:

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

2008

A Novel Software-Built Parallel Machines and their Interconnections.

Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li, Xuemin Shen, Ajit Singh

J. Interconnect. Networks, 2008

2007

Detecting Atomicity Errors in Message Passing Programs.

Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Using synchronized atoms to check distributed programs.

Hon Fung Li, Eslam Al Maghayreh

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Using Atoms to Simplify Distributed Programs Checking.

Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami

Proceedings of the Third IEEE International Symposium on Dependable, 2007

Checking Distributed Programs with Partially Ordered Atoms.

Hon Fung Li, Eslam Al Maghayreh

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Quasi-atomic recovery for distributed agents.

Hon Fung Li, Zunce Wei, Dhrubajyoti Goswami

Parallel Comput., 2006

A Locality-Driven Atomic Group Checkpoint Protocol.

Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami

Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

2005

A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons.

Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li

Proceedings of the Parallel Computing Technologies, 2005

Cloning-Based Checkpoint for Localized Recovery.

Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

Developing High-Performance Parallel Applications Using EPAS.

Mohammad Mursalin Akon, Ajit Singh, Xuemin Shen, Dhrubajyoti Goswami, Hon Fung Li

Proceedings of the Parallel and Distributed Processing and Applications, 2005

Extensible Parallel Architectural Skeletons.

Mohammad Mursalin Akon, Ajit Singh, Dhrubajyoti Goswami, Hon Fung Li

Proceedings of the High Performance Computing, 2005

2004

Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems.

Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami

Autom. Softw. Eng., 2004

Composable Skeletons for Parallel Programming.

Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

On-the-Fly Agent-Based Distributed Shared State Monitoring.

Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

DAMon: A Distributed Monitoring System for User Defined Application Parameters.

Mohammad Mursalin Akon, Ramgopal Rajagopalan, Dhrubajyoti Goswami, Hon Fung Li

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

A Fault-Tolerant Multi-agent Development Framework.

Lin Wang, Hon Fung Li, Dhrubajyoti Goswami, Zunce Wei

Proceedings of the Parallel and Distributed Processing and Applications, 2004

SuperPAS: A Parallel Architectural Skeleton Model Supporting Extensibility and Skeleton Composition.

Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li

Proceedings of the Parallel and Distributed Processing and Applications, 2004

2003

Moment-based fast discrete Hartley transform.

J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, George S. K. Fung

Signal Process., 2003

View consistencies and exact implementations.

Hon Fung Li, Gabriel Girard

Parallel Comput., 2003

2002

Distributed Predicate Detection in Series-Parallel Systems.

Guy Dumais, Hon Fung Li

IEEE Trans. Parallel Distributed Syst., 2002

Predicate-Based Dynamic Slicing of Message Passing Programs.

Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

2000

Moment-based fast discrete sine transforms.

J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li

IEEE Signal Process. Lett., 2000

A new approach to fast calculation of moments of 3-D gray level images.

J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li

Parallel Comput., 2000

1999

A Novel Approach to Fast Discrete Hartley Transform.

J. G. Liu, Francis H. Y. Chan, Francis K. Lam, Hon Fung Li

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

Evaluation of Two Optimized Protocols for Sequential Consistency.

Gabriel Girard, Hon Fung Li

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Fast Discrete Cosine Transform via Computation of Moments.

J. G. Liu, Hon Fung Li, Francis H. Y. Chan, Francis K. Lam

J. VLSI Signal Process., 1998

A Novel Approach to Fast Discrete Fourier Transform.

J. G. Liu, Hon Fung Li, Francis H. Y. Chan, Francis K. Lam

J. Parallel Distributed Comput., 1998

1996

An all adder systolic structure for fast computation of moments.

Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, J. G. Liu

J. VLSI Signal Process., 1996

1995

On the realizability and synthesis of delay-insensitive behaviors.

S. C. Leung, Hon Fung Li

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

A protocol extraction strategy for control point insertion in design for test of transition signaling circuits.

Hon Fung Li, P. N. Lam

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1994

A syntax-directed translation for the synthesis of delay-insensitive circuits.

S. C. Leung, Hon Fung Li

IEEE Trans. Very Large Scale Integr. Syst., 1994

Optimization of state encoding in distributed circuits.

P. N. Lam, Hon Fung Li, S. C. Leung

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

An efficient algorithm for the realizability analysis of signal transition graphs.

Hon Fung Li, S. C. Leung

Proceedings of the Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1994

1993

A decomposable parameter space for the detection of ellipses.

Derek C. W. Pao, Hon Fung Li, R. Jayakumar

Pattern Recognit. Lett., 1993

A Systematic Approach for Designing Concurrent Error-Detecting Systolic Arrays Using Redundancy.

Chang Nian Zhang, Hon Fung Li, R. Jayakumar

Parallel Comput., 1993

Verifying Timed Behavior Automata with Input/Output Critical Races.

David K. Probst, Hon Fung Li

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Shapes Recognition Using the Straight Line Hough Transform: Theory and Generalization.

Derek C. W. Pao, Hon Fung Li, R. Jayakumar

IEEE Trans. Pattern Anal. Mach. Intell., 1992

Verifying Timed Behavior Automata with Nonbinary Delay Constraints.

David K. Probst, Hon Fung Li

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads.

Hon Fung Li, S. C. Leung, P. N. Lam

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

Partial-Order Model Checking: A Guide for the Perplexed.

David K. Probst, Hon Fung Li

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Optimal VLSI Dictionary Machines Without Compress Instructions.

Hon Fung Li, David K. Probst

IEEE Trans. Computers, 1990

Time Advancement in Distributed Event Simulation.

Hon Fung Li, K. Venkatesh, Thiruvengadam Radhakrishnan

J. Parallel Distributed Comput., 1990

Detecting parameteric curves using the straight line Hough transform.

Derek C. W. Pao, Hon Fung Li, R. Jayakumar

Proceedings of the 10th IAPR International Conference on Pattern Recognition, 1990

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.

David K. Probst, Hon Fung Li

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Systolic Architectures for Structural Feature Extraction using Curve Tracing and Hough Transform.

Hon Fung Li, Rajagopalan Jayakumar, Derek Chi-Wai Pao, M. Youssef

Proceedings of the Computer Vision and Shape Recognition, 1989

Restructuring for Fault-Tolerant Systolic Arrays.

Hon Fung Li, R. Jayakumar, Clement Wing Hong Lam

IEEE Trans. Computers, 1989

A Study of Two Approaches for Reconfiguring Fault-Tolerant Systolic Arrays.

Clement Wing Hong Lam, Hon Fung Li, R. Jayakumar

IEEE Trans. Computers, 1989

Improvements and systolic implementation of the hough transformation for straight line detection.

Hon Fung Li, Derek C. W. Pao, R. Jayakumar

Pattern Recognit., 1989

Parallel algorithms for recognizing handwritten characters using shape features.

Hon Fung Li, Rajagopalan Jayakumar, M. Youssef

Pattern Recognit., 1989

1988

Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.

David K. Probst, Hon Fung Li

IEEE Trans. Computers, 1988

Scheduling of Page Fetches in Join Operations Using Bc-Trees.

Pankaj Goyal, Hon Fung Li, Eric Regener, Fereidoon Sadri

Proceedings of the Fourth International Conference on Data Engineering, 1988

1987

An Empirical Study of Software Metrics.

Hon Fung Li, W. K. Cheung

IEEE Trans. Software Eng., 1987

Optimal Checkpointing and Local Recording for Domino-Free Rollback Recovery.

K. Venkatesh, Thiruvengadam Radhakrishnan, Hon Fung Li

Inf. Process. Lett., 1987

Dynamic Reconfiguration for Fault-Tolerant Systolic Arrays.

Derek C. W. Pao, Hon Fung Li, R. Jayakumar

Proceedings of the International Conference on Parallel Processing, 1987

Global State Detection in Non-FIFO Networks.

Hon Fung Li, Thiruvengadam Radhakrishnan, K. Venkatesh

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

Systolic Structures: A Notion and Characterization.

Hon Fung Li, R. Jayakumar

J. Parallel Distributed Comput., 1986

1983

A low-cost real-time imaging and processing system.

Hon Fung Li, C. M. Tsang, Y. S. Cheung

Softw. Microsystems, 1983

1978

Corrigenda: Pipeline Architecture.

C. V. Ramamoorthy, Hon Fung Li

ACM Comput. Surv., 1978

A distributed multiprocessor traffic control system.

Hon Fung Li, C. C. Lau

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Scheduling Trees in Parallel/Pipelined Processing Environments.

Hon Fung Li

IEEE Trans. Computers, 1977

Pipeline Architecture.

C. V. Ramamoorthy, Hon Fung Li

ACM Comput. Surv., 1977

1976

Scheduling Parallel Processable Tasks for a Uniprocessor.

C. V. Ramamoorthy, Thomas F. Fox, Hon Fung Li

IEEE Trans. Computers, 1976

1974

Efficiency in generalized pipeline networks.

C. V. Ramamoorthy, Hon Fung Li

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973

Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions.

Chittoor V. Ramamoorthy, Juong H. Park, Hon Fung Li

IEEE Trans. Computers, 1973