Search the dblp DataBase

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]