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
Huomaa pidempi toimitusaika
Huomaa pidempi toimitusaika
Tämä kirja on hankintatuote, joten toimitusaika voi olla tavallista pidempi. Arvioitu toimitusaika on noin 1–4 viikkoa.
Toimitettuna
Saatavilla
Osta nyt, nouda myymälästä
Ei saatavilla
- 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.