책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback, 2015)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319189406
· 쪽수 : 211쪽
· 출판일 : 2015-05-19
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319189406
· 쪽수 : 211쪽
· 출판일 : 2015-05-19
목차
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.
