Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fong Pong
2010 – today
- 2012
[j8]Fong Pong, Nian-Feng Tzeng: Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in Scalable Routers. IEEE/ACM Trans. Netw. 20(3): 729-741 (2012)- [c11]Chih-Hsun Chou, Fong Pong, Nian-Feng Tzeng: Speedy FPGA-based packet classifiers with low on-chip memory requirements. FPGA 2012: 11-20
- 2011
- [j7]Fong Pong, Nian-Feng Tzeng: HaRP: Rapid Packet Classification via Hashing Round-Down Prefixes. IEEE Trans. Parallel Distrib. Syst. 22(7): 1105-1119 (2011)
- 2010
- [j6]Fong Pong, Nian-Feng Tzeng: SUSE: superior storage-efficiency for routing tables through prefix transformation and aggregation. IEEE/ACM Trans. Netw. 18(1): 81-94 (2010)
2000 – 2009
- 2008
- [c10]Fong Pong, Nian-Feng Tzeng: Application-Layer Packet Processing through Ethereal Memory. NCA 2008: 185-194
- 2007
- [c9]Fong 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
- [c8]Fong Pong, Nian-Feng Tzeng: Storage-Efficient Architecture for Routing Tables via Prefix Transformation. LCN 2007: 55-62
- 2006
- [c7]
- 2000
- [j5]Fong 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)
1990 – 1999
- 1998
- [j4]Fong Pong, Michel Dubois: Formal Verification of Complex Coherence Protocols Using Symbolic State Models. J. ACM 45(4): 557-587 (1998)
- [j3]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)
- 1997
- [j2]Fong Pong, Michel Dubois: Verification Techniques for Cache Coherence Protocols. ACM Comput. Surv. 29(1): 82-126 (1997)
- 1996
- [c6]
- [c5]Ashley Saulsbury, Fong Pong, Andreas Nowatzyk: Missing the Memory Wall: The Case for Processor/Memory Integration. ISCA 1996: 90-101
- 1995
- [j1]Fong Pong, Michel Dubois: A New Approach for the Verification of Cache Coherence Protocols. IEEE Trans. Parallel Distrib. Syst. 6(8): 773-787 (1995)
- [c4]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
- 1994
- [c3]Fong Pong, Per Stenström, Michel Dubois: An Integrated Methodology for the Verification of Directory-Based Cache Protocols. ICPP (1) 1994: 158-165
- 1993
- [c2]
- [c1]Fong Pong, Michel Dubois: Correctness of a Directory-Based Cache Coherence Protocol: Early Experience. SPDP 1993: 37-44
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-02 22:04 CEST by the dblp team