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

Fong Pong

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

2008
15EEFong Pong, Nian-Feng Tzeng: Application-Layer Packet Processing through Ethereal Memory. NCA 2008: 185-194
2007
14EEFong Pong, Nian-Feng Tzeng, Koray Öner, Chun Ning, Kwong-Tak Chui, Manoj Ekbote, Yanping Lu: Communication performance of a modular high-bandwidth multiprocessor system. ICPADS 2007: 1-8
13EEFong Pong, Nian-Feng Tzeng: Storage-Efficient Architecture for Routing Tables via Prefix Transformation. LCN 2007: 55-62
2006
12EEFong Pong: Fast and Robust TCP Session Lookup by Digest Hash. ICPADS (1) 2006: 507-514
2000
11EEFong Pong, Michel Dubois: Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models. IEEE Trans. Parallel Distrib. Syst. 11(9): 989-1006 (2000)
1998
10 Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois: Design Verification of the S3.mp Cache-Coherent Shared-Memory System. IEEE Trans. Computers 47(1): 135-140 (1998)
9EEFong Pong, Michel Dubois: Formal Verification of Complex Coherence Protocols Using Symbolic State Models. J. ACM 45(4): 557-587 (1998)
1996
8EEFong Pong, Michel Dubois: Formal Verification of Delayed Consistency Protocols. IPPS 1996: 124-131
7EEAshley Saulsbury, Fong Pong, Andreas Nowatzyk: Missing the Memory Wall: The Case for Processor/Memory Integration. ISCA 1996: 90-101
6EEFong Pong, Michel Dubois: Verification Techniques for Cache Coherence Protocols. ACM Comput. Surv. 29(1): 82-126 (1996)
1995
5 Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois: Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study. Euro-Par 1995: 287-300
4EEFong Pong, Michel Dubois: A New Approach for the Verification of Cache Coherence Protocols. IEEE Trans. Parallel Distrib. Syst. 6(8): 773-787 (1995)
1994
3 Fong Pong, Per Stenström, Michel Dubois: An Integrated Methodology for the Verification of Directory-Based Cache Protocols. ICPP (1) 1994: 158-165
1993
2EEFong Pong, Michel Dubois: The Verification of Cache Coherence Protocols. SPAA 1993: 11-20
1 Fong Pong, Michel Dubois: Correctness of a Directory-Based Cache Coherence Protocol: Early Experience. SPDP 1993: 37-44

Coauthor Index

1Gunes Aybay [5] [10]
2Michael C. Browne [10]
3Kwong-Tak Chui [14]
4Michel Dubois [1] [2] [3] [4] [5] [6] [8] [9] [10] [11]
5Manoj Ekbote [14]
6Yanping Lu [14]
7Chun Ning [14]
8Andreas Nowatzyk [5] [7] [10]
9Koray Öner [14]
10Ashley Saulsbury [7]
11Per Stenström [3]
12Nian-Feng Tzeng [13] [14] [15]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)