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