Вы здесь

Главная

Кибернетика

Связанные издания:

Алгебра регулярных сетей Петри
Алгоритм формирования параметрического вектора для решения задач классификации нейронной сетью прямого распространения
Анализ структур программ
К вопросу о реализации схем над распределенной памятью
Критерий локальности преобразований операторных схем
Модульная асинхронная развиваемая система
Новая операция для ЭВМ
О емкостной сложности распознавания контекстно-свободных языков
О минимальном времени перевозок при наличии дополнительного ограничения
О параллельных языках. I
О параллельных языках. II
О преобразованиях унарных линейных рекурсивных схем
О проблеме тотальности для схем программ
О "скрытых потерях" производительности в компьютерных системах
О трансформациях нечетких графов, задаваемых FD-грамматиками
Практические методы верификации программ
Примеры предикатов, невыразимых s-рудиментарными формулами
Проблемно-ориентированная система верификации программ СПЕКТР
Рудиментарная интерпретация двуленточных тьюринговых вычислений
Рудиментарное моделирование недетерминированных тьюринговых вычислений
Структурированные сети
Схемы недетерминированных программ и их отношение к динамической логике
Трансформационный подход к конкретизации программ
Экспериментальная система анализа "снизу-вверх"