Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
распределенный
Связанные издания:
Дедуктивная система для неклассической верификации распределенных систем: индукция по числу параллельных компонент
Декомпозиция логико-лингвистических моделей принятия решений в распределенных вычислительных средах
Децентрализованная разработка
Диалоговая отладка параллельных программ: распределенная схема взаимодействую их компонентов
Динамический распределенный ПН-алгоритм для раскраски w-совершенных графов
Инструментальная расширяемая среда конструирования распределенных отказоустойчивых программных средств
Интеграция Web-и клиент-серверной архитектур для распределенных приложений
Использование неспецифических онтологий для хранения фактографических данных
Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри
Исследование клеточно-нейронной модели двумерных автоволновых процессов
Как построить корпоративную сеть X.25
К вопросу о проектировании распределенных БД реляционного типа
К вопросу о реализации схем над распределенной памятью
Коммуникационно-эффективные алгоритмы решения задач линейного и целочисленного программирования
Комплексное решение проблемы распределенного контроля и управления технологическими процессами
Композиционный подход к разработке параллельных и распределенных систем на основе сетей Петри
Корпоративные сети, рекомендации по созданию
К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
Кроссплатформенное управление данными
Лидеры CORBA
Логическое время в распределенных программных системах
Локальные алгоритмы и проблема установления конца вычислений в распределенных системах
Локальные алгоритмы и распределенные вычисления
Математическая модель параллельных систем с интервальными задержками
Математические модели и программные средства за иты распределенных компьютерных систем
Методи i засоби вiзуального объектно-орiентированного проектування програмних систем на основi контурних Р-схем
Методика повышения актуальности распределенной базы знаний
Метод направленного поиска при статическом планировании задач в распределенных вычислительных системах
Методология разработки распределенных приложений на основе модели оболочки
Метод оптимального статического планирования задач в распределенных вычислительных системах с использованием генетического алгоритма
Методы и средства управления динамическим разме ением информации в распределенных базах данных
Миграция от xBase к Oracle с использованием Web-технологии
Многопользовательский доступ к централизованной БД
Модели и средства взаимосвязи компонентов в распределенных средах
Модели и средства разработки распределенных приложений в SUN OS
Модели распределенных вычислений
Моделирование Estelle-спецификаций распределенных систем с помо ью раскрашенных сетей Петри
Моделирование машин баз данных распределенной архитектуры
Наибольший поток в сети: локальные и распределенные алгоритмы
Наследование реализации в распределенных объектных системах
Новый "Универсальный клей" - Web Services
Обеспечение отказоустойчивости в распределенных средах
Об одном подходе к автоматизации построения распределенных информационных систем
Об одном подходе к математическому моделированию некорректных задач динамики систем с распределенными параметрами
Об организации распределенного имитационного моделирования
Об управляемости линейных распределенных систем в классах обоб енных воздействий
Объектные технологии в распределенных системах
Один подход к автоматизации построения распределенной модели из ее сосредоточенного аналога
О минимальном времени реализации распределенных конкурирую их процессов в синхронных режимах
« первая
‹ предыдущая
…
33
34
35
36
37
38
39
40
41
следующая ›
последняя »