Concepedia

Fong Pong

FP

Statistics

Publications

7

Citations

384

H-Index

7

Active since

1993

Affiliations

University of Southern California(Current)

Hewlett-Packard (United States)

Czech Academy of Sciences, Institute of Computer Science

Engineering Systems (United States)

Swedish Institute

Fong Pong is an author at University of Southern California specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsVerificationFormal VerificationHardware SecurityParallel ComputingParallel ProgrammingComputer Architecture

Publications per year

1993–2000

7

Publications

7

Missing the memory wall

Ashley Saulsbury, Fong Pong, Andreas Nowatzyk · 1996 · 191 citations

A new approach for the verification of cache coherence protocols

Fong Pong, Michel Dubois · IEEE Transactions on Parallel and Distributed Systems · 1995 · 80 citations

Engineering, Verification, Computer-aided Verification +18

Missing the memory wall

Ashley Saulsbury, Fong Pong, Andreas Nowatzyk · ACM SIGARCH Computer Architecture News · 1996 · 33 citations · Full text

Memory Wall, Storage (Memory), Engineering +12

The verification of cache coherence protocols

Fong Pong, Michel Dubois · 1993 · 28 citations

Hardware Security, Web Cache, Data Consistency +14

Formal verification of complex coherence protocols using symbolic state models

Fong Pong, Michel Dubois · Journal of the ACM · 1998 · 18 citations · Full text

State Space Explosion, Engineering, Verification +21

1–5 of 7