Сортировать по:
| Выпуск | Название | |
| Том 31, № 3 (2019) | Обзор языков для безопасного программирования смарт-контрактов | Аннотация похожие документы |
| Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун | ||
| "... in FinTech. As a result, a lot of blockchain platforms have emerged with the support of smart contracts ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... properties of Ethereum smart contracts against its formal specification that can be given using four ..." | ||
| Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация похожие документы |
| А. А. Андрюхин | ||
| "... Field of study: Blockchain technology, decentralized autonomous organizations, smart contract ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... , evaluate types of input and output variables and use this information to derive implicit type contracts ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... scheme from temporal specifications to contract-equipped object-oriented programs, expressed in Eiffel ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... . Possible behavior was classified and corresponding language for describing contracts developed. Evaluation ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... ; in other words, the program of the C2-machine defines the operational contract of the protocol ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| "... with smart type inference support and the ability to ensure dynamic type safety as well. The key element ..." | ||
| Том 35, № 1 (2023) | Разработка адаптируемой информационной панели для умных городов | Аннотация похожие документы |
| Виктор КОНТРЕРАС-ФИГЕРОА, Луис Херардо МОНТАНЕ-ХИМЕНЕС, Мария СЕПЕРО-ГАРСИА, Эдгар БЕНИТЕС-ГЕРРЕРО, Кармен МЕЗУРА-ГОДОЙ | ||
| "... Today there are smart cities that, through the use of information technologies, sensors ..." | ||
| Том 33, № 2 (2021) | Стратегии управлении спросом в умных сетях электроснабжения для центров данных | Аннотация PDF (Rus) похожие документы |
| Джонатан МУРАНЬЯ-СИЛЬВЕРА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС, Сантьяго Дамиан ИТУРРИАГА-ФАБРА, Себастьян МОНТЕС ДЕ ОКА, Гонсало БЕЛКРЕДИ, Пабло Ариэль МОНЗОН-РАНГЕЛОФФ, Владимир Дмитриевич ШЕПЕЛЁВ, Андрей Николаевич ЧЕРНЫХ | ||
| "... This article presents demand response techniques for the participation of datacenters in smart ..." | ||
| Том 36, № 5 (2024) | Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников | Аннотация PDF (Rus) похожие документы |
| Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ | ||
| "... software for on-board computing devices and “smart” payloads. The development of an open software package ..." | ||
| Том 28, № 6 (2016) | Применение облачных вычислений для анализа данных большого объема в умных городах | Аннотация PDF (Rus) похожие документы |
| Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко | ||
| "... In this paper, we present a Big Data analysis paradigm related to smart cities using cloud ..." | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация похожие документы |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| "... The field of vision-based human event recognition in smart environments has emerged as a thriving ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) похожие документы |
| Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
| "... the «smart house» allows to save thermal energy significantly. Mathematical modeling was carried out by means ..." | ||
| Том 36, № 2 (2024) | Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей | Аннотация похожие документы |
| Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА | ||
| "... by introducing an intermediate layer – a smart mediator that will be responsible for communication between ..." | ||
| Том 37, № 3 (2025) | BERTScore для русского языка | Аннотация PDF (Rus) похожие документы |
| Елена Павловна БРУЧЕС, Дари Тимуровна БАТУРОВА, Иван Юрьевич БОНДАРЕНКО | ||
| "... текстов на русском языке, которые используются в метрике BERTScore. Эта метрика используется для оценки ..." | ||
| Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
| Заяна Игоревна ЧУШКАЕВА | ||
| "... Монгольские языки – языковая семья, включающая в себя несколько близкородственных языков Монголии ..." | ||
| Том 37, № 3 (2025) | Экстрактивная суммаризация с использованием скрытой структуры | Аннотация похожие документы |
| Павел Александрович ТИХОНОВ, Анастасия ЯНИНА, Валентин Андреевич МАЛЫХ | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... В статье рассматриваются перспективы исследования татарского языка на платформе LingvoDoc ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
| Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) похожие документы |
| Алиса Васильевна ЕСИПОВА | ||
| "... нормированного младописьменного шорского языка – письменного варианта кондомского (шорского) наречия. В корпусе ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... Jolie - язык программирования для разработки микросервисов и на текущий момент является динамически ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... Мы представляем, возможно, первое приближение метрик языков программирования, которые представляют ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В работе описывается статический анализатор для поиска ошибок в программах на языке Scala ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... В связи с увеличением количества платформ, языков и методов, использующихся в разработке мобильных ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... Предметно-ориентированные языки используются во многих современных приложениях и программных ..." | ||
| Том 31, № 5 (2019) | Применение i-векторов для автоматизированного определения уровня близости языков | Аннотация PDF (Rus) похожие документы |
| Анс-Атаол Улдович Берзинь | ||
| "... задания расстояния между языками. В качестве входных данных используются фонограммы спонтанной речи ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... verification tools which needs contract specifications describing formally obligations of a kernel and modules ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... Визуальные предметно-ориентированные языки зачастую имеют низкий порог вхождения: даже ученики школ ..." | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) похожие документы |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| "... сложности распознавания рукописного текста на русском языке является недостаточное количество данных ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... В статье описывается статический анализ для языков с обработкой исключений. В данной работе ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... , программируемые на предметно-ориентированных языках. Популярность набирает подход compiler-in-the-loop ..." | ||
| Том 27, № 6 (2015) | Методы предварительной оптимизации программ на языке JavaScript | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Евгений Шарыгин | ||
| "... Современные виртуальные машины для языка JavaScript используют многоуровневую компиляцию во время ..." | ||
| 1 - 39 из 343 результатов | 1 2 3 4 5 6 7 8 9 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
