Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 6 (2022) Система метрик для языков программирования Аннотация  похожие документы
Тимур Расимович ФАЙЗРАХМАНОВ
"... We introduce possibly the first approximation of programming language metrics that represent ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... This paper describes the static analysis tool for finding program entities, their metrics ..."
 
Том 37, № 3 (2025) BERTScore для русского языка Аннотация  PDF (Rus)  похожие документы
Елена Павловна БРУЧЕС, Дари Тимуровна БАТУРОВА, Иван Юрьевич БОНДАРЕНКО
"... in Russian, which are used in the BERTScore metric. This metric is used to assess the quality of generated ..."
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... The article presents type inference for programs written in Python programming language. At first ..."
 
Том 35, № 6 (2023) Оценки сложности программного обеспечения на основе косвенных связей Аннотация  PDF (Rus)  похожие документы
Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС
"... of effort. Developers are often tasked with completing programming tasks or making modifications to existing ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... The paper gives a brief overview of existing approaches to inheritance in programming languages ..."
 
Том 35, № 6 (2023) Язык программирования для обучения технологиям компиляции и трансформации Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич НЕДОРЯ
"... the criteria for choosing a programming language for practical work as a target language, gives a brief ..."
 
Том 33, № 6 (2021) Kotlin с точки зрения разработчика статического анализатора Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... The paper describes a static analysis for finding defects and computing metrics for programs ..."
 
Том 36, № 2 (2024) TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт Аннотация  похожие документы
Артём Дмитриевич БЕЛОУСОВ
"... Domain-specific languages power numerous modern applications and libraries, including ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
"... devices the company is working on a new programming language. The principal feature of the new language ..."
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... educational robotic programming tools (commonly these tools provide languages which are based on control flow ..."
 
Том 31, № 3 (2019) Обзор языков для безопасного программирования смарт-контрактов Аннотация  похожие документы
Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун
"... languages. In this paper, we provide an overview of smart contract programming languages design principles ..."
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... measurement metrics. Application of goal-question-metric (GQM) approach in the quality model helps to choose ..."
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
"... In comparison with Haskell type classes and C++ concepts, such object-oriented languages as C ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... processing in natural language. The use of associations allow to abstract from the direct meaning of a word ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... We describe the usage of programming language constraints to achieve program security ..."
 
Том 37, № 1 (2025) Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ
"... describes a developed technique for finding vulnerabilities in software written in several programming ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... the idea of generative programming, when the expressive power of high-level C++ language is used to compose ..."
 
Том 37, № 3 (2025) Анализ и разработка методов очищения для защит метрик качества изображений Аннотация  PDF (Rus)  похожие документы
Александр Евгеньевич ГУЩИН, Анастасия Всеволодовна АНЦИФЕРОВА, Дмитрий Сергеевич ВАТОЛИН
"... Recently, the area of adversarial attacks on image quality metrics has begun to be explored ..."
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... be topology-aware to reduce network congestion. In this paper the Hop-Byte metric for the case of "fat tree ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... complexity metrics for test applications were calculated to estimate obfuscation resilience provided ..."
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... implemented in Svace works well for the Java programming language with the adaptations described in the paper. ..."
 
Том 31, № 5 (2019) Применение i-векторов для автоматизированного определения уровня близости языков Аннотация  PDF (Rus)  похожие документы
Анс-Атаол Улдович Берзинь
"... to be used for detection of a distance between languages; 2) the best metrics for such tasks are Euclidean ..."
 
Том 33, № 3 (2021) Локализованное применение частичной типизации Аннотация  похожие документы
Виктор Сергеевич КРЫШТАПОВИЧ
"... for Lama programming language that supports gradual typing with explicit annotation of dangerous parts ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
"... compiled programming language, and such a language might be equally suitable both for system programming ..."
 
Том 36, № 5 (2024) Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... Relational programming is an approach that allows you to execute programs in different "directions ..."
 
Том 32, № 4 (2020) Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров Аннотация  PDF (Rus)  похожие документы
Николай Павлович ХРАПОВ
"... , criteria and metrics for evaluating the quality of the algorithm are introduced. The content of the article ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary ..."
 
Том 24 (2013) Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... Framework – an aspect-oriented programming implementation for the C programming language. The latter allowed ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... program, the technique of instrumentation code in language C ++. The article gives examples of algorithms ..."
 
Том 33, № 6 (2021) Технический долг в жизненном цикле разработки ПО: запахи кода Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ
"... . We highlight strengths and weaknesses of the approach based on metrics computation and threshold ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... to use natural languages for queries and perform matching on the basis of a formal program representation ..."
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... programming language as functions with one argument (an object to be checked), Boolean result, and special ..."
 
Том 23 (2012) Тематическое моделирование текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Антон Коршунов, Андрей Гомзин
"... metrics: perplexity and topic coherence. Freely available implementations are listed as well. ..."
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
"... In the report the optimization of image similarity metric computation method for three dimensional ..."
 
Том 35, № 5 (2023) Применение физически-обоснованной нейронной сети на примере моделирования гидродинамических процессов, допускающих аналитическое решение Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Сергей Владимирович СТРИЖАК
"... of program code in the Python programming language are discussed.  The PINN model is tested on a test sample ..."
 
1 - 39 из 429 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)