Сортировать по:
| Выпуск | Название | |
| Том 31, № 6 (2019) | Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах | Аннотация PDF (Rus) похожие документы |
| Николай Игоревич Хохлов, Игорь Борисович Петров | ||
| "... processors (GPUs). Comparative results of applying MPI, OpenMP, CUDA technologies are presented. As examples ..." | ||
| Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Иванишин | ||
| "... logical OpenMP thread by a group of PTX threads we developed a new code generation model that allows ..." | ||
| Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Платонов | ||
| "... for scalars used in MPI reductions. For preconditioning, we choose AINV as a suitable preconditioner for GPUs ..." | ||
| Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
| А. Н. Авдеева, В. В. Пузикова | ||
| "... by using the MPI library does not exceed a few percent in comparison with the OpenMP technology usage ..." | ||
| Том 35, № 4 (2023) | Численное моделирование переноса твёрдых частиц в атмосферном городском пограничном слое с использованием лагранжева подхода: физические задачи и параллельная реализация | Аннотация PDF (Rus) похожие документы |
| Александр Иванович ВАРЕНЦОВ, Очир Анатольевич ИМЕЕВ, Андрей Васильевич ГЛАЗУНОВ, Евгений Валерьевич МОРТИКОВ, Виктор Михайлович СТЕПАНЕНКО | ||
| "... , MPI, CUDA. The results of testing of different implementations of the model show that optimization ..." | ||
| Том 33, № 5 (2021) | Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA | Аннотация похожие документы |
| Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА | ||
| "... ). This raises the daunting task of maintaining two independent source codes. However, CUDA graphics accelerators ..." | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков | ||
| "... to the GPU architecture using CUDA programming model. Porting the basic algorithm is straightforward ..." | ||
| Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян, Н. Е. Андреев | ||
| "... Most of developed tools for analysis for various libraries (MPI, OpenMP) and languages for parallel ..." | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
| В. А. Платонов, А. В. Монаков | ||
| "... framework for computational fluid dynamics. Asynchronous collective communications from MPI-3 parallel ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... processor with single core and each MPI process of parallel application used to utilize all resources ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... _turb» parallel version is developed. Intel® Cilk™ Plus, Intel® TBB and OpenMP parallel programming technologies ..." | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Formulae ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... The methods for estimating execution time of the model of a parallel program using instrumental ..." | ||
| Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... MPI is a well-proven technology that is widely used in a high-performance computing environment ..." | ||
| Том 26, № 2 (2014) | Обзор методов упрощения полигональных моделей на графическом процессоре | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... frameworks like OpenCL and CUDA. Shader methods are very restrictive. They are designed to render images ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... model of specification is LTS (Labelled Transition System). However, for the described interaction ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... for more abstract layers of the model. It is desirable to use the same models that were used for formal ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... Process models and graphs are commonly used for modeling and visualization of processes. They may ..." | ||
| Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
| Д. С. Кильдишев, А. В. Хорошилов | ||
| "... требованиями Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... behind such use cases makes «service models», and it tends to differ significantly between them ..." | ||
| Том 37, № 2 (2025) | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) похожие документы |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| "... The work presents the construction of a hydraulic model of a heat exchanger (HE). The multi ..." | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| "... The Multi-Bulk Synchronous Parallel (Multi-BSP) model is a recently proposed parallel programming ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... of mathematical models and methods of scheduling poses usually the problem of design of fast algorithm as well ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Software model checkers enable automatic detection of violations of specified requirements ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... and memory between isolated partitions. Model-based Checking is a formal verification technique in which ..." | ||
| Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
| А. М. Эльдарханов | ||
| "... standard, both in theoretical OODBMS area (object calculus, data models) and in practical area (query ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... is comprised of three main steps. First, a Promela model written for a certain configuration of the system ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... In this paper a survey of existing methods of model extraction from hardware system descriptions ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language ..." | ||
| Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) похожие документы |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
| "... work mathematical models of the crystallization features of a supercooled metastable liquid ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... The paper is addressed to the actual problem of verification of large-scale data models applied ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... , was characterized by generalization of the interaction semantics, models and conformances in use. The necessity ..." | ||
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) похожие документы |
| Г. Н. Циперман | ||
| "... problem in a service-oriented architecture. Stochastic model of information system services identification ..." | ||
| Том 27, № 6 (2015) | Модель проблемно-ориентированной облачной вычислительной среды | Аннотация PDF (Rus) похожие документы |
| Г. И. Радченко | ||
| "... the models of the subject area and problem-oriented cloud computing environment, focused on supporting ..." | ||
| Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) похожие документы |
| М. М. Берновски, Н. Н. Кузюрин | ||
| "... In this paper various models of random graphs describing real networks arising in different ..." | ||
| 1 - 39 из 563 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
