The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties.
Ostroumov, Agent-Based Management Systems for Many-Core Platforms
Normaalihinta 55,85 €
Huomaa pidempi toimitusaika
Huomaa pidempi toimitusaika
Tämä kirja on hankintatuote, joten toimitusaika voi olla tavallista pidempi. Arvioitu toimitusaika on noin 1–4 viikkoa.
- Ilmainen palautus 30 päivää
- Ilmainen toimitus Postin noutopisteeseen yli 100 € ostoksille.
- Asiakasomistajalle Bonusta jopa 5 %.
Oletko tyytyväinen tuotetietoihin?
Ovatko tuotetiedot riittävät? Jos tuotetiedoissa on puutteita tai niitä voisi muuten parantaa, anna palautetta.