This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
€51.16
表中的内容
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordinating Multicore Computing.- Modeling of Architectures.- A Gentle Introduction to Multiparty Asynchronous Session Types.- Refined Ownership: Fine-Grained Controlled Internal Sharing.
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 211 ● ISBN 9783319189413 ● 编辑 Marco Bernardo & Einar Broch Johnsen ● 出版者 Springer International Publishing ● 市 Cham ● 国家 CH ● 发布时间 2015 ● 下载 24 个月 ● 货币 EUR ● ID 4456005 ● 复制保护 社会DRM
来自同一作者的更多电子书 / 编辑
16,501 此类电子书
