Сортировать по:
| Выпуск | Название | |
| Том 22, № 5 (2022) | Генерация слабейших предусловий программ с динамической памятью в символьном исполнении | Аннотация PDF (Rus) похожие документы |
| А. В. Мисонижник, Ю. О. Костюков, М. П. Костицын, Д. А. Мордвинов, Д. В. Кознов | ||
| "... Symbolic execution is a widely used method for the systematic study of program execution paths ..." | ||
| Том 23, № 1 (2023) | Определение аналитических моделей динамических систем в форме дифференциальных уравнений на основе многокритериальной эволюционной оптимизации | Аннотация похожие документы |
| М. А. Масляев, А. А. Хватов | ||
| Том 22, № 2 (2022) | Имитационная модель облачных вычислений со спорадическим механизмом управления параллельным решением задач | Аннотация PDF (Rus) похожие документы |
| П. Е. Голосов, И. М. Гостев | ||
| "... of fragments determines the degree of parallelism in the execution of the task. The paper shows a method ..." | ||
| Том 23, № 2 (2023) | Гибридный алгоритм JAYA для планирования рабочих процессов в облаке | Аннотация похожие документы |
| С. Ботра, С. Сингхал, Х. Гоял | ||
| "... minimize execution time and cost while balancing the load among virtual machines in a heterogeneous ..." | ||
| Том 23, № 3 (2023) | Оценка готовности компьютерной системы к своевременному обслуживанию запросов при его совмещении с информационным восстановлением памяти после отказов | Аннотация PDF (Rus) похожие документы |
| В. А. Богатырев, С. В. Богатырев, А. В. Богатырев | ||
| "... execution of requests critical to service delays are being investigated. A fault-tolerant computer cluster ..." | ||
| Том 22, № 4 (2022) | Организация фаззинг-тестирования многопоточных приложений на основе метода распараллеливания независимых переходов | Аннотация PDF (Rus) похожие документы |
| О. В. Доронин | ||
| "... of multithreading can both improve the performance of the system as in whole so as slow down the execution ..." | ||
| Том 25, № 2 (2025) | Платформа для киберфизических систем с многоуровневой организацией и смешанной критичностью вычислительных процессов | Аннотация PDF (Rus) похожие документы |
| А. Е. Платунов, А. О. Ключев, В. Ю. Пинкевич, В. А. Ключев | ||
| "... and laboratory robotic installations involving parallel execution of applied tasks with real-time constraints ..." | ||
| Том 23, № 3 (2023) | Метод линейной аппроксимации временных параметров в эластичных системах | Аннотация PDF (Rus) похожие документы |
| И. Г. Мартынчук, С. А. Жмылёв | ||
| "... execution time due to the developed method reaches 23 %. It was determined that with a confidence ..." | ||
| Том 24, № 3 (2024) | Применение теории нечетких множеств при решении задач управления временным ресурсом радиолокационной станции мониторинга космического пространства | Аннотация PDF (Rus) похожие документы |
| Ю. В. Бабкин, Г. П. Зверев, А. В. Тимошенко, А. Ю. Перлов, М. Ф. Булатов | ||
| "... of uncertainty and variability in task execution conditions. An algorithm for managing the RS temporal resources ..." | ||
| Том 23, № 4 (2023) | Усовершенствованный протокол безопасности на основе AES-GCM для защиты связи в интернете вещей | Аннотация похожие документы |
| А. Б. Фероз Хан, С. Калпана Деви, К. Рама Деви | ||
| "... also helps to construct a solution to prevent this attack from its execution. The work also proposed ..." | ||
| Том 25, № 3 (2025) | Объяснимость и интерпретируемость — важные аспекты безопасности решений, принимаемых интеллектуальными системами (обзорная статья) | Аннотация PDF (Rus) похожие документы |
| Д. Н. Бирюков, А. С. Дудкин | ||
| "... . It is shown that the development of XAI is associated with the integration of neuro-symbolic approaches ..." | ||
| Том 23, № 4 (2023) | Подход к формированию обобщенных параметров технического состояния сложных технических систем c использованием нейросетевых структур | Аннотация PDF (Rus) похожие документы |
| Г. Н. Мальцев, В. Л. Якимов | ||
| "... processors that support their execution at the hardware level. ..." | ||
| Том 23, № 4 (2023) | Верификация событийно-управляемых программных систем с использованием языка спецификации взаимодействующих автоматных объектов | Аннотация похожие документы |
| И. В. Афанасьева, Ф. А. Новиков, Л. Н. Федорченко | ||
| "... of execution protocols, each of which is a sequence of interface calls, possibly with guard conditions. We ..." | ||
| Том 25, № 1 (2025) | Алгоритм планирования многомерных траекторий для слайсера 5D-принтера | Аннотация PDF (Rus) похожие документы |
| М. Я. Афанасьев, М. Р. Соловьев, А. А. Крылова, С. А. Шорохов, Ю. В. Федосов | ||
| "... convergence under various input conditions, ensuring accurate trajectory execution regardless of initial ..." | ||
| Том 25, № 1 (2025) | Планирование распределенных вычислений в недетерминированных системах | Аннотация PDF (Rus) похожие документы |
| Н. В. Колесов, Е. Г. Литуненко, М. В. Толмачева, В. С. Тюльников | ||
| "... algorithms for tasks in the distributed non-deterministic computing system, when the task execution time ..." | ||
| Том 25, № 2 (2025) | Проверка соответствия поведения системы на основе автоматных объектов формальным требованиям | Аннотация похожие документы |
| Ф. А. Новиков, И. В. Афанасьева, Л. Н. Федорченко, Т. А. Харисова | ||
| "... .e., a directed graph, where all paths from the initial nodes represent the execution protocols of the automata ..." | ||
| Том 23, № 3 (2023) | Анализ частотно-робастных многомерных динамических систем | Аннотация PDF (Rus) похожие документы |
| Р. О. Оморов, А. Акунова, Т. А. Акунов | ||
| "... , физические свойства материалов, а также различные величины, определяющие их конструктивное исполнение. Подход ..." | ||
| 1 - 17 из 17 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
