Сортировать по:
| Выпуск | Название | |
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... execution time of parallel program with explicit calls to MPI library, where parallel Java threads could ..." | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... . The library allows developing parallel applications using MPI interface and inside of each process ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... explicit data exchange by Java MPI library and is the part of ParJava IDE. Certain kinds of loops ..." | ||
| Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян, Н. Е. Андреев | ||
| "... Most of developed tools for analysis for various libraries (MPI, OpenMP) and languages for parallel ..." | ||
| Том 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 ..." | ||
| Том 21 (2011) | Экспериментальное исследование параллельного исполнения SQL запросов | Аннотация PDF (Rus) похожие документы |
| К. К. Смирнов, Г. А. Чернышев | ||
| "... В данной работе мы экспериментально изучаем два основных типа параллельного исполнения запросов ..." | ||
| Том 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 ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... as target interpreter layer, we showcase the possibilities of program analysis through automatic execution ..." | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| "... . The PD debugger is written in the Java programming language, intended for debugging programs on Unix ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
| В. А. Платонов, А. В. Монаков | ||
| "... framework for computational fluid dynamics. Asynchronous collective communications from MPI-3 parallel ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... open source projects in C/C++/Java with a total size of more than 14 million lines of code ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... Svace is a static analysis tool for bug detection in C/C++/Java source code. To analyze a program ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... - have their pros and cons. Dynamic analysis can provide best precision on certain program execution ..." | ||
| Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
| И. И. Кулагин, М. Г. Курносов | ||
| "... of execution transactional sections. The efficiency of reducing false conflicts is investigated on the STAMP ..." | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| "... execution time is unacceptably high. Various parallelization methods for software implementations ..." | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| "... . These applications include memory profiling, automated test generation using dynamic symbolic execution and automated ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... of parallelism. Support tools for translation, execution, debugging, optimization and verification of functional ..." | ||
| Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... MPI is a well-proven technology that is widely used in a high-performance computing environment ..." | ||
| Том 34, № 3 (2022) | Реализация распределённых и параллельных вычислений в сети SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... The paper discusses the execution of a program of tasks on the SDN data plane, modeled by a finite ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
| Е. А. Ильченко | ||
| "... the execution of parallel programs on a cluster. We explain in detail the mechanism which abstracts the specific ..." | ||
| Том 35, № 2 (2023) | Параллельные вычисления в задачах восстановления искаженных изображений в пространственно-спектральной форме | Аннотация похожие документы |
| Борис Васильевич КОСТРОВ, Наталья Николаевна ГРИНЧЕНКО, Ангелина Алексеевна ВЬЮГИНА, Светлана Николаевна БАРАНОВА | ||
| "... obtained in the form of execution time values with sequential execution and using parallel calculations ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... on the dataflow analysis (IFDS) or symbolic execution. In this paper, we describe how to implement both approaches ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... - a dynamic data race detection technique which monitors executions of shared memory concurrent programs ..." | ||
| Том 27, № 3 (2015) | Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования | Аннотация PDF (Rus) похожие документы |
| Дарья Егорова, Виктор Жидченко | ||
| "... the tools for creation, validation and execution of parallel programs on cluster systems. The current state ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... for Java applications is given. It is complemented by a detailed description of actual prototype ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... on partial evaluation for a subset of the Java programming language. The specializer has been implemented ..." | ||
| Том 37, № 1 (2025) | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... of testing scenarios is the nondeterministic nature of multithreaded program executions. To provide ..." | ||
| Том 31, № 6 (2019) | Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах | Аннотация PDF (Rus) похожие документы |
| Николай Игоревич Хохлов, Игорь Борисович Петров | ||
| "... processors (GPUs). Comparative results of applying MPI, OpenMP, CUDA technologies are presented. As examples ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... data generation. Techniques of program transformation allowing execution trace extraction, data flow ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... Svace for C++, Java and Kotlin languages. ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... of the saved trees. We have implemented this described representation for Java, Kotlin and Python. The unified ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... Dynamic symbolic execution is a well-known technique for testing applications. It introduces ..." | ||
| 1 - 39 из 270 результатов | 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
