Сортировать по:
| Выпуск | Название | |
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) похожие документы |
| Сергей Иванов, Анна Каленкова | ||
| Том 35, № 2 (2023) | Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников | Аннотация PDF (Rus) похожие документы |
| Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 32, № 4 (2020) | Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Сергей Юрьевич МОКШИН | ||
| Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| Том 19 (2010) | MapReduce: внутри, снаружи или сбоку от параллельных СУБД? | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| Том 32, № 1 (2020) | В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| Том 35, № 2 (2023) | Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| Том 27, № 3 (2015) | Программа статистической обработки данных анализатора wireshark и исследование входящего трафика | Аннотация PDF (Rus) похожие документы |
| Вениамин Тарасов, Сергей Малахов | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| Том 23 (2012) | Большие данные: современные подходы к хранению и обработке | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков, С. Д. Кузнецов | ||
| Том 32, № 5 (2020) | Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера | Аннотация PDF (Rus) похожие документы |
| Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ | ||
| Том 31, № 1 (2019) | Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| Том 35, № 2 (2023) | Особенности численного моделирования работы воздушно-тепловой завесы в OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Сергей ГРИГОРЬЕВ, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА | ||
| Том 35, № 2 (2023) | Программный комплекс SIO для работы со структурированными данными | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 33, № 3 (2021) | Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) похожие документы |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
| С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
| Том 19 (2010) | Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма | Аннотация PDF (Rus) похожие документы |
| С. А. Мартишин, М. В. Храпченко | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| Том 31, № 3 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация похожие документы |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| Том 31, № 4 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация похожие документы |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| Том 31, № 3 (2019) | Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев | Аннотация похожие документы |
| Антон Михайлович Ригин, Сергей Андреевич Шершаков | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация похожие документы |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 36, № 5 (2024) | Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| 1 - 39 из 86 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
