Real-Time and Multi-Agent Systems

Real-Time and Multi-Agent Systems

4.11 - 1251 ratings - Source

A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.3.2 PWM Installation As we have already mentioned, any Unix machine user has the option to install PVM. This operation is ... The user guide, PVM3 sources, a€œ mana€ pages, XPVM and other annexe tools are available on Netlib. Netlib is aanbsp;...

Title:Real-Time and Multi-Agent Systems
Author:Ammar Attoui
Publisher:Springer Science & Business Media - 2012-12-06


You Must CONTINUE and create a free account to access unlimited downloads & streaming