Вы здесь

Главная

Проблемы программирования

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

Метод оптимального статического планирования задач в распределенных вычислительных системах с использованием генетического алгоритма
Метод проектирования Internet-ориентированных информационно-управляю их систем на основе стандарта XML
Метод распределения и балансировки нагрузки на основе технологии обмена потоками информации (Advanced Queuing) между сессиями в реляционной базе данных Oracle
Методы повышения производительности Java-приложений с ГИП в условиях жестких рекурсных ограничений
Модели и средства взаимосвязи компонентов в распределенных средах
Модели обслуживания очередей запросов к серверам
Модель процесса разработки программного обеспечения
На пути к верификации C-программ, язык C-light и его трасформационная семантика
Некоторые применения категорных методов в Computer Science
Некоторые проблемы моделирования надежности программных средств
Некоторые случаи оптимизации тестабильности программных средств
Об одной геометрической модели временных параллельных процессов
Об одном подходе к автоматизации построения распределенных информационных систем
Об одном подходе к обработке текстовых данных на основе сематического индексирования
Об одном подходе к определению программирования
Об одном полиномиальном алгоритме обработки рекурсивных запросов в дедуктивных базах данных
Об одном способе спецификации реактивных алгоритмов в логическом языке первого порядка
Один подход к автоматизации построения распределенной модели из ее сосредоточенного аналога
Определение основ взаимодействия объектов в компьютерных сетях
О проверке правильности программ с помо ью ЭВМ
Оптимизация запросов в системах баз данных на параллельных структурах
Основные принципы разработки системы технологической поддержки распределенного моделирования
Особенности разработки алгоритмов синхронизации процессов распределенного имитационного моделирования
О структурно-базовой модели системы параллельного действия
Оценка времени обработки данных в кластерных системах
О языке спецификаций для параллеьных символьных вычислений
Парадигма интеграции в программной инженерии
Параллельное программирование в интеллектуальных решаю их машинах
Параллельное программирование задач визуализации научных данных
Планирование задач в загруженной распределенной среде
Подход и средства тематического поиска в Web-окружении
Построение логической спецификации реактивного алгоритма
Построение модели репозитория метаданных для хранили а данных в рамках расширенного реляционного подхода
Построение процесса тестирования информационных систем
Применение метода резолюций на семантических сетях
Применение операционной системы Linux в маршрутизаторах сетей TCP/IP
Применение стандарта XML при проектировании пользовательского интерфейса интерактивных программ
Разработка средств интеллектуализации поиска информации в Интернет
Распараллеливание алгоритмов функционирования классификатора со случайными подпространствами
Реализация алгоритма преобразования неординарной сети Петри в ординарную
Реинженерия проектов программного обеспечения
Рекурсивная модель жизненного цикла разработки программ и ее применение
Решение задач диагностики в системах построения компиляторов
Ролевой подход коценке качества экономических экспертных систем
Сетевые журнальные файловые системы на основе серверов реляционных баз данных
Системы алгоритмических алгебр и автоматизация программирования
Современные методы программирования: возможности и инструменты
Средства оптимизации GRID-вычислений на основе Globus Toolkit
Средства поддержки применения графов в программировании
Стилистика программного обеспечения