| 2003 |
|---|
| 28 | EE | Hon F. Li,
Gabriel Girard:
View consistencies and exact implementations.
Parallel Computing 29(1): 37-67 (2003) |
| 2002 |
|---|
| 27 | EE | Guy Dumais,
Hon F. Li:
Distributed Predicate Detection in Series-Parallel Systems.
IEEE Trans. Parallel Distrib. Syst. 13(4): 373-387 (2002) |
| 1999 |
|---|
| 26 | EE | Gabriel Girard,
Hon F. Li:
Evaluation of Two Optimized Protocols for Sequential Consistency.
HICSS 1999 |
| 1997 |
|---|
| 25 | | Hon F. Li,
David K. Probst:
Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada
Chapman & Hall 1997 |
| 1995 |
|---|
| 24 | EE | Hon F. 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: 178-183 |
| 23 | EE | S. C. Leung,
Hon F. Li:
On the realizability and synthesis of delay-insensitive behaviors.
IEEE Trans. on CAD of Integrated Circuits and Systems 14(7): 833-848 (1995) |
| 1994 |
|---|
| 22 | EE | S. C. Leung,
Hon F. Li:
A syntax-directed translation for the synthesis of delay-insensitive circuits.
IEEE Trans. VLSI Syst. 2(2): 196-210 (1994) |
| 21 | EE | P. N. Lam,
Hon F. Li,
S. C. Leung:
Optimization of state encoding in distributed circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(5): 581-588 (1994) |
| 1993 |
|---|
| 20 | | David K. Probst,
Hon F. Li:
Verifying Timed Behavior Automata with Input/Output Critical Races.
CAV 1993: 424-437 |
| 19 | | C. N. Zhang,
Hon F. Li,
R. Jayakumar:
A Systematic Approach for Designing Concurrent Error-Detecting Systolic Arrays Using Redundancy.
Parallel Computing 19(7): 745-764 (1993) |
| 18 | EE | Derek C. W. Pao,
Hon F. Li,
R. Jayakumar:
A decomposable parameter space for the detection of ellipses.
Pattern Recognition Letters 14(12): 951-958 (1993) |
| 1992 |
|---|
| 17 | | David K. Probst,
Hon F. Li:
Verifying Timed Behavior Automata with Nonbinary Delay Constraints.
CAV 1992: 123-136 |
| 16 | EE | Derek C. W. Pao,
Hon F. Li,
R. Jayakumar:
Shapes Recognition Using the Straight Line Hough Transform: Theory and Generalization.
IEEE Trans. Pattern Anal. Mach. Intell. 14(11): 1076-1089 (1992) |
| 1991 |
|---|
| 15 | | David K. Probst,
Hon F. Li:
Partial-Order Model Checking: A Guide for the Perplexed.
CAV 1991: 322-331 |
| 14 | | Hon F. Li,
S. C. Leung,
P. N. Lam:
Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads.
ICCD 1991: 180-186 |
| 1990 |
|---|
| 13 | | David K. Probst,
Hon F. Li:
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.
CAV 1990: 146-155 |
| 12 | | Hon F. Li,
David K. Probst:
Optimal VLSI Dictionary Machines Without Compress Instructions.
IEEE Trans. Computers 39(5): 676-693 (1990) |
| 1989 |
|---|
| 11 | | Hon F. Li,
R. Jayakumar,
Clement Wing Hong Lam:
Restructuring for Fault-Tolerant Systolic Arrays.
IEEE Trans. Computers 38(2): 307-311 (1989) |
| 10 | | Clement Wing Hong Lam,
Hon F. Li,
R. Jayakumar:
A Study of Two Approaches for Reconfiguring Fault-Tolerant Systolic Arrays.
IEEE Trans. Computers 38(6): 833-844 (1989) |
| 9 | EE | Hon F. Li,
Rajagopalan Jayakumar,
M. Youssef:
Parallel algorithms for recognizing handwritten characters using shape features.
Pattern Recognition 22(6): 641-652 (1989) |
| 8 | EE | Hon F. Li,
Derek C. W. Pao,
R. Jayakumar:
Improvements and systolic implementation of the hough transformation for straight line detection.
Pattern Recognition 22(6): 697-706 (1989) |
| 1988 |
|---|
| 7 | | David K. Probst,
Hon F. Li:
Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.
IEEE Trans. Computers 37(6): 710-720 (1988) |
| 1987 |
|---|
| 6 | | Derek C. W. Pao,
Hon F. Li,
R. Jayakumar:
Dynamic Reconfiguration for Fault-Tolerant Systolic Arrays.
ICPP 1987: 110-113 |
| 1986 |
|---|
| 5 | | Hon F. Li,
R. Jayakumar:
Systolic Structures: A Notion and Characterization.
J. Parallel Distrib. Comput. 3(3): 373-397 (1986) |
| 1978 |
|---|
| 4 | | C. V. Ramamoorthy,
Hon F. Li:
Corrigenda: Pipeline Architecture.
ACM Comput. Surv. 10(4): 508 (1978) |
| 1977 |
|---|
| 3 | | C. V. Ramamoorthy,
Hon F. Li:
Pipeline Architecture.
ACM Comput. Surv. 9(1): 61-102 (1977) |
| 2 | | Hon F. Li:
Scheduling Trees in Parallel/Pipelined Processing Environments.
IEEE Trans. Computers 26(11): 1101-1112 (1977) |
| 1976 |
|---|
| 1 | | C. V. Ramamoorthy,
Thomas F. Fox,
Hon F. Li:
Scheduling Parallel Processable Tasks for a Uniprocessor.
IEEE Trans. Computers 25(5): 485-495 (1976) |
