Вы здесь

Главная

Программирование

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

Использование онтологии предметной области для автоматизации процессов в сфере научных исследований и образования
Использование программных моделей для диагностирования информационно-управляю их систем
Использование символьного подхода к разложению Берштейна при анализе и оптимизации программ
Использование системы разнородных паттернов онтологического проектирования для разработки онтологий научных предметных областей
Использование техники частичных порядков для верификации временных сетей Петри
Исследование графа набором автоматов
Исследование двухпараметрической алгебраической модели программ по методикам, разработанным для однопараметрических моделей
Исследование дефектов в коде программ на языке Python
Исследование и разработка системы генерирования DTD для XML-документов
Исследование немарковской модели управления стеком в двухуровневой памяти
Исследование эквивалентностных отношений структур событий с непрерывным временем
Исследования в теории алгебраических моделей программ с процедурами
"Истинно параллельная" и недетерминированная семантика дискоетно-временных сетей Петри
"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Итеративная разработка параллельных программ в среде ParJava
Как решать линейные дифференциальные уравнения (краткие рекомендации)
Канонические формы схем XML
Канонические формы схем и их построение в специальных автоматных моделях рекурсивных программ
Категорное описание асинхронных параллельных вычислений
Каузальная семантика для сетей петри с контактами
К вопросу нормализации отношений в реляционных базах данных
К вопросу об идентификации электронных документов и коллекций
К вопросу об оценке оптимальной степени параллелизма
К вопросу повышения эффективности алгоритмов создания контрольной точки для вычислительного приложения, основанных на применении кода Рида-Соломона
К использованию супер-ЭВМ в СССР
Клеточно-нейронные вычисления. Формальная модель и возможные применения
Клеточно-нейронные модели пространственно-временной динамики
К обоснованию алгоритмов оптимизации программ
К обоснованию алгоритмов преобразования крупноблочных программ
Кодекс этики и профессионального поведения АСМ
Комбинированное средство верификации распределенных вычислительных систем реального времени
Компаративная трассовая семантика временных сетей Петри
Компиляции векторных операторов языка С[] для архитектур с моногоуровневой иерархией памяти
Компиляция параллельного языка LEQ класса "производитель-потребитель" на сеть взаимодействую их процессов
Комплект диагностических тестов для Ада-трансляторов. Современное состояние
Комплект диагностических тестов для АДА-трансляторов. Современное состояние
Композиционный подход к разработке параллельных и распределенных систем на основе сетей Петри
Компонентная архитектура среды для тестирования на основе моделей
Компонентный подход к построению оптимизирую их компиляторов
Компьютерная алгебра
Компьютерная алгебра в физических и математических приложениях
Компьютерный анализ формул преобразования функций Аппеля и Горна
Контролируемое выполнение с явной моделью
Конференция молодых ученых по системному программированию
Конференция по методам трансляции и конструирования программ
Конференция "Формальные методы в программировании и их применения"
Конфигурируемая система статической верификации модулей ядра операционных систем
Концептуальное и онтологическое моделирование в информационных системах
Концепция универсального сервера для архитектуры клиент-сервер
Конъюнктивные грамматики и системы языковых уравнений