dblp.uni-trier.dewww.uni-trier.de

Hon F. Li Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
28EEHon F. Li, Gabriel Girard: View consistencies and exact implementations. Parallel Computing 29(1): 37-67 (2003)
2002
27EEGuy Dumais, Hon F. Li: Distributed Predicate Detection in Series-Parallel Systems. IEEE Trans. Parallel Distrib. Syst. 13(4): 373-387 (2002)
1999
26EEGabriel 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
24EEHon 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
23EES. 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
22EES. 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)
21EEP. 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
20EEDavid 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)
18EEDerek 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
17EEDavid K. Probst, Hon F. Li: Verifying Timed Behavior Automata with Nonbinary Delay Constraints. CAV 1992: 123-136
16EEDerek 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
15EEDavid 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
13EEDavid 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)
9EEHon F. Li, Rajagopalan Jayakumar, M. Youssef: Parallel algorithms for recognizing handwritten characters using shape features. Pattern Recognition 22(6): 641-652 (1989)
8EEHon 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)

Coauthor Index

1Guy Dumais [27]
2Thomas F. Fox [1]
3Gabriel Girard [26] [28]
4Rajagopalan Jayakumar (R. Jayakumar) [5] [6] [8] [9] [10] [11] [16] [18] [19]
5Clement W. H. Lam (Clement Wing Hong Lam) [10] [11]
6P. N. Lam [14] [21] [24]
7S. C. Leung [14] [21] [22] [23]
8Derek Chi-Wai Pao (Derek C. W. Pao) [6] [8] [16] [18]
9David K. Probst [7] [12] [13] [15] [17] [20] [25]
10C. V. Ramamoorthy (Chittoor V. Ramamoorthy) [1] [3] [4]
11M. Youssef [9]
12C. N. Zhang [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)