Communicating Process Architectures 2011: WoTUG-33 (Concurrent Systems Engineering, 68, Band 68) - Softcover

Softcover

ISBN 10: 1607507730 ISBN 13: 9781607507734

Verlag: IOS Press,US, 2011

Inhaltsangabe

This work gathers 24 papers from a June 2011 conference held at the University of Limerick, Ireland. Areas addressed include concurrency models and theory, the use of multicores, tools to assist verification and performance, benchmarks for scientific and distributed computing, and applications in areas such as large scale simulation, robotics, and web servers. Some specific topics explored include verification of a dynamic channel model using the SPOIN model checker, static scoping and name resolution for mobile processes with polymorphic interfaces, prioritized choice over multiway synchronization, and experiments in multicore and distributed parallel processing using JCSP. Other subjects are a model for concurrency using single-writer single-assignment variables, process-oriented subsumption architectures in swarm robotic systems, aerial robotics, and a concurrent process analysis support tool based on symbolic computation. Welch is affiliated with the University of Kent, UK. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com)

Details zur Ausgabe

• Verlag: IOS Press,US
• Erscheinungsdatum: 2011
• Sprache: Englisch
• ISBN 10: 1607507730
• ISBN 13: 9781607507734
• Einband: Taschenbuch
• Anzahl der Seiten: 383
• Herausgeber: Welch Peter H., Sampson Adam T., Pedersen Jan B., Kerridge Jon, Broenink Jan F.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar