Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 диссертация)