Searching for authors named "Fong Pong" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
A Survey of Verification Techniques for Cache Coherence Protocols
- …1 A Survey of Verification Techniques for Cache Coherence Protocols Fong Pong and Michel Dubois…
- Add To MetaCart
-
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models
- … Fong Pong, Michel Dubois* Computer Systems and Technology Laboratory HP Laboratories Palo Alto HPL-2000…
- Cited by 3 (0 self) – Add To MetaCart
-
Formal Verification of Delayed Consistency Protocols
- …Formal Verification of Delayed Consistency Protocols Fong Pong Michel Dubois Sun Microsystems…
- Cited by 6 (3 self) – Add To MetaCart
-
Formal Verification of Complex Coherence Protocols Using Symbolic State Models
- …1 Formal Verification of Complex Coherence Protocols Using Symbolic State Models Fong Pong…
- Cited by 11 (2 self) – Add To MetaCart
-
Correctness of a Directory-Based Cache Coherence Protocol: Early Experience
- … CENG-93-23 Fong Pong and Michel Dubois Department of EE-Systems University of Southern California Los…
- Cited by 5 (4 self) – Add To MetaCart
-
Verification Techniques for Cache Coherence Protocols.
- … protocols. by Fong Pong and Michel Dubois A comprehensive survey on the current research efforts to verify…
- Cited by 32 (0 self) – Add To MetaCart
-
The Verification of Cache Coherence Protocols
- … of Cache Coherence Protocols Technical Report CENG-92-20 Fong Pong and Michel Dubois Department…
- Cited by 16 (6 self) – Add To MetaCart
-
A New Approach for the Verification of Cache Coherence Protocols
- …1 A New Approach for the Verification of Cache Coherence Protocols Fong Pong and Michel Dubois…
- Cited by 31 (5 self) – Add To MetaCart
-
Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study
- …Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study Fong Pong…
- Cited by 10 (4 self) – Add To MetaCart
-
Design and performance of SMPs with asynchronous caches
- …Design and Performance of SMPs With Asynchronous Caches Fong Pong, Michel Dubois*, Ken Lee…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
