Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... formalisms proven to be WSTS systems. Despite the large body of theoretical work on the WSTS theory ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets ..." | ||
| Том 34, № 6 (2022) | Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин | Аннотация похожие документы |
| Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН | ||
| "... with limited scalability. As a result, there is an increasing demand to integrate formalism into more dynamic ..." | ||
| Том 35, № 2 (2023) | Пути организации параллельного доступа к структурированным данным | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Дмитрий Владимирович ИВАНКОВ, Евгений Александрович БЕКЕТОВ | ||
| "... файлами, содержащими структурированные данные. Исследования проводились на файловых системах с ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... formalisms. In the paper one can find a detailed description of a couple of layout algorithms that can ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... analysis techniques. This also allows the application of the best formalism or technique to different ..." | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... . The extended finite state machine (EFSM) is known to be a powerful formalism for modelling digital hardware ..." | ||
| Том 35, № 2 (2023) | Программный комплекс SIO для работы со структурированными данными | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| "... основные подходы по разработке и использованию программного обеспечения для работы со структурированными ..." | ||
| Том 36, № 6 (2024) | Определение когнитивных решений в сложных неформально структурированных доменах: эмпирические подходы | Аннотация похожие документы |
| Алисия Маргарита ХИМЕНЕС-ГАЛИНА, Карла ОЛМОС-САНЧЕС, Аида Арасели МАЛЬДОНАДО-МАЧИАС, Жасмин Георгина ЛИКОНА-ОЛМОС, Хулия Патрисия САНЧЕС-СОЛИС | ||
| "... Сложность борьбы со стрессом, связанным с работой, как сложной неформальной структурированной ..." | ||
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация похожие документы |
| С. Тул, П. Г. Ларсен | ||
| "... different formalisms. This paper describes an exploration of whether different concurrency features in Scala ..." | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... of the proposed model is presented, the main operations for HP-graphs are described. The chosen graph formalism ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... analysis of time-critical applications based on the db-net formalism, which combines the ability of colored ..." | ||
| Том 36, № 4 (2024) | О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса | Аннотация PDF (Rus) похожие документы |
| Павел Александрович ПАВЛОВ | ||
| "... структурированного программного ресурса; в случаях неограниченного и ограниченного параллелизма по числу процессоров ..." | ||
| Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) похожие документы |
| В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... программ с динамической памятью. Вводится формализм композициональной символьной памяти, который ..." | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... правило, основаны на графовых моделях, однако графовые формализмы, используемые для представления моделей ..." | ||
| Том 29, № 6 (2017) | Декомпиляция объектных файлов *.dcuil | Аннотация PDF (Rus) похожие документы |
| А. А. Михайлов, А. Е. Хмельнов | ||
| "... управления; генерация промежуточного представления; структурирование графа потоков управления; анализ потоков ..." | ||
| Том 36, № 5 (2024) | Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме | Аннотация PDF (Rus) похожие документы |
| Павел Александрович ПАВЛОВ | ||
| "... В статье с учетом ограниченного числа копий структурированного программного ресурса проведен ..." | ||
| Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация похожие документы |
| Д. А. Усталов | ||
| "... связывания структурированных данных, направленный на повторное использование материалов существующих ..." | ||
| Том 36, № 3 (2024) | Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем | Аннотация PDF (Rus) похожие документы |
| Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ | ||
| "... импорта, автоматической обработки, структурирования и анализа информации на основе компонентов платформы ..." | ||
| Том 28, № 2 (2016) | Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем | Аннотация PDF (Rus) похожие документы |
| И. И. Чукляев | ||
| "... специфику операций манипулирования и обработки над сложно структурированными данными на различных уровнях ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... детерминированного воспроизведения ситуация усложняется не только дополнительными и не вполне очевидными параметрами ..." | ||
| Том 37, № 3 (2025) | SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа | Аннотация PDF (Rus) похожие документы |
| Андрей Сергеевич ЧЕТВЕРГОВ, Ринат Саярович ШАРАФЕТДИНОВ, Марина Михайловна ПОЛУКОШКО, Вадим Аксанович АХМЕТОВ, Наталия Андреевна ОРУЖЕЙНИКОВА, Егор Сергеевич АНИЧКОВ, Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Сергей Владимирович БОЛОВЦОВ, Павел Евгеньевич ГОЛОСОВ | ||
| "... у России существует вполне сформированная позиция. Для преодоления проблемы неполноты чувствительных ..." | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| "... лопатки турбины из структурированного облака точек. Продемонстрирован интерактивный метод реконструкции ..." | ||
| Том 32, № 1 (2020) | Большие данные: аналитические решения, исследовательские задачи и тенденции | Аннотация похожие документы |
| Ноаман Мухаммед Али, Борис Асенович Новиков | ||
| "... секунду. Производимые наборы данных представлены в структурированном, полуструктурированном и ..." | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| "... алгоритма. Функциональная схема слайса представляет собой структурированное представление слайса и является ..." | ||
| Том 37, № 2 (2025) | Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка | Аннотация PDF (Rus) похожие документы |
| Юрий Павлович ТИТОВ, Никита Владимирович КИЛЬМИШКИН, Дмитрий Дмитриевич КУБРАКОВ, Полина Михайловна ИВАНОВА | ||
| "... (Begin, Inside, Outside), обеспечивая структурированную разметку для обучения моделей. Модель на основе ..." | ||
| Том 32, № 4 (2020) | Использование Big Data в международном бизнесе | Аннотация PDF (Rus) похожие документы |
| Константин Анатольевич АЛЕКСЕЕВ | ||
| "... – термин, который обозначает технологии обработки неструктурированных и структурированных данных большого ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... архитектурного стиля. Таким образом, не вполне понятно, является ли данное понятие чисто академической концепцией ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... иногда и не вполне четко определены. Это может приводить к ошибкам, дефектам и нежелательным отличиям в ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... программирования, так и языках разметки, DSL-языках, а также с любым структурированным текстом, например ..." | ||
| Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) похожие документы |
| В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
| "... текстовых документов, к которым он обращался. Структурированное представление рассматриваемой поведенческой ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... вычисления на структурированных сетках. В отличие от подходов к распараллеливанию программ, предложенных в ..." | ||
| Том 35, № 2 (2023) | Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников | Аннотация PDF (Rus) похожие документы |
| Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ | ||
| "... интеллекта, а все вместе они призваны автоматизировать процесс получения и структурирования качественных ..." | ||
| Том 35, № 2 (2023) | Параметрические исследования течений в микросоплах | Аннотация PDF (Rus) похожие документы |
| Екатерина Александровна МИТРЮКОВА | ||
| "... пространства за ним. Задача решалась методом контрольного объема на блочно-структурированной регулярной сетке ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация похожие документы |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| "... структурирование доступной литературы по улучшению процессов в области разработки требований к программному ..." | ||
| Том 31, № 3 (2019) | Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев | Аннотация похожие документы |
| Антон Михайлович Ригин, Сергей Андреевич Шершаков | ||
| "... исследования эффективности сильно ветвящихся деревьев в задаче индексирования структурированных данных, с ..." | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... решения задачи строится на прямоугольной структурированной сетке интегро-интерполяционным методом LS-STAG ..." | ||
| 1 - 39 из 41 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
