Сортировать по:
| Выпуск | Название | |
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... state transducers over semigroups against LP-CTL* formulae, prove its correctness, and estimate its ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... transducers over semigroups. To check the equivalence of transducers and we associate with them a Labeled ..." | ||
| Том 35, № 3 (2023) | К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений | Аннотация PDF (Rus) похожие документы |
| Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ | ||
| "... transducers. Mathematical models are given that make it possible to calculate the magnetic fields of annular ..." | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... problem for two formal models of programs: deterministic finite state transducers over finitely generated ..." | ||
| Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
| А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
| "... efficient compared to machine learning-based methods, and can be implemented on an edge computing node ..." | ||
| Том 27, № 3 (2015) | Создание приватного сервиса с использованием приложения CRYP2CHAT | Аннотация PDF (Rus) похожие документы |
| Андрей Кирьянцев, Ирина Стефанова | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... is the problem of solving linear equations of the form θ_1 X=θ_2 Y in the semigroup of substitutions. But some ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... At the beginning of 2000 each node of high performance cluster with distributed memory contained ..." | ||
| Том 27, № 6 (2015) | Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков | Аннотация PDF (Rus) похожие документы |
| А. С. Чадин | ||
| "... of compute nodes and migrating VMs from overloaded nodes to underloaded ones. Besides workload stabilization ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... objective paper is to present the node self-similarity reducing the number of inconclusive verdicts often ..." | ||
| Том 36, № 5 (2024) | Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН | ||
| "... , membership inference, etc.). In this work, we focus on the task of graph node classification, highlighting ..." | ||
| Том 32, № 4 (2020) | Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Сергей Юрьевич МОКШИН | ||
| "... . The paper discusses basic approaches to design a login nodes subsystem for such high-performance ..." | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| "... on the task of graph node classification, highlighting it as one of the most challenging. To the best of our ..." | ||
| Том 27, № 3 (2015) | Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг | Аннотация PDF (Rus) похожие документы |
| И. П. Болодурина, Д. И. Парфёнов | ||
| "... of data flows at several levels: between the physical computing nodes, virtual machines, and multimedia ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... for this model. In Sections 2 and 3 the syntax and a semigroup-based semantics of propositional model ..." | ||
| Том 31, № 2 (2019) | Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов | Аннотация похожие документы |
| Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб | ||
| "... introduces a serious performance anomaly in WLANs. In a network comprising of several nodes with varying ..." | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... when the graph models a communication network including Internet and GRID. A node of the network has ..." | ||
| Том 23 (2012) | Энергоэффективные вычисления для группы кластеров | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... to flexible control strategies of the node states (waking them up or shutting down) and of the execution order ..." | ||
| Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) похожие документы |
| Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| "... certain operator nodes. For example, the push-model used in the dynamic compiler is advantageous when ..." | ||
| Том 28, № 6 (2016) | Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами | Аннотация похожие документы |
| Михаил Дробышевский, Антон Коршунов, Денис Турдаков | ||
| "... graphs (more than 104 nodes). ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... experimental results on up to 9 nodes of a computational cluster with two 8-core processors in a node. ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... processors in nodes of HPC cluster we could use following approaches utilizing node resources: (1 ..." | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Ахмед Хан | ||
| "... -oriented systems is the distribution of classes of objects among various nodes. Typically ..." | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| "... by problem-oriented distributed computing systems in heterogeneous Grid with hybrid nodes. Considers ..." | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ШМИД | ||
| "... computing nodes into heterogeneous geographically distributed computing networks that provide, in particular ..." | ||
| Том 31, № 2 (2019) | Безопасная и надежная передача данных в MANET на основе принципов вычислительно стойкого разделения секрета | Аннотация PDF (Rus) похожие документы |
| Николай Иванович Червяков, Максим Анатольевич Дерябин, Антон Сергеевич Назаров, Михаил Григорьевич Бабенко, Николай Николаевич Кучеров, Андрей Владимирович Гладков, Глеб Игоревич Радченко | ||
| "... transmission and security algorithms Nodes mobility and dynamic topology give rise to two key problems of MANET ..." | ||
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация похожие документы |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| "... the distribution of event handlers between working nodes. We introduce and compare different deployment strategies ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... (homogeneous, reducible) are marked out in the model and then estimated on the node of a target computational ..." | ||
| Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
| Д. Н. Василик | ||
| "... measured the performance of a single-node system and validated the model using the obtained results. ..." | ||
| Том 28, № 2 (2016) | Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики | Аннотация похожие документы |
| Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков | ||
| "... computational nodes. This was prompted by the need to process the data, produced by parallel algorithm ..." | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) похожие документы |
| О. А. Четверина | ||
| "... solutions are offered: algorithm of acyclic graph profile correction according to its end nodes values ..." | ||
| Том 24 (2013) | Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян | ||
| "... performance depends heavily on how processes are mapped to the network nodes. Therefore a cloud scheduler must ..." | ||
| Том 31, № 4 (2019) | Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах | Аннотация PDF (Rus) похожие документы |
| Денис Владимирович Силаков | ||
| "... node can cause software failure on another node. In addition, errors from the subsystems of the cluster ..." | ||
| Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... of running applications (stop, restart, pause, in some cases, migration between nodes), which allows you ..." | ||
| Том 30, № 1 (2018) | Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша | Аннотация PDF (Rus) похожие документы |
| Е. И. Гусев | ||
| "... time between nodes. To eliminate “increasing queue problem” during distributed page access the new ..." | ||
| Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) похожие документы |
| В. Х. Ла, А. Кавалли | ||
| "... for them. Whilst, sensor nodes those usually operate in unattended and even harsh environments, are prone ..." | ||
| Том 36, № 4 (2024) | Создание распределенных искусственных нейронных сетей на основе ортогональных преобразований | Аннотация похожие документы |
| Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Владислав Вячеславович ЛУЦЕНКО, Наталья Николаевна КУЧУКОВА | ||
| "... , as well as for high-performance computing across multiple low-performance computational nodes ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... . The basis for such learning is graph traversal (traversing all its arcs accessible from the initial node ..." | ||
| Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
| А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
| "... on using incompletely specified Boolean functions of internal nodes of the circuit. The functions ..." | ||
| 1 - 39 из 73 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
