Hon Fung Li - RankMe

66 papers A* 5A 1B 4C 9Misc 4Journal 33Unranked 8

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