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

Вы здесь

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

Диалоговая отладка параллельных программ: распределенная схема взаимодействую их компонентов

Динамические системы с неявным состоянием

Динамическое именование - механизм взаимодействмия компонентов программных систем

Дискретные динамические системы с симметриями: компьютерный анализ

Доказательство правильности программ линейной алгебры

Доказательство свойств функциональных программ методом насы ения равенствами

Достижение целей структурного покрытия, определенных в DO-178C

Европейская стратегическая программа ESPRIT - реальный фактор, стимулирую ий создание новых информационных технологий: опыт проекта DAIDA

Задача автоматического построения тестов и статический анализ

Задача поиска нечетких повторов при организации повторного использования документации

Задача построения расписания при совместном проектировании аппаратных и программных средств

За ита доступа к дисковой памяти в вычислительных системах СМ ЭВМ и ПС-2000

За ита информации в информационно-вычислительных системах и сетях

Знаменатели рациональных решений линейных разностных уравнений

Игровые цепи

Идеалы дифференциальных операторов и преобразования линейных уравнений с частными производными

Иерархические суждения в вероятностной CSP

Иерархическое конфигурационное управление

Измерение времени выполнения фрагментированных программ

Измерение сходства между программами на Karel с помо ью N-грамм символов и слов

Инвариантные подпространства матричных алгебр и Maple-процедуры, выявляю ие их наличие

Инволютивные деления и мономиальные упорядочения. Часть II.

Инволютивные системы алгебраических уравнений

Инволютивный метод вычисления базисов Гребнера над F2

Инкрементальные методы анализа программ

Инструментальное средство для поддержки автоматного программирования

Инструменты поддержки онлайновой научной публикации

Интеграция методов верификации программных систем

Интеграция программ на векторно-параллельных ЭВМ

Интегрированная система информационных ресурсов РАН и технология разработки цифровых библиотек

Интеллектуальная автоматизированная система поддержки принятия решений

Интеллектуальная картографическая визуализация для поддержки исследования данных в системе IRIS

Интервальная библиотека: опыт интеграции логического программирования и программирования в ограничениях

Интерпретатор ПРОЛОГа с точки зрения логической семантики

Информатика в школе: проблемы содержания

Информационное сообщение: Третья международная конференция памяти академика А.П.Ершова "Перспективы систем информатики"

Информационные системы для улучшения социальных коммуникаций на конференциях: сенсорный подход

Инфраструктура суперкомпьютерных технологий

Использование AVX-векторизации для увеличения производительности генерации случайных чисел

Использование абстрактных моделей для генерации тестовых данных сложной структуры

Использование виртулизации для за иты адресного пространства приложений в недостоверной среде

Использование групповых и алгебраических свойств тензорных выражений в объектно-ориентированной системе компьютерной алгебры (КА)

Использование диаграмм состояний и переходов для моделирования гипертекста

Использование ДКП для ускорения фрактального сжатия изображений

Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации

Использование информации, полученной при выполнении программы, для повышения качества восстановления типов данных при декомпиляции

Использование искусственных нейронных сетей для классификации источников сигналов в системах когнитивного радио

Использование конечных автоматов для тестирования программ

Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры