Fong Pong

20 papers A* 1A 1B 4Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in Scalable Routers.
IEEE/ACM Trans. Netw.
Fong Pong, Nian-Feng Tzeng
2012 A conf
Speedy FPGA-based packet classifiers with low on-chip memory requirements.
FPGA
Chih-Hsun Chou, Fong Pong, Nian-Feng Tzeng
2011 J jnl
HaRP: Rapid Packet Classification via Hashing Round-Down Prefixes.
IEEE Trans. Parallel Distributed Syst.
Fong Pong, Nian-Feng Tzeng
2010 J jnl
SUSE: superior storage-efficiency for routing tables through prefix transformation and aggregation.
IEEE/ACM Trans. Netw.
Fong Pong, Nian-Feng Tzeng
2009 — conf
Hashing Round-down Prefixes for Rapid Packet Classification.
USENIX ATC
Fong Pong, Nian-Feng Tzeng
2008 B conf
Application-Layer Packet Processing through Ethereal Memory.
NCA
Fong Pong, Nian-Feng Tzeng
2007 B conf
Communication performance of a modular high-bandwidth multiprocessor system.
ICPADS
Fong Pong, Nian-Feng Tzeng, Koray Öner, Chun Ning, Kwong-Tak Chui, Manoj Ekbote, Yanping Lu
2007 B conf
Storage-Efficient Architecture for Routing Tables via Prefix Transformation.
LCN
Fong Pong, Nian-Feng Tzeng
2006 — conf
Fast and Robust TCP Session Lookup by Digest Hash.
ICPADS (1)
Fong Pong
2000 J jnl
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.
IEEE Trans. Parallel Distributed Syst.
Fong Pong, Michel Dubois
1998 J jnl
Design Verification of the S3.mp Cache-Coherent Shared-Memory System.
IEEE Trans. Computers
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois
1998 J jnl
Formal Verification of Complex Coherence Protocols Using Symbolic State Models.
J. ACM
Fong Pong, Michel Dubois
1997 J jnl
Verification Techniques for Cache Coherence Protocols.
ACM Comput. Surv.
Fong Pong, Michel Dubois
1996 — conf
Formal Verification of Delayed Consistency Protocols.
IPPS
Fong Pong, Michel Dubois
1996 A* conf
Missing the Memory Wall: The Case for Processor/Memory Integration.
ISCA
Ashley Saulsbury, Fong Pong, Andreas Nowatzyk
1995 J jnl
A New Approach for the Verification of Cache Coherence Protocols.
IEEE Trans. Parallel Distributed Syst.
Fong Pong, Michel Dubois
1995 — conf
Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.
Euro-Par
Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois
1994 — conf
An Integrated Methodology for the Verification of Directory-Based Cache Protocols.
ICPP (1)
Fong Pong, Per Stenström, Michel Dubois
1993 — conf
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience.
SPDP
Fong Pong, Michel Dubois
1993 B conf
The Verification of Cache Coherence Protocols.
SPAA
Fong Pong, Michel Dubois