The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hon Fung Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pankaj Goyal, H. F. Li, E. Regener, Fereidoon Sadri
    Scheduling of Page Fetches in Join Operations Using Bc-Trees. [Citation Graph (7, 7)][DBLP]
    ICDE, 1988, pp:304-310 [Conf]
  2. David K. Probst, Hon F. Li
    Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:146-155 [Conf]
  3. David K. Probst, Hon F. Li
    Partial-Order Model Checking: A Guide for the Perplexed. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:322-331 [Conf]
  4. David K. Probst, Hon F. Li
    Verifying Timed Behavior Automata with Nonbinary Delay Constraints. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:123-136 [Conf]
  5. David K. Probst, Hon F. Li
    Verifying Timed Behavior Automata with Input/Output Critical Races. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:424-437 [Conf]
  6. Hon F. Li, P. N. Lam
    A protocol extraction strategy for control point insertion in design for test of transition signaling circuits. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1995, pp:178-183 [Conf]
  7. Gabriel Girard, Hon F. Li
    Evaluation of Two Optimized Protocols for Sequential Consistency. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  8. Mohammad Mursalin Akon, Ajit Singh, Dhrubajyoti Goswami, Hon Fung Li
    Extensible Parallel Architectural Skeletons. [Citation Graph (0, 0)][DBLP]
    HiPC, 2005, pp:290-301 [Conf]
  9. Hon F. Li, S. C. Leung, P. N. Lam
    Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads. [Citation Graph (0, 0)][DBLP]
    ICCD, 1991, pp:180-186 [Conf]
  10. H. F. Li, Thiruvengadam Radhakrishnan, K. Venkatesh
    Global State Detection in Non-FIFO Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1987, pp:364-370 [Conf]
  11. Derek C. W. Pao, Hon F. Li, R. Jayakumar
    Dynamic Reconfiguration for Fault-Tolerant Systolic Arrays. [Citation Graph (0, 0)][DBLP]
    ICPP, 1987, pp:110-113 [Conf]
  12. Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li
    SuperPAS: A Parallel Architectural Skeleton Model Supporting Extensibility and Skeleton Composition. [Citation Graph (0, 0)][DBLP]
    ISPA, 2004, pp:985-996 [Conf]
  13. Mohammad Mursalin Akon, Ajit Singh, Xuemin Shen, Dhrubajyoti Goswami, Hon Fung Li
    Developing High-Performance Parallel Applications Using EPAS. [Citation Graph (0, 0)][DBLP]
    ISPA, 2005, pp:431-441 [Conf]
  14. Lin Wang, Hon Fung Li, Dhrubajyoti Goswami, Zunce Wei
    A Fault-Tolerant Multi-agent Development Framework. [Citation Graph (0, 0)][DBLP]
    ISPA, 2004, pp:126-135 [Conf]
  15. Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li
    A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:367-380 [Conf]
  16. Zunce Wei, Hon F. Li, Dhrubajyoti Goswami
    A Locality-Driven Atomic Group Checkpoint Protocol. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2006, pp:558-564 [Conf]
  17. Mohammad Mursalin Akon, Ramgopal Rajagopalan, Dhrubajyoti Goswami, Hon Fung Li
    DAMon: A Distributed Monitoring System for User Defined Application Parameters. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2004, pp:1285-1290 [Conf]
  18. Anirban Majumdar, Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, Dhrubajyoti Goswami
    On-the-Fly Agent-Based Distributed Shared State Monitoring. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2004, pp:1396-1402 [Conf]
  19. Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami
    Composable Skeletons for Parallel Programming. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2004, pp:1256-1261 [Conf]
  20. Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami
    Predicate-Based Dynamic Slicing of Message Passing Programs. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:133-0 [Conf]
  21. Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami
    Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:1, pp:63-89 [Journal]
  22. C. V. Ramamoorthy, Hon F. Li
    Pipeline Architecture. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1977, v:9, n:1, pp:61-102 [Journal]
  23. C. V. Ramamoorthy, Hon F. Li
    Corrigenda: Pipeline Architecture. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1978, v:10, n:4, pp:508- [Journal]

  24. Efficiency in generalized pipeline networks. [Citation Graph (, )][DBLP]


  25. Checking Distributed Programs with Partially Ordered Atoms. [Citation Graph (, )][DBLP]


  26. Using synchronized atoms to check distributed programs. [Citation Graph (, )][DBLP]


  27. Cloning-Based Checkpoint for Localized Recovery. [Citation Graph (, )][DBLP]


  28. Detecting Atomicity Errors in Message Passing Programs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002