Вы здесь

Главная

Труды института системного программирования

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

Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий
Автоматическая генерация тестовых данных для оптимизаторов графических моделей
Анализ геометрического метода формирования модульной структуры нейронных сетей
Анализ и оптимизация циклов с помо ью производя их функций
Архитектура и принципы построения операционной среды "мини-ОС"
Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий
Архитектурно-управляемая модернизация су ествую его программного обеспечения
Виды ограничений целостности в базах XML-данных
Восстановление формата данных
Генерация тестов для модулей проверки статической семантики в компиляторах
Генерация тестовых данных сложной структуры с учетом контекстных ограничений
Год эпохи перемен в технологии баз данных
Динамическая поддержка расширений процессора в кросс-системе
Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений
Интегрированная среда описания системы команд встраиваемых процессоров
Исполнение модулей при помо и виртуальной машины
Использование особенногсей ЦПОС в компиляторе языка "C"
Использование параллелизма на уровне команд в компиляторе для Intel Itanium
Использование языков описания процессоров высокого уровня для генерации платформо-независимых частей операционной системы
Комбинаторика слов и построение тестовых последовательностей
Композиционный подход к построению программных приложений визуализации
Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов
Метод виртуального процессора в за ите программного обеспечения
Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам
Обмен данными в распределенной системе поддержки решений
Обучение передовым технологиям разработки ПО: проблемы и методы их решения
Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных
О некоторых задачах анализа и трансформации программ
Оперативна интеграция данных на основе XML: системная архитектура BizQuery
Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами
Параллельные алгоритмы компьютерной алгебры
Паттерны проектирования тестовых сценариев
Подход UniTesK к разработке тестов: достижения и перспективы
Покрытие графов циклами и быстрое восстановление оптоволоконных сетей
Применение UniTesK к тестированию встроенных систем
Применение генетических алгоритмов для оптимизации адаптивной системы управления мобильного робота на параллельном вычислительном комплексе
Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления
Проблемы внедрения наукоемких технологий
Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью
Разработка системной поддержки вызова программ? реализованных на языке Fortran, из среды Java
Разреженная модель базовых блоков для оптимизации потоков комманд
Рефакторинг архитектуры программного обеспечения: выделение слоев
Стратении объектно-реляционного отображения: систематизация и анализ на основе паттернов
Усовершенствованный алгоритм распространения констант с использованием GSA-представления
Функциональное тестирование Web-приложений на основе технологии UniTesK
Язык запросов к совокупности XML-документов? соединенных при помози ссылок языка XLink