The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fong Pong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois
    Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1995, pp:287-300 [Conf]
  2. Fong Pong
    Fast and Robust TCP Session Lookup by Digest Hash. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2006, pp:507-514 [Conf]
  3. Fong Pong, Per Stenström, Michel Dubois
    An Integrated Methodology for the Verification of Directory-Based Cache Protocols. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1994, pp:158-165 [Conf]
  4. Fong Pong, Michel Dubois
    Formal Verification of Delayed Consistency Protocols. [Citation Graph (0, 0)][DBLP]
    IPPS, 1996, pp:124-131 [Conf]
  5. Ashley Saulsbury, Fong Pong, Andreas Nowatzyk
    Missing the Memory Wall: The Case for Processor/Memory Integration. [Citation Graph (0, 0)][DBLP]
    ISCA, 1996, pp:90-101 [Conf]
  6. Fong Pong, Michel Dubois
    The Verification of Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    SPAA, 1993, pp:11-20 [Conf]
  7. Fong Pong, Michel Dubois
    Correctness of a Directory-Based Cache Coherence Protocol: Early Experience. [Citation Graph (0, 0)][DBLP]
    SPDP, 1993, pp:37-44 [Conf]
  8. Fong Pong, Michel Dubois
    Verification Techniques for Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:29, n:1, pp:82-126 [Journal]
  9. Fong Pong, Michel Dubois
    Formal Verification of Complex Coherence Protocols Using Symbolic State Models. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1998, v:45, n:4, pp:557-587 [Journal]
  10. Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois
    Design Verification of the S3.mp Cache-Coherent Shared-Memory System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1998, v:47, n:1, pp:135-140 [Journal]
  11. Fong Pong, Michel Dubois
    Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2000, v:11, n:9, pp:989-1006 [Journal]
  12. Fong Pong, Michel Dubois
    A New Approach for the Verification of Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:8, pp:773-787 [Journal]

  13. Communication performance of a modular high-bandwidth multiprocessor system. [Citation Graph (, )][DBLP]


  14. Storage-Efficient Architecture for Routing Tables via Prefix Transformation. [Citation Graph (, )][DBLP]


  15. Application-Layer Packet Processing through Ethereal Memory. [Citation Graph (, )][DBLP]


Search in 0.082secs, Finished in 0.083secs
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