Author of the publication

Modelling and Validation of Shared Memory Coherency Protocols.

, , and . Perform. Eval., 27/28 (4): 541-563 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modelling and Validation of Shared Memory Coherency Protocols., , and . Perform. Eval., 27/28 (4): 541-563 (1996)Transmission Times in Buffered Full-Crossbar Communication Networks With Cyclic Arbitration., and . ICPP (1), page 189-196. CRC Press, (1993)M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applictions., , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 638-649. Springer, (1997)Optimising Shared Reduction Variables in MPI Programs., , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 630-639. Springer, (2002)Asynchronous Arbiter Module., , and . IEEE Trans. Computers, 24 (9): 931-932 (1975)A special issue from the international conference on performance engineering 2013., and . Concurrency and Computation: Practice and Experience, 26 (12): 1947-1948 (2014)Performance Factors in Videotex Systems., , and . INFOCOM, page 361-368. IEEE, (1984)Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications., , and . CATS, volume 20 of Australian Computer Science Communications, page 261-276. Springer-Verlag Singapore Pte. Ltd., (1998)Visualising dynamic memory allocators., , , , , and . ISMM, page 115-125. ACM, (2006)Transmission Times in Unbuffered Crossbars with Cyclic Arbitration., and . ICPP (1), page 132-137. CRC Press, (1992)