Shiji Bijo

Publikasjoner

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures, In Tiziana Margaria & Bernhard Steffen (ed.),  Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I.  Springer.  ISBN 978-3-030-03417-7.  Scientific Article.  s 448 - 465
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science.  ISSN 0302-9743.  9942, s 47- 63 . doi: 10.1007/978-3-319-44802-2_3
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures, In Sascha Ossowski (ed.),  Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16).  Association for Computing Machinery (ACM).  ISBN 978-1-4503-3739-7.  Kap..  s 1219 - 1224

Se alle arbeider i Cristin

  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures.

Se alle arbeider i Cristin

Publisert 30. okt. 2014 11:21 - Sist endret 21. juni 2017 12:33