Communicating Process Architectures 2009

This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Welch, Peter H., Roebbers, Herman W., Broenink, Jan F., Barnes, Frederick R.M., Ritson, Carl G., Sampson, Adam T., Stiles, Gardiner S., Vinter, Brian
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	IOS Press 2013
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35588
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-35588
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-355882014-01-19T23:44:40Z Communicating Process Architectures 2009 Welch, Peter H. Roebbers, Herman W. Broenink, Jan F. Barnes, Frederick R.M. Ritson, Carl G. Sampson, Adam T. Stiles, Gardiner S. Vinter, Brian This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent -- so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications. 2013-09-17T07:58:18Z 2013-09-17T07:58:18Z 2009 Book 978-1-60750-513-6 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35588 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 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent -- so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications.
format	Book
author	Welch, Peter H. Roebbers, Herman W. Broenink, Jan F. Barnes, Frederick R.M. Ritson, Carl G. Sampson, Adam T. Stiles, Gardiner S. Vinter, Brian
spellingShingle	Welch, Peter H. Roebbers, Herman W. Broenink, Jan F. Barnes, Frederick R.M. Ritson, Carl G. Sampson, Adam T. Stiles, Gardiner S. Vinter, Brian Communicating Process Architectures 2009
author_facet	Welch, Peter H. Roebbers, Herman W. Broenink, Jan F. Barnes, Frederick R.M. Ritson, Carl G. Sampson, Adam T. Stiles, Gardiner S. Vinter, Brian
author_sort	Welch, Peter H.
title	Communicating Process Architectures 2009
title_short	Communicating Process Architectures 2009
title_full	Communicating Process Architectures 2009
title_fullStr	Communicating Process Architectures 2009
title_full_unstemmed	Communicating Process Architectures 2009
title_sort	communicating process architectures 2009
publisher	IOS Press
publishDate	2013
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35588
_version_	1757655947687231488

Communicating Process Architectures 2009

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