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

Вы здесь

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

Корректность клеточных вычислений в пространствах типа пирамиды и гиперкуба

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

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

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

К построению проверяю их тестов для недетерминированных автоматов с тайм-аутами

К разработке системы визуализации моделей

Криптография с открытым ключом: от теории к стандарту

Критерии тестирования и система оценки полноты набора тестов

Критерий LR(1)-грамматики

Крупноблочная сегментация и распараллеливание схем программ

Крупноблочный параллелизм в задачах обработки сигналов

К синтезу условных тестов для недетерминированных автоматов

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

Легковесный метод интроспекции виртуальных машин

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

Логические и множественные вычисления в рамках парадигмы геометрической информатики

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

Локализация ошибок методом построения сокра енных трасс

Локально-оптимальные алгоритмы построения расписаний, основаные на использовании сетей Хопфилда

Масштабирование дискретно-событийных имитационных моделей

Масштабируемость неоднородных параллельных систем

Масштабируемый и точный поиск клонов кода

Математическая модель OLAP-кубов

Матричная арифметика многократной точности для параллельных систем с передачей сооб ений

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

МЕГ-исключения

Мелкозернистое распараллеливание неполных гнезд циклов

Мелкозернистый параллелизм в вычислительной математике

Метаданные в компьютерных системах

Метафоры визуализации

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

Метод адаптивного управляемого параллельного выполнения операций в объектных СУБД

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

Метод иерархического S-буфера

Методика преподавания дисциплины "Геометрическое моделирование и машинная графика"

Методика преподавания компьютерной обработки в США

Метод и средства оценки времени выполнения оптимизированных программ

Метод кумулятивных сумм для обнаружения вторжений и борьбы с ними

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

Метод параметрической верификации поведения временных сетей Петри

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

Метод предшествования структур

Метод рас епления коцепных комплексов при вычислении когомологий (супер)алгебр Ли

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

Метод редукции тестового набора для регрессивного интеграционного тестирования

Метод сепарирую их мономов для инволютивных делений

Метод схем программ для пропозициональных программных логик за 30 лет

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

Метод фонетического сопоставления слов

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