Вы здесь

Главная

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

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

Методы автоматического извлечения терминов из коллекции текстов предметной области
Методы автоматического построения и обога ения неформальных онтологий
Методы быстрого анализа исходного кода на языках С/С+
Методы выполнения и оптимизации приближенных запросов в неоднородных системах
Методы декомпозиции программ
Методы и средства трансляции графических диаграмм
Методы композиции при построении характеризационных формул для моделей с непрерывным временем
Методы машинного обучения для задачи обнаружения и мониторинга экстремстской информации в сети интернет
Методы межпроцедурного анализа (обзор)
Методы обеспечения переносимости ПО
Методы оценки времени выполнения в системах реального времени
Методы параллельной обработки сверхбольших баз данных с использованием распределенных колоночных индексов
Методы поиска изображений по содержанию
Методы разрешения лексической многозначности
Методы управления ресурсами в проблемно-ориентированных вычислительных средах
Методы ускорения вычисления функций на частых сетках
Методы ускорения трассировки лучей с использованием mimd-архитектуры
Метод элиминации структур данных, основанный на системах переписывания формул
Механизм для формального описания динамических систем
Минимизация джиттера при планировании вычислений в системах реального времени
Многоплановая объектная модель и ее приложения
Многопоточное тестирование программных интерфейсов
Множественное структурирование данных
Модели активной среды самоорганизации отказоустойчивого мультимикроконтроллера
Моделив нагрузочном тестировании
Модели двухслойных матричных процессоров, порождаемые алгоритмами параллельных подстановок
Модели памяти языков программирования: обзор и тенденции
Моделирование вредоносной активности в глобальной компьютерной сети
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня
Моделирование иерархических многопроцессорных систем баз данных
Моделирование и оптимизация процессов функционирования информационного web-портала
Моделирование искусственной биологической клетки в мелкозернистой структуре
Моделирование контроллера Web-приложений с использованием UML
Моделирование машин баз данных распределенной архитектуры
Моделирование многоленточных машин Минского и Тьюринга трёхленточными машинами Минского
Моделирование некоторых математических объектов и операций над ними в терминах расширенной реляционной модели данных
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX
Моделирование операционной семантики машинных инструкций
Моделирование параллельного программного обеспечения с использованием PS-сетей
Моделирование, спецификация и верификация "автоматных" программ
Модель динамического параллельного исполнения программ
Модель оценки и оптимизации затрат в многоуровневых нечетких средах
Модель поведения сетевых объектов в распределенных вычислительных системах
Модулярный алгоритм вычисления когомологий алгебр и супералгебр Ли
Монады для формализации процедуры сопоставления с образцом
Мульти-агентный подход к разрешению кореференции на основе многофакторного сходства при пополнении онтологий
Муравьиные алгоритмы: теория и применение
Надъязыковая методология спецификации программ
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
На пути к верификации C#-программ: трехуровневый подход