Сортировать по:
| Выпуск | Название | |
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... dataflow visual programming environment for embedded robotic platforms. Obviously, complex dataflow ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... style errors, violations of project guidelines of using specific libraries or language features ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... The language-oriented approach is becoming more and more popular in the development of information ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... программ на языках Си и Си++. Цель Svace - найти как можно больше ошибок при низком количестве ложных ..." | ||
| Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
| А. А. Гудошникова, Ю. В. Литвинов | ||
| "... in a domain. Then we suggest to generate metamodel of the domain-specific visual language, based on feature ..." | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| "... . The paper introduces the concept of DFCIR (DataFlow Computer Intermediate Representation), а language ..." | ||
| Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
| Заяна Игоревна ЧУШКАЕВА | ||
| "... The Mongolian languages are a language family that includes several closely related languages ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... We introduce possibly the first approximation of programming language metrics that represent ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... The article presents type inference for programs written in Python programming language. At first ..." | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... the user requirements. Visual languages are usually based on graph models, but the graph types used have ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| "... the criteria for choosing a programming language for practical work as a target language, gives a brief ..." | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... The article discusses research perspectives on the Tatar language based on the LingvoDoc platform ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... Domain-specific languages power numerous modern applications and libraries, including ..." | ||
| Том 31, № 5 (2019) | Применение i-векторов для автоматизированного определения уровня близости языков | Аннотация PDF (Rus) похожие документы |
| Анс-Атаол Улдович Берзинь | ||
| "... methods to define a kind of a distance between languages (in a wide sense of the word – including dialects ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... This paper describes static analysis for the languages with exception handling. A low level ..." | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| "... The paper gives a brief overview of existing approaches to inheritance in programming languages ..." | ||
| Том 23 (2012) | Тематическое моделирование текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Андрей Гомзин | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... The paper presents an approach to specify constraints on AADL models in Python-based language ..." | ||
| Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) похожие документы |
| Алиса Васильевна ЕСИПОВА | ||
| "... located at lingvodoc.ispras.ru. The books are samples of a weakly normalized young–written Shor language ..." | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... It is generally considered that object-oriented (OO) languages provide weaker support for generic ..." | ||
| Том 31, № 3 (2019) | Обзор языков для безопасного программирования смарт-контрактов | Аннотация похожие документы |
| Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун | ||
| "... languages. In this paper, we provide an overview of smart contract programming languages design principles ..." | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... contained in the RFC documents. This paper proposes a formal language for primary specifications ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..." | ||
| Том 35, № 2 (2023) | Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ | ||
| "... В статье рассматриваются особенности поддержки сценариев на языке Python в активно развивающейся ..." | ||
| Том 35, № 6 (2023) | Использование цифровых методов для выделения структурно-территориальных единиц центрально-южного диалекта удмуртского языка на основе анализа полевых записей | Аннотация PDF (Rus) похожие документы |
| Александра Филипповна УТКИНА | ||
| "... of the colloquial language were collected. The vocabulary of which is still used in everyday life. At the present ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... specifications expressed in natural language. The research problem centers on the complexity of automatically ..." | ||
| Том 37, № 3 (2025) | Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход) | Аннотация PDF (Rus) похожие документы |
| Сергей Васильевич КОВЫЛИН | ||
| "... platform “Lingvodoc” and in personal archives (Fieldworks Language Explorer files), as well as general ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... effort. Test program templates are developed in special domain-specific languages. These languages must ..." | ||
| Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) похожие документы |
| Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
| "... language. Many methods exist for the vector representation of words, including methods of neural networks ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| "... The paper provides an overview of the first impression of the language for implementation low code ..." | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... The article describes a way to implement syntax analysis for C/C++ languages which allows to reduce ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... The article describes a way of implementing static code analysis for C/C++ languages that allows ..." | ||
| Том 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 ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... of computability of fields. The paper also presents a domain-specific language for data format specification ..." | ||
| Том 37, № 2 (2025) | Названия украшений в тюркских и финно-угорских языках Урало-Поволжья | Аннотация PDF (Rus) похожие документы |
| Римма Талгатовна МУРАТОВА | ||
| "... The article considers the names of jewelry in the Turkic and Finno-Ugric languages of the Ural ..." | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... The language FlexT (Flexible Types) is intended for specification of binary data formats ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| 1 - 39 из 370 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
