Вы здесь

Главная

Институт системного программирования РАН

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

Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий
Автоматическая генерация тестовых данных для оптимизаторов графических моделей
Анализ геометрического метода формирования модульной структуры нейронных сетей
Анализ и оптимизация циклов с помо ью производя их функций
Архитектура и принципы построения операционной среды "мини-ОС"
Архитектурно-управляемая модернизация су ествую его программного обеспечения
Виды ограничений целостности в базах XML-данных
Генерация тестов для модулей проверки статической семантики в компиляторах
Генерация тестовых данных сложной структуры с учетом контекстных ограничений
Динамическая поддержка расширений процессора в кросс-системе
Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений
Интегрированная инструментальная среда Poirot для изучения методов маскировки программ
Интегрированная среда описания системы команд встраиваемых процессоров
Исполнение модулей при помо и виртуальной машины
Использование особенногсей ЦПОС в компиляторе языка "C"
Использование параллелизма на уровне команд в компиляторе для Intel Itanium
Использование языков описания процессоров высокого уровня для генерации платформо-независимых частей операционной системы
Комбинаторика слов и построение тестовых последовательностей
Композиционный подход к построению программных приложений визуализации
Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов
Метод виртуального процессора в за ите программного обеспечения
Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействую их с помо ью передачи сооб ений
Обучение передовым технологиям разработки ПО: проблемы и методы их решения
О некоторых задачах анализа и трансформации программ
Оперативна интеграция данных на основе XML: системная архитектура BizQuery
Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами
Оценка времени работы параллельной программы с помо ью интерпретатора среды ParJava
Параллельные алгоритмы компьютерной алгебры
Паттерны проектирования тестовых сценариев
Подход UniTesK к разработке тестов: достижения и перспективы
Покрытие графов циклами и быстрое восстановление оптоволоконных сетей
Применение UniTesK к тестированию встроенных систем
Применение генетических алгоритмов для оптимизации адаптивной системы управления мобильного робота на параллельном вычислительном комплексе
Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления
Проблемы внедрения наукоемких технологий
Программная инженерия и технологии программирования сложных систем. Учебник для ВУЗов, 2-е издание, исправленное и дополненное
Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы: Труды SORUCOM-2017/4-я Международная конференция, Москва, Зеленоград, октябрь 2017
Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью
Разработка системной поддержки вызова программ? реализованных на языке Fortran, из среды Java
Разреженная модель базовых блоков для оптимизации потоков комманд
Рефакторинг архитектуры программного обеспечения: выделение слоев
Стратении объектно-реляционного отображения: систематизация и анализ на основе паттернов
Труды Института Системного Программирования
Труды Института Системного Программирования
Труды Института Системного Программирования
Труды Института Системного Программирования
Труды Института Системного Программирования
Труды Института Системного Программирования
Труды Института системного программирования РАН, 1999 г. Том 1