Communicating Process Architectures 2011

This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Welch, Peter H., Sampson, Adam T., Pedersen, Jan B., Kerridge, Jon, Broenink, Jan F., Barnes, Frederick R.M.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2014
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36277
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

id	oai:scholar.dlu.edu.vn:DLU123456789-36277
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-362772023-11-11T05:20:04Z Communicating Process Architectures 2011 Welch, Peter H. Sampson, Adam T. Pedersen, Jan B. Kerridge, Jon Broenink, Jan F. Barnes, Frederick R.M. This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. Inside, you will find papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware. 2014-02-12T01:25:56Z 2014-02-12T01:25:56Z 2011 Book 978-1-60750-774-1 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36277 en application/pdf IOS Press
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
description	This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. Inside, you will find papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware.
format	Book
author	Welch, Peter H. Sampson, Adam T. Pedersen, Jan B. Kerridge, Jon Broenink, Jan F. Barnes, Frederick R.M.
spellingShingle	Welch, Peter H. Sampson, Adam T. Pedersen, Jan B. Kerridge, Jon Broenink, Jan F. Barnes, Frederick R.M. Communicating Process Architectures 2011
author_facet	Welch, Peter H. Sampson, Adam T. Pedersen, Jan B. Kerridge, Jon Broenink, Jan F. Barnes, Frederick R.M.
author_sort	Welch, Peter H.
title	Communicating Process Architectures 2011
title_short	Communicating Process Architectures 2011
title_full	Communicating Process Architectures 2011
title_fullStr	Communicating Process Architectures 2011
title_full_unstemmed	Communicating Process Architectures 2011
title_sort	communicating process architectures 2011
publisher	IOS Press
publishDate	2014
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36277
_version_	1819799052645040128

Communicating Process Architectures 2011

Những quyển sách tương tự