Application of concurrency to system design (ACSD 2009); proccedings.

9780769536972

Application of concurrency to system design (ACSD 2009); proccedings.

International Conference on Application of Concurrency to System Design (9th: 2009: Augsburg, Germany) Ed. by Stephen Edwards et al.

Computer Society Press

2009

191 pages

$186.00

Paperback

QA76.76

A July 2009 conference offered a forum for disseminating theoretical results and advanced methods and tools for the design of complex concurrent systems. An invited paper describes an attempt to build a new kind of computer that directly mimics the workings of the human brain by a parallel computer system with more than a million embedded processors. Two other invited papers describe work on the formal verification of concurrent algorithms, and methodology and automation for the verification of interacting architectural components. Other topics covered include time-arc Petri nets, variants of the language based synthesis problem for Petri nets, trading off concurrency to generate behavioral adapters, model checking Verilog descriptions of cell libraries, and specific enforcing refinement for convertibility verification. There is no subject index.

([c]2009 Book News, Inc., Portland, OR)