Login / Signup
Fong Pong
Publication Activity (10 Years)
Years Active: 1993-2012
Publications (10 Years): 0
Top Topics
Computational Power
Linear Classifiers
Naive Bayes
Memory Requirements
Top Venues
FPGA
IEEE/ACM Trans. Netw.
</>
Publications
</>
Chih-Hsun Chou
,
Fong Pong
,
Nian-Feng Tzeng
Speedy FPGA-based packet classifiers with low on-chip memory requirements.
FPGA
(2012)
Fong Pong
,
Nian-Feng Tzeng
Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in Scalable Routers.
IEEE/ACM Trans. Netw.
20 (3) (2012)
Fong Pong
,
Nian-Feng Tzeng
HaRP: Rapid Packet Classification via Hashing Round-Down Prefixes.
IEEE Trans. Parallel Distributed Syst.
22 (7) (2011)
Fong Pong
,
Nian-Feng Tzeng
SUSE: superior storage-efficiency for routing tables through prefix transformation and aggregation.
IEEE/ACM Trans. Netw.
18 (1) (2010)
Fong Pong
,
Nian-Feng Tzeng
Hashing Round-down Prefixes for Rapid Packet Classification.
USENIX Annual Technical Conference
(2009)
Fong Pong
,
Nian-Feng Tzeng
Application-Layer Packet Processing through Ethereal Memory.
NCA
(2008)
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)
Fong Pong
,
Nian-Feng Tzeng
Storage-Efficient Architecture for Routing Tables via Prefix Transformation.
LCN
(2007)
Fong Pong
Fast and Robust TCP Session Lookup by Digest Hash.
ICPADS (1)
(2006)
Fong Pong
,
Michel Dubois
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.
IEEE Trans. Parallel Distributed Syst.
11 (9) (2000)
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) (1998)
Fong Pong
,
Michel Dubois
Formal Verification of Complex Coherence Protocols Using Symbolic State Models.
J. ACM
45 (4) (1998)
Fong Pong
,
Michel Dubois
Verification Techniques for Cache Coherence Protocols.
ACM Comput. Surv.
29 (1) (1997)
Fong Pong
,
Michel Dubois
Formal Verification of Delayed Consistency Protocols.
IPPS
(1996)
Ashley Saulsbury
,
Fong Pong
,
Andreas Nowatzyk
Missing the Memory Wall: The Case for Processor/Memory Integration.
ISCA
(1996)
Fong Pong
,
Michel Dubois
A New Approach for the Verification of Cache Coherence Protocols.
IEEE Trans. Parallel Distributed Syst.
6 (8) (1995)
Fong Pong
,
Andreas Nowatzyk
,
Gunes Aybay
,
Michel Dubois
Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.
Euro-Par
(1995)
Fong Pong
,
Per Stenström
,
Michel Dubois
An Integrated Methodology for the Verification of Directory-Based Cache Protocols.
ICPP (1)
(1994)
Fong Pong
,
Michel Dubois
The Verification of Cache Coherence Protocols.
SPAA
(1993)
Fong Pong
,
Michel Dubois
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience.
SPDP
(1993)