Сортировать по:
Выпуск | Название | |
Том 37, № 3 (2025) | SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа | Аннотация PDF (Rus) похожие документы |
Андрей Сергеевич ЧЕТВЕРГОВ, Ринат Саярович ШАРАФЕТДИНОВ, Марина Михайловна ПОЛУКОШКО, Вадим Аксанович АХМЕТОВ, Наталия Андреевна ОРУЖЕЙНИКОВА, Егор Сергеевич АНИЧКОВ, Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Сергей Владимирович БОЛОВЦОВ, Павел Евгеньевич ГОЛОСОВ | ||
"... . To overcome the problem of incompleteness of sensitive assessments, we have developed the SLAVA benchmark ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
"... a specific benchmark for measuring the parameters that characterize the communication and synchronization ..." | ||
Том 36, № 6 (2024) | Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? | Аннотация похожие документы |
Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО | ||
"... , a large language model (LLM). To determine whether ChatGPT can perform COSMIC measurements, we discovered ..." | ||
Том 29, № 1 (2017) | Обзор состояния области потоковой обработки данных | Аннотация PDF (Rus) похожие документы |
Р. С. Самарев | ||
"... are criteria of selections, hidden aspects of functioning, existing benchmarks for big data and streaming ..." | ||
Том 37, № 1 (2025) | Использование технологий искусственного интеллекта для проведения психологического тестирования | Аннотация PDF (Rus) похожие документы |
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН | ||
Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
"... compare existing open source tools and propose a testing system rop-benchmark that can be used to verify ..." | ||
Том 27, № 6 (2015) | Подходы к оптимизации движка JavaScript V8 | Аннотация PDF (Rus) похожие документы |
Дмитрий Бочарников | ||
"... to 10% on major benchmark suites. ..." | ||
Том 37, № 3 (2025) | Расширенная классификация текста с помощью модели DistilBERT с адаптацией низкого ранга LoRa: сравнительное исследование | Аннотация похожие документы |
Брис Дональд АБОДО ЭЛУНДУ, Ван ЦЮАНЬЮЙ | ||
"... Language Models (LLM), 1D Convolutional Layer (Conv1D), and Feed-Forward Networks (FFN), we aim to extract ..." | ||
Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
"... in the field, particularly in the integration of large language models (LLMs) with program synthesis techniques ..." | ||
Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
"... library, and resulted in significant performance gain for popular JavaScript benchmarks on ARM platform. ..." | ||
Том 27, № 6 (2015) | Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM | Аннотация PDF (Rus) похожие документы |
К. Ю. Долгорукова | ||
"... was implemented and tested on SPEC CPU2000 benchmark suite [2]. ..." | ||
Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
И. И. Кулагин, М. Г. Курносов | ||
"... benchmarks. ..." | ||
Том 21 (2011) | Поддержка команд с условным выполнением в селективном планировщике команд | Аннотация PDF (Rus) похожие документы |
Дмитрий Мельник, Александр Монаков | ||
"... of SPEC CPU2000 benchmark. ..." | ||
Том 24 (2013) | Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян | ||
"... scheduling on the performance of NASA Advanced Supercomputing Parallel Benchmarks. Results of 10 of 11 ..." | ||
Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
"... Challenge and NASA Advanced Supercomputing Parallel Benchmarks packages as a test suite. All tests ..." | ||
Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
"... . In this paper, we use the NAS Parallel Benchmarks to evaluate the performance of generated programs and provide ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... verification times on the industrial size benchmarks containing device drivers of Linux operating system. ..." | ||
Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
"... evaluate accuracy of the application-level cycle-accurate simulator on the SPEC CPU2006 benchmark ..." | ||
Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
И. А. Дудина | ||
"... , Toyota ITC benchmark) and set of buggy code snippets extracted from real applications to define types ..." | ||
Том 36, № 4 (2024) | Генерация временных рядов с пространственными взаимосвязями | Аннотация похожие документы |
Алена Михайловна КРОПАЧЕВА, Дмитрий Викторович ГИРДЮК, Илларион Лаврентьевич ИОВ, Антон Юрьевич ПЕРШИН | ||
"... , the development of such methods is hindered by the lack of open benchmark datasets in this research domain ..." | ||
Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
"... tool. The proposed approach was applied to several open source HDL benchmarks like Texas-97, Verilog2 ..." | ||
Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
"... -known benchmark, the Tokeneer problem. The tool is used to verify parts of the implementation ..." | ||
Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
Александр Викторович СУРЧЕНКО | ||
"... 2000 benchmark suite. They show that by using hardware data compression 38,0% of all data packets were ..." | ||
Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
"... CPU2006 benchmark performance by factor of 1.41 at the cost of 12% increase of compile time and 7 ..." | ||
Том 24 (2013) | Разработка и реализация облачной системы для решения высокопроизводительных задач | Аннотация PDF (Rus) похожие документы |
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин | ||
"... standard benchmarks when using up to 1024 processor cores. We deem this overhead level as acceptable ..." | ||
Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
В. В. Пузикова | ||
"... equations are solved. Applications to popular benchmarks for viscoelastic flows with stationary boundaries ..." | ||
Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
"... requirements. In order to evaluate the method, benchmark sets are proposed and investigated. Advantages ..." | ||
Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
"... performance gains on the JavaScript benchmark suites when compiling hot functions. ..." | ||
Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
К. Ю. Долгорукова, С. В. Аришин | ||
"... other methods on SPEC CPU2000 benchmark and implementation of the algorithm in scalable LLVM-based LTO ..." | ||
Том 35, № 3 (2023) | Уточнение предикатной абстракции при раздельном анализе потоков | Аннотация похожие документы |
Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ | ||
"... on standard SV-COMP benchmark set, and the results show some benefit. Evaluation on the real-world software ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... regions, distribution of loop iterations, etc. We tested our implementation on a set of micro-benchmarks ..." | ||
1 - 32 из 32 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)