Земцов, Н.А. и Яворский, Р.Э. (2006) Мониторинг вычислительных процессов. Вестник ТвГУ. Серия: Прикладная математика (1[3]). С. 36-41. ISSN 1995-0136
Предварительный просмотр
Загрузить (272kB) | Предварительный просмотр
Абстракт
В данной работе рассматривается формальная модель мониторинга
вычислительных процессов. Приводятся достаточные
условия полноты языка, получающегося при отображении траекторий
вычислительного процесса в слова некоторого конечного алфавита,
а также другие результаты, связанные с задачей анализа вычислительного
процесса на основе наблюдаемой динамики монитора.
| Тип объекта: | Статья |
|---|---|
| Ключевые слова: | формальный мониторинг, вычислительный процесс |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции |
| Подразделения: | Институты, НИИ > Математический институт им. Стеклова |
| Разместивший пользователь: | И.С. Солдатенко |
| Дата размещения: | 08 Янв 2017 08:04 |
| Последнее изменение: | 08 Янв 2017 08:04 |
| URI: | http://eprints.tversu.ru/id/eprint/4 |
Действия (требуется вход)
- Посмотреть объект