Fong Pong - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2012

Speedy FPGA-based packet classifiers with low on-chip memory requirementsChih-Hsun Chou, Fong Pong, Nian-Feng Tzeng. fpga 2012: 11-20 [doi]

Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in Scalable RoutersFong Pong, Nian-Feng Tzeng. ton, 20(3):729-741, 2012. [doi]

2011

HaRP: Rapid Packet Classification via Hashing Round-Down PrefixesFong Pong, Nian-Feng Tzeng. tpds, 22(7):1105-1119, 2011. [doi]

2010

SUSE: superior storage-efficiency for routing tables through prefix transformation and aggregationFong Pong, Nian-Feng Tzeng. ton, 18(1):81-94, 2010. [doi]

2009

Hashing Round-down Prefixes for Rapid Packet ClassificationFong Pong, Nian-Feng Tzeng. usenix 2009: [doi]

2008

Application-Layer Packet Processing through Ethereal MemoryFong Pong, Nian-Feng Tzeng. nca 2008: 185-194 [doi]

2007

Communication performance of a modular high-bandwidth multiprocessor systemFong Pong, Nian-Feng Tzeng, Koray Öner, Chun Ning, Kwong-Tak Chui, Manoj Ekbote, Yanping Lu. icpads 2007: 1-8 [doi]

Storage-Efficient Architecture for Routing Tables via Prefix TransformationFong Pong, Nian-Feng Tzeng. lcn 2007: 55-62 [doi]

2006

Fast and Robust TCP Session Lookup by Digest HashFong Pong. icpads 2006: 507-514 [doi]

2000

Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory ModelsFong Pong, Michel Dubois. tpds, 11(9):989-1006, 2000. [doi]

1998

Formal Verification of Complex Coherence Protocols Using Symbolic State ModelsFong Pong, Michel Dubois. JACM, 45(4):557-587, 1998. [doi]

Design Verification of the S3.mp Cache-Coherent Shared-Memory SystemFong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois. TC, 47(1):135-140, 1998.

1996

Verification Techniques for Cache Coherence ProtocolsFong Pong, Michel Dubois. ACM Comput. Surv., 29(1):82-126, 1996. [doi]

Formal Verification of Delayed Consistency ProtocolsFong Pong, Michel Dubois. ipps 1996: 124-131 [doi]

Missing the Memory Wall: The Case for Processor/Memory IntegrationAshley Saulsbury, Fong Pong, Andreas Nowatzyk. isca 1996: 90-101 [doi]

1995

A New Approach for the Verification of Cache Coherence ProtocolsFong Pong, Michel Dubois. tpds, 6(8):773-787, 1995. [doi]

Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case StudyFong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois. europar 1995: 287-300

1994

An Integrated Methodology for the Verification of Directory-Based Cache ProtocolsFong Pong, Per Stenström, Michel Dubois. icpp 1994: 158-165

1993

The Verification of Cache Coherence ProtocolsFong Pong, Michel Dubois. spaa 1993: 11-20 [doi]

Correctness of a Directory-Based Cache Coherence Protocol: Early ExperienceFong Pong, Michel Dubois. spdp 1993: 37-44

Sign in or sign up to see more results.

runs on WebDSL