Земцов, Н.А. и Яворский, Р.Э. (2006) Мониторинг вычислительных процессов. Вестник ТвГУ. Серия: Прикладная математика (1[3]). С. 36-41. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
272kB |
Абстракт
В данной работе рассматривается формальная модель мониторинга вычислительных процессов. Приводятся достаточные условия полноты языка, получающегося при отображении траекторий вычислительного процесса в слова некоторого конечного алфавита, а также другие результаты, связанные с задачей анализа вычислительного процесса на основе наблюдаемой динамики монитора.
Абстракт (англ.)
In this paper the formal model of monitoring of computational processes is considered. The sufficient conditions for completeness of a language, resulting from a mapping of process trajectories into words over some finite alphabet, are given. Some other results connteced to the problem of computational process analysis on the basis of observed dynamics of a monitor are presented.
| Тип объекта: | Статья |
|---|---|
| Ключевые слова: | формальный мониторинг, вычислительный процесс |
| Ключевые слова (англ.): | formal monitoring, computational process |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции |
| Подразделения: | Институты, НИИ > Математический институт им. Стеклова |
| ID Code: | 4 |
| Deposited On: | 08 Янв 2017 08:04 |
| Последнее изменение: | 08 Янв 2017 08:04 |
Repository Staff Only: item control page