Printer Friendly

Application of concurrency to system design; proceedings.


Application of concurrency to system design; proceedings.

Int'l Conference on Application of Concurrency to System Design (6th: 2006: Turku, Finland) Ed. by Kees Goossens and Laure Petrucci.

Computer Society Press


283 pages




Twenty-eight papers from the June 2006 conference compare different methods for designing and analyzing complex concurrent hardware and software systems. The ten sessions address asynchronous and synchronous systems, scheduling, timed systems, algorithms, stochastic models, model checking, systems on chips, algebraic approaches, and semantics. Topics include throughput analysis of synchronous data flow graphs, extended time automata and time Petri nets, models of computation for networks on chip, an algebra of abstractions for communication processes, concurrency in distributed systems under autonomous and enforced actions. No subject index is provided.

([c]20062005 Book News, Inc., Portland, OR)
COPYRIGHT 2006 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2006 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book Review
Date:Sep 1, 2006
Previous Article:Computer vision and pattern recognition; CVPR 2006; proceedings; 2v.
Next Article:Unplugged; reclaiming our right to die in America.

Related Articles
Application of concurrency to system design; proceedings.
Haskell '04: Proceedings.
Concurrent information processing and computing; proceedings.
Java concurrency in practice.
Logic in computer science (LICS 2005); proceedings.
Service-oriented system engineering; proceedings.
99 Points of Intersection: Examples--Pictures--Proofs.
Asia-Pacific software engineering conference; proceedings.
Communicating process architectures 2007; proceedings.

Terms of use | Copyright © 2017 Farlex, Inc. | Feedback | For webmasters