BibTeX records: Fong Pong

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Fong Pong

download as .bib file

@article{DBLP:journals/ton/PongT12,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  title        = {Concise Lookup Tables for IPv4 and IPv6 Longest Prefix Matching in
                  Scalable Routers},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {20},
  number       = {3},
  pages        = {729--741},
  year         = {2012},
  url          = {https://doi.org/10.1109/TNET.2011.2167158},
  doi          = {10.1109/TNET.2011.2167158},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ton/PongT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpga/ChouPT12,
  author       = {Chih{-}Hsun Chou and
                  Fong Pong and
                  Nian{-}Feng Tzeng},
  editor       = {Katherine Compton and
                  Brad L. Hutchings},
  title        = {Speedy FPGA-based packet classifiers with low on-chip memory requirements},
  booktitle    = {Proceedings of the {ACM/SIGDA} 20th International Symposium on Field
                  Programmable Gate Arrays, {FPGA} 2012, Monterey, California, USA,
                  February 22-24, 2012},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2145694.2145697},
  doi          = {10.1145/2145694.2145697},
  timestamp    = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl       = {https://dblp.org/rec/conf/fpga/ChouPT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tpds/PongT11,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  title        = {HaRP: Rapid Packet Classification via Hashing Round-Down Prefixes},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {22},
  number       = {7},
  pages        = {1105--1119},
  year         = {2011},
  url          = {https://doi.org/10.1109/TPDS.2010.195},
  doi          = {10.1109/TPDS.2010.195},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/PongT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ton/PongT10,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  title        = {{SUSE:} superior storage-efficiency for routing tables through prefix
                  transformation and aggregation},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {18},
  number       = {1},
  pages        = {81--94},
  year         = {2010},
  url          = {http://doi.acm.org/10.1145/1816288.1816295},
  doi          = {10.1145/1816288.1816295},
  timestamp    = {Mon, 21 Jun 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ton/PongT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/usenix/PongT09,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  editor       = {Geoffrey M. Voelker and
                  Alec Wolman},
  title        = {Hashing Round-down Prefixes for Rapid Packet Classification},
  booktitle    = {Proceedings of the 2009 {USENIX} Annual Technical Conference, {USENIX}
                  {ATC} 2009, San Diego, CA, USA, June 14-19, 2009},
  publisher    = {{USENIX} Association},
  year         = {2009},
  url          = {https://www.usenix.org/conference/usenix-09/hashing-round-down-prefixes-rapid-packet-classification},
  timestamp    = {Tue, 16 Jul 2024 09:12:32 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/PongT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nca/PongT08,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  title        = {Application-Layer Packet Processing through Ethereal Memory},
  booktitle    = {Proceedings of The Seventh {IEEE} International Symposium on Networking
                  Computing and Applications, {NCA} 2008, July 10-12, 2008, Cambridge,
                  Massachusetts, {USA}},
  pages        = {185--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/NCA.2008.32},
  doi          = {10.1109/NCA.2008.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/PongT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpads/PongTONCEL07,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng and
                  Koray {\"{O}}ner and
                  Chun Ning and
                  Kwong{-}Tak Chui and
                  Manoj Ekbote and
                  Yanping Lu},
  title        = {Communication performance of a modular high-bandwidth multiprocessor
                  system},
  booktitle    = {13th International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2007, Hsinchu, Taiwan, December 5-7, 2007},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICPADS.2007.4447731},
  doi          = {10.1109/ICPADS.2007.4447731},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/PongTONCEL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lcn/PongT07,
  author       = {Fong Pong and
                  Nian{-}Feng Tzeng},
  title        = {Storage-Efficient Architecture for Routing Tables via Prefix Transformation},
  booktitle    = {32nd Annual {IEEE} Conference on Local Computer Networks {(LCN} 2007),
                  15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/LCN.2007.40},
  doi          = {10.1109/LCN.2007.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcn/PongT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpads/Pong06,
  author       = {Fong Pong},
  title        = {Fast and Robust {TCP} Session Lookup by Digest Hash},
  booktitle    = {12th International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2006, Minneapolis, Minnesota, USA, July 12-15, 2006},
  pages        = {507--514},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICPADS.2006.46},
  doi          = {10.1109/ICPADS.2006.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/Pong06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tpds/PongD00,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {Formal Automatic Verification of Cache Coherence in Multiprocessors
                  with Relaxed Memory Models},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {11},
  number       = {9},
  pages        = {989--1006},
  year         = {2000},
  url          = {https://doi.org/10.1109/71.879780},
  doi          = {10.1109/71.879780},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/PongD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/PongD98,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {Formal Verification of Complex Coherence Protocols Using Symbolic
                  State Models},
  journal      = {J. {ACM}},
  volume       = {45},
  number       = {4},
  pages        = {557--587},
  year         = {1998},
  url          = {https://doi.org/10.1145/285055.285057},
  doi          = {10.1145/285055.285057},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/PongD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/PongBAND98,
  author       = {Fong Pong and
                  Michael C. Browne and
                  Gunes Aybay and
                  Andreas Nowatzyk and
                  Michel Dubois},
  title        = {Design Verification of the S3.mp Cache-Coherent Shared-Memory System},
  journal      = {{IEEE} Trans. Computers},
  volume       = {47},
  number       = {1},
  pages        = {135--140},
  year         = {1998},
  url          = {https://doi.org/10.1109/12.656100},
  doi          = {10.1109/12.656100},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/PongBAND98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/csur/PongD97,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {Verification Techniques for Cache Coherence Protocols},
  journal      = {{ACM} Comput. Surv.},
  volume       = {29},
  number       = {1},
  pages        = {82--126},
  year         = {1997},
  url          = {https://doi.org/10.1145/248621.248624},
  doi          = {10.1145/248621.248624},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/PongD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/PongD96,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {Formal Verification of Delayed Consistency Protocols},
  booktitle    = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
                  Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
  pages        = {124--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/IPPS.1996.508048},
  doi          = {10.1109/IPPS.1996.508048},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/PongD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isca/SaulsburyPN96,
  author       = {Ashley Saulsbury and
                  Fong Pong and
                  Andreas Nowatzyk},
  editor       = {Jean{-}Loup Baer},
  title        = {Missing the Memory Wall: The Case for Processor/Memory Integration},
  booktitle    = {Proceedings of the 23rd Annual International Symposium on Computer
                  Architecture, Philadelphia, PA, USA, May 22-24, 1996},
  pages        = {90--101},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/232973.232984},
  doi          = {10.1145/232973.232984},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isca/SaulsburyPN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tpds/PongD95,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {A New Approach for the Verification of Cache Coherence Protocols},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {6},
  number       = {8},
  pages        = {773--787},
  year         = {1995},
  url          = {https://doi.org/10.1109/71.406955},
  doi          = {10.1109/71.406955},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/PongD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/europar/PongNAD95,
  author       = {Fong Pong and
                  Andreas Nowatzyk and
                  Gunes Aybay and
                  Michel Dubois},
  editor       = {Seif Haridi and
                  Khayri A. M. Ali and
                  Peter Magnusson},
  title        = {Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp,
                  a Case Study},
  booktitle    = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
                  Stockholm, Sweden, August 29-31, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {966},
  pages        = {287--300},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020472},
  doi          = {10.1007/BFB0020472},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/europar/PongNAD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpp/PongSD94,
  author       = {Fong Pong and
                  Per Stenstr{\"{o}}m and
                  Michel Dubois},
  editor       = {Dharma P. Agrawal},
  title        = {An Integrated Methodology for the Verification of Directory-Based
                  Cache Protocols},
  booktitle    = {Proceedings of the 1994 International Conference on Parallel Processing,
                  North Carolina State University, NC, USA, August 15-19, 1994. Volume
                  {I:} Architecture},
  pages        = {158--165},
  publisher    = {{CRC} Press},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICPP.1994.58},
  doi          = {10.1109/ICPP.1994.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/PongSD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spaa/PongD93,
  author       = {Fong Pong and
                  Michel Dubois},
  editor       = {Lawrence Snyder},
  title        = {The Verification of Cache Coherence Protocols},
  booktitle    = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165231.165233},
  doi          = {10.1145/165231.165233},
  timestamp    = {Mon, 29 Jul 2024 11:07:21 +0200},
  biburl       = {https://dblp.org/rec/conf/spaa/PongD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spdp/PongD93,
  author       = {Fong Pong and
                  Michel Dubois},
  title        = {Correctness of a Directory-Based Cache Coherence Protocol: Early Experience},
  booktitle    = {Proceedings of the Fifth {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1993, Dallas, Texas, USA, December 2-5, 1993},
  pages        = {37--44},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/SPDP.1993.395553},
  doi          = {10.1109/SPDP.1993.395553},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/PongD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.