An operational semantics of cache coherent multicore architectures

Shiji Bijo, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. An operational semantics of cache coherent multicore architectures. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1219-1224, ACM, 2016. [doi]

Authors

Shiji Bijo

This author has not been identified. Look up 'Shiji Bijo' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Ka-I Pun

This author has not been identified. Look up 'Ka-I Pun' in Google

Silvia Lizeth Tapia Tarifa

This author has not been identified. Look up 'Silvia Lizeth Tapia Tarifa' in Google