|
Загалом робіт:2062
301. Раткевич Ирина Сергеевна. Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO
Рік: 2017 302. Чкан Андрей Викторович. Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах
Рік: 2017 303. Шорин Олег Николаевич. Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство
Рік: 2017 304. Алексейчук Андрей Сергеевич. Математическое и программное обеспечение системы дистанционного обучения на базе веб-конференций
Рік: 2017 305. Алпатов Алексей Николаевич. Математическое и программное обеспечение балансировки вычислительных заданий для распределенных вычислительных комплексов на основе прогнозных моделей
Рік: 2017 306. Ар Кар Мьо. Исследование и разработка методов и программных средств интеллектуального анализа данных на основе прецедентов
Рік: 2017 307. Бабенко Артем Валерьевич. Эффективные алгоритмы поиска по большим коллекциям изображений
Рік: 2017 308. Бахиркин Михаил Васильевич. Метод динамической оценки для прогнозирования времени цикла разработки программных систем
Рік: 2017 309. Бикмуллина Ильсияр Ильдаровна. Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области
Рік: 2017 310. Буздалова Арина Сергеевна. Метод совместного использования эволюционных алгоритмов и обучения с подкреплением для оценки эффективности программ решения задач дискретной математики
Рік: 2017 311. Буренков Владимир Сергеевич. Методы и средства верификации протоколов когерентности памяти
Рік: 2017 312. Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
Рік: 2017 313. Вишератин Александр Александрович. Семантические технологии больших данных для многомасштабного моделирования в распределенных вычислительных средах
Рік: 2017 314. Волканов Дмитрий Юрьевич. Метод выбора сбалансированного набора модулей распределенной вычислительной системы и механизмов обеспечения отказоустойчивости
Рік: 2017 315. Галов Иван Викторович. Модели проектирования программной инфраструктуры интеллектуального пространства для ресурсно-ограниченных вычислительных сред
Рік: 2017 316. Гимпельсон Вадим Дмитриевич. Сокращение длины критических путей при динамической трансляции двоичных кодов
Рік: 2017 317. Грегер Сергей Эдуардович. Математическое и программное обеспечение для управления базами знаний на основе многоуровневых семантических моделей гетерогенных информационных ресурсов
Рік: 2017 318. Ерофеев Михаил Викторович. Преобразование видеопоследовательностей, содержащих объекты с полупрозрачными границами, в стереоскопический формат
Рік: 2017 319. Кейно Павел Петрович. Методы и инструменты декларативного программирования динамических Web-узлов и приложений
Рік: 2017 320. Коломейченко Максим Игоревич. Математическое и программное обеспечение визуального анализа графовой информации сети взаимодействующих объектов
Рік: 2017 321. Краснов Михаил Михайлович. Сеточно-операторный подход к программированию задач математической физики
Рік: 2017 322. Мальшаков Григорий Викторович. Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных
Рік: 2017 323. Маркин Юрий Витальевич. Методы и средства углубленного анализа сетевого трафика
Рік: 2017 324. Михайлов Андрей Анатольевич. Методы декомпиляции объектного кода Delphi
Рік: 2017 325. Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости
Рік: 2017 326. Мосин Сергей Владимирович. Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений
Рік: 2017 327. Павлов Владимир Александрович. Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Рік: 2017 328. Папилина Татьяна Михайловна. Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования
Рік: 2017 329. Раткевич Ирина Сергеевна. Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO
Рік: 2017 330. Розанов Алексей Константинович. Математическое, алгоритмическое и программное обеспечение автоматического предсинтаксического анализа текста в системах управления базами лингвистических знаний
Рік: 2017 331. Семенов Сергей Александрович. Технология программирования алгоритмов молекулярно-динамического моделирования наносистем на графических процессорах
Рік: 2017 332. Сидорин Алексей Васильевич. Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора
Рік: 2017 333. Татарников Андрей Дмитриевич. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Рік: 2017 334. Тощев Александр Сергеевич. Интеллектуальная система повышения эффективности ит-службы предприятия
Рік: 2017 335. Уральский Николай Борисович. Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода
Рік: 2017 336. Федотов Андрей Николаевич. Разработка метода оценки эксплуатируемости программных дефектов
Рік: 2017 337. Фурсова Наталья Игоревна. Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине
Рік: 2017 338. Халиуллин Айрат Радикович. Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов
Рік: 2017 339. Хаустов Павел Александрович. Алгоритмы распознавания рукописных символов в условиях малой обучающей выборки
Рік: 2017 340. Царёв Дмитрий Владимирович. Методы и программные средства анализа поведения пользователей при работе с текстовыми данными для решения задач информационной безопасности
Рік: 2017 341. Чкан Андрей Викторович. Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах
Рік: 2017 342. Шорин Олег Николаевич. Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство
Рік: 2017 343. Карпович, Сергей Николаевич Математическое и программное обеспечение вероятностного тематического моделирования потока текстовых документов
Рік: 2017 344. Кошелев, Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#
Рік: 2017 345. Северинов Олег Викторович. Совершенствование процесса сушки зерна в бункерах активного вентилирования с использованием моделирования
Рік: 2016 346. Акопян Манук Сосович. Инструментальные средства поддержки автоматизированной разработки параллельных программ
Рік: 2016 347. Алфимцев Александр Николаевич. Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов
Рік: 2016 348. Ахмед Али М Ахмед. Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети
Рік: 2016 349. Ачкасов Александр Владимирович. Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации
Рік: 2016 350. Бессонов Алексей Владимирович. Символьная спецификация и анализ программных моделей гибридных систем
Рік: 2016 |
