Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems

Asieh Salehi Fathabadi, Colin F. Snook, Michael Butler. Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. In Elvira Albert, Emil Sekerinski, editors, Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Volume 8739 of Lecture Notes in Computer Science, pages 120-135, Springer, 2014. [doi]

Authors

Asieh Salehi Fathabadi

This author has not been identified. Look up 'Asieh Salehi Fathabadi' in Google

Colin F. Snook

This author has not been identified. Look up 'Colin F. Snook' in Google

Michael Butler

This author has not been identified. Look up 'Michael Butler' in Google