ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ
Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных представлений о проблемах проектирования вычислительных устройств. При разработке вычислительных устройств широко применяются теоретические модели архитектуры и технологии, использующие концепцию расп...
Format: | Article |
---|---|
Language: | Russian |
Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2019-03-01
|
Series: | Informatika |
Online Access: | https://inf.grid.by/jour/article/view/837 |