Вы здесь

Главная

Кибернетика и системный анализ

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

Параллельная обработка данных многокомпонентных сейсмических наблюдений
Параллельная сортировка слиянием по матрицам сравнений. I
Параллельные истории - основа для выявления свободных и конкурирую их по скорости процессов
Параллельный алгоритм определения путей с максимальной пропускной способностью
Переписываю ая машина и оптимизация стратегий переписывания термов
Повышение точности вычислений при разрядно-логарифмическом представлении данных
Подход к управлению качеством программных систем обработки данных
Подход к экспертному оцениванию в программной инженерии
Полуавтоматическая система декомпозиции последовательных программ для параллельных вычислителей с распределенной памятью
Получение выводов в противоречивых системах
Порождаю ие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
Поряковые инварианты и проблема "окружения" для игр с упорядоченными исходами
Построение выпуклых продолжений для функций, заданных на гиперсфере
Построение систем композиционного программирования на основе отношения идентификации
Представление чисел и полиномов в библиотеке для системы компьютерной алгебры
Преобразования автоматов для упрощения контроля
Преобразования А.И.Лобанова
Применение логических правил вывода в реляционных СУБД
Применение модулярного кодирования информации для синтеза высокоскоростных цифровых фильтров
Применение формализма порождаю их грамматик к анализу родственных языков
Применения макропреобразователей для задания частичных непрерывных операторов в метрических пространствах
Принципы оптимизации логической схемы микропрограммного автомата Мура
Принципы организации вычислительного процесса на атомно-молекулярном уровне
Принципы построения гипертекстового редактора на основе международных стандартов электронного обмена документами
Принципы разработки современных программных систем анализа данных
Проблема тупиков и фиктивностей в спецификациях параллельных программ
Проблема функциональной полноты в итеративных мета-алгебрах
Проблема функциональной полноты для мета-алгебр регулярных событий
Проблемы алгоритмики и системы алгоритмических алгебр Глушкова
Проблемы включения и эквивалентности для схем программ и формальных языков
Проблемы динамического распараллеливания вычислений
Проблемы интеллектуализации MIMD-компьютеров
Проблемы оптимизации в композиционной структурно-модульной технологии программирования
Проблемы управления сетями пакетной радиосвязи с промежуточным хранением информации и мобильными абонентами
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами
Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I
Прогнозирование значений параметров динамических систем с помо ью адаптивного фильтра Калмана
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
Программная инженерия - новая научная дисциплина
Программы с восстановлением вычислений
Пространство дискретных геометрий
Процедура связывания для бинарного распределенного представления данных
Прямые методы решения систем линейных алгебраических уравнений с комплексными лямбда-матрицами
Псевдообра ение матриц в проблеме проектирования ассоциативной памяти
Псевдообратные и проекционные матрицы в задачах синтеза функциональных преобразователей
Развитие концепции односторонних функций для систем криптографической за иты информации с использованием достижений хаотической динамики
Развитие отечественной технологии программирования
Распараллеливание процесса оптимизации для задач дискретного программирования
Расширение логического языка спецификации автоматов и проблема синтеза
Реализация бинарного синхронзированного линейного дерева и его применение для обработки текста естественного языка