Вы здесь

Главная

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

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

Верификация программ обработки файлов на языке Паскаль
Верификация распределенных программ типа SPDM на основе формализма L-программ
Верификация финитной итерации над наборами структур данных
Верификация функций безопасности протокола IPSEC V2
Вероятностное обоб ение формальных понятий
Верхняя граница минимизирую их коэффициентов размерностного многочлена Колчина
Взаимодействие как унификация в алгебрах процессов: операционная семантика
Визуализация в топологии: построение проективной плоскости
Визуализация трехмерных сцен в реальном времени на IBM PC/AT
Влияние регулярных системных прерываний на производительность параллельных трафаретных вычислений
Внедрение фрагментного параллелизма в СУБД с открытым кодом
Внедрение языка сценариев в программные комплексы оптического моделирования
Возможности и перспективы одной гипертекстовой среды
Возможности оптимального выполнения параллельных программ, содержа их простые и итерированные циклы, на неоднородных параллельных вычислительных системах с распределенной памятью
Вопросы построения интегрированной прикладной системы МИСС
Восстановление ограничений целостности за счет наименьших достаточных изменений
Восьмая международная Ершовская конференция по информатике (ПСИ 11)
Временные сети Петри без перекрытий интервалов срабатывания
Входной язык спецификации задач в человеко-машинной решаю ей системе
Выбор базиса при решении линейных функциональных уравнений
Выбор топологии сети и разме ение файлов данных в распределенной информационной системе
Выполнение векторных операций на INTEL 860
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей
Вычисление базисов Жане торических идеалов
Вычисление дифференциального многочлена при заменах образую их в системе уравнений Дирака
Вычисление доминирую их ве ественных корней многочленов
Вычисление когомологий супералгебр Ли: алгоритм и реализация
Вычисление расстояний на строках
Вычисление элементарных функций с гарантированной точностью
Вычисления на нейронных сетях (Обзор)
Генерация позитивных и негативных тестов для парсеров
Генерация тестов для компиляторов и других текстовых процессоров
Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов
Генерация тестовых данных для тестирования механизмов кэшировния и трансляции адресов микропроцессоров
Генерация эффективного кода для процессорных архитектур с явным параллелизмом
Гибридный подход к повышению надежности программных систем
Грамматический подход к анализу синонимов
Графическая нотация наследования автоматных классов
Графические редакторы и графические грамматики
Графический метод представления и нейросетевое распознавание частотно-временных векторов речевой информации
Графический синтаксис языка "дракон"
Графический язык описания ограничений на диаграммы классов UML
Графическое представление математических объектов
Двунаправленная трассировка лучей для интегрирования осве енности методом квази-Монте-Карло
Дедуктивная верификация Reflex-программ
Декомпозиция методов и распараллеливание алгоритмов решения задач аэродинамики и физической газовой динамики: вычислительная система "Поток-3"
Деревья и связанные списки с переменным отношением порядка (RTR-структуры)
Детерминированное поддержание ограничений целостности
Децентрализованные хранилища данных: технологии построения
Диаграммная техника в теории гипергеометрических рядов от многих переменных