Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Подписаться на обновления

Верификация асинхронных параллельных систем на основе L-программ	Панков, Сергей Владимирович	1995
Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода	Парфенов, Владимир Владимирович	1995
Организация пользовательских интерфейсов ибиблиотеки ввода-вывода в среде разработкипрограмм С-Talk	Роганов, Евгений Александрович	1995
Разработка и реализация программного обеспечения и алгоритмов базовой компьютерной графики для двумерного и трехмерного растра	Семионенков, Михаил Николаевич	1995
Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка пролог	Соловьев, Игорь Павлович	1995
Анализ и выбор распределенных информационно-вычислительных систем на основе оптимизационно-имитационных схем	Тарханян, Анаит Геворговна	1995
Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения	Токарев Михаил Валентинович	1995
Интегрированная система автоматизации испытаний для одного класса моделирующих стендовых комплексов	Точилов, Леонид Сергеевич	1995
Разработка и реализация системы конфигурирования программ для транспьютерных сетей	Ульянов, Денис Эдуардович	1995
Средства проектирования программ бортового комплекса управления на базе гипертекста	Фадеев, Валерий Васильевич	1995
Параллельные алгоритмы для конструктивных операций над многоранными телами	Чяпайте, Юрате	1995
Разработка методов и средств обеспечения и анализа надежности отказоустойчивых вычислительных систем	Александрович, Андрей Евгеньевич	1994
Композиционные методы разработки протоколов на основе сетей Петри	Анисимов Николай Александрович	1994
Композициональные методы разработки протоколов на основе сетей Петри	Анисимов, Николай Александрович	1994
Разработка методов и программных средств исследования качества функционирования протоколов управления звеном данных	Баринов, Валерий Викторович	1994
Анализ и интерпретация незавершенных программ при структурном конструировании	Болтаев, Тельман Бакоевич	1994
Разработка методов представления и обработки некорректных данных и знаний в интеллектуальных информационных системах	Борова, Елена Николаевна	1994
Разработка моделей и программного обеспечения автоматизированной системы управления виброиспытаниями	Бранцевич, Петр Юльянович	1994
Инструментальные средства поддержки обработки онтологической информации программных структур многокомпонентного программирования	Валькевич, Татьяна Арнольдовна	1994
Комплекс распределенного программирования C. dis	Васильев, Сергей Андреевич	1994
Исследование методов автоматизированного плотного размещения разногабаритных электронных радиоэлементов	Глямжа, Алдас Йоно	1994
Автоматизированная обработка геометрической информации в комплексе автоматизированного моделирования	Горитов, Александр Николаевич	1994
Алгоритмическое и программное обеспечение систем управления робототехнических комплексов	Делчев, Камен Кръстев	1994
Методы и инструментальные средства проектирования систем поддержки принятия решений продукционного типа	Еремеев, Александр Павлович	1994
Управление, моделирование и программное обеспечение сложных робототехнических систем	Зенкевич, Станислав Леонидович	1994
Автоматизация деятельности авиадиспетчера: подход на основе исполняемых спецификаций	Иванец, Сергей Владимирович	1994
Планирование параллельных вычислительных процессов на базе клеточных алгоритмов преобразования ордеревьев	Калмыкова, Ирина Аркадьевна	1994
Семантические методы анализа распределенных систем	Кораблин, Юрий Прокофьевич	1994
Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путемдинамического регулирования загрузки	Косых, Валерий Семенович	1994
Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов	Крылов, Евгений Владимирович	1994
Интегрирующие интерфейсы в кросс-системе программирования	Кузьминов, Тимофей Владимирович	1994
Метод создания и реализации графического интерфейса пользователя для работы со схемами баз данных	Ле Куок Лонг	1994
Расширяемая переносимая система программирования, основанная на биязыковом подходе	Недоря, Алексей Евгеньевич	1994
Тестирование диагностики трансляторов стандартизированных языков программирования с развитым статическим компонентом	Павлов, Михаил Владимирович	1994
Языковой интерфейс для систем автоматизации микропрограммирования	Погудин, Юрий Михайлович	1994
Синтаксический анализатор адаптивной системы общения человека с ЭВМ на естественном языке. Пунктуационный компонент	Полякова, Ирина Николаевна	1994
Разработка и исследование методов создания корректных алгоритмов функционирования специализированных операционных систем	Правиков, Дмитрий Игоревич	1994
Методы и инструментальные средства поддержки продукционных баз знаний, содержащих правила с интервальными значениями характеристик в предикатах	Пронина, Инна Генриховна	1994
Исследование методов автоматизированной трассировки однослойных соединений	Рагайшис, Саулюс Йоно	1994
Настраиваемая среда активного обучения программированию на базе языка Паскаль	Резцова, Лариса Анатольевна	1994
Анализ свойств и эквивалентные преобразования на моделях программ	Сабельфельд, Виктор Карлович	1994
Построение оптимальных гипотез в признаковом пространстве - разработка методов и анализ их вычислительной сложности	Сапир, Марина Валентиновна	1994
Метод формирования гибридных моделей и инструментальный комплекс для построения экспертных систем	Силич, Мария Петровна	1994
Операционная система для микропроцессорных вычислительных систем с разделяемой памятью	Смирнов, Александр Юрьевич	1994
Разработка методов и способов обработки и визуализации данных в интеллектуальной геоинформационной системе	Ткаченко, Александр Андреевич	1994
Объектно-ориентированные средства интеграции подсистем графической поддержки принятия решений	Толок, Александр Сергеевич	1994
Разработка элементов математического и программного обеспечения для диагностики и настройки магнитооптических систем	Ухов, Владимир Иосифович	1994
Методы и средства автоматического проектирования программ по операторным термам	Чичиков, Александр Викторович	1994
Исследование и разработка коммуникационных средств в многопроцессорных вычислительных системах	Чочжа, Георгий Антонович	1994
Разработка и исследование методов и средств надежностного проектирования специализированных ЭВМ с комбинированным резервированием	Чуканов, Всеволод Озирисович	1994

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37]