ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications
Nicolai Oswald
◽
Vijay Nagarajan
◽
Daniel J. Sorin
Anirudh Mohan Kaushik
◽
Mohamed Hassan
◽
Hiren Patel
2004 ◽
Vol 24
(4)
◽
pp. 33-41
◽
T. Suh
◽
H.-H.S. Lee
◽
D.M. Blough
Yongjian Li
◽
Jun Pang
◽
Yi Lv
◽
Dongrui Fan
◽
Shen Cao
◽
...
E. Allen Emerson
◽
Vineet Kahlon
Konstantinos Aisopos
◽
Li-Shiuan Peh
Julie Dumas
◽
Eric Guthmuller
◽
César Fuguet Tortolero
◽
Frédéric Pétrot
Hongbo Zeng
◽
Kun Huang
◽
Ming Wu
◽
Weiwu Hu
Manoj Kumar
◽
Pooja Arora
1994 ◽
Vol 26
(2)
◽
pp. 61-64
Jerónimo Nájera
◽
Luis Gómez