Fredrik Degerlund. Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study. In Karl M. Göschka, Seif Haridi, editors, Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Volume 7272 of Lecture Notes in Computer Science, pages 177-184, Springer, 2012. [doi]
Abstract is missing.