Сортировать по:
| Выпуск | Название | |
| Том 30, № 6 (2018) | О представлении модельного времени при помощи механизмов функционального программирования | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов | ||
| "... Functional programming plays the big role in the modern computer science and its importance ..." | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| "... Relational programming is an approach that allows you to execute programs in different "directions ..." | ||
| Том 33, № 5 (2021) | Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA | Аннотация похожие документы |
| Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА | ||
| "... to the compiler. For CUDA, parallelization is done in a completely different way. The use of the functional ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... presents a C-like metaprogramming DSL and a library that provides a unified interface for programming ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... We introduce possibly the first approximation of programming language metrics that represent ..." | ||
| Том 27, № 3 (2015) | Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования | Аннотация PDF (Rus) похожие документы |
| Дарья Егорова, Виктор Жидченко | ||
| "... In this paper we present the visual approach to parallel programming provided by Graph-Symbolic ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within ..." | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| "... compiled programming language, and such a language might be equally suitable both for system programming ..." | ||
| Том 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 ..." | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| "... The paper gives a brief overview of existing approaches to inheritance in programming languages ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... of the framework allows to implement the necessary functional for project planning in the target system as well ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... robotics domain, where most commonly used programming environments are visual. The paper describes a novel ..." | ||
| Том 31, № 3 (2019) | Обзор языков для безопасного программирования смарт-контрактов | Аннотация похожие документы |
| Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун | ||
| "... contracts safer that included analysis tools, reasoning models, and safer and more rigorous programming ..." | ||
| Том 36, № 5 (2024) | Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников | Аннотация PDF (Rus) похожие документы |
| Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ | ||
| "... to use a nanosatellite simulation model for operational debugging and testing of the software package ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... ). The proposed solution is not a general-purpose programming technology, but specializes in specific tasks ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... Programming of RAS. TQL implementation, discussed in this article, supports error-recovery, can be run ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| "... the criteria for choosing a programming language for practical work as a target language, gives a brief ..." | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| "... continuous simulation. The software framework incorporates application programming interface as well ..." | ||
| Том 26, № 2 (2014) | Обзор методов упрощения полигональных моделей на графическом процессоре | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... . This survey covers algorithms on GPU. They are based on either shader programming or general purpose computing ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| "... , object-oriented, functional, and concurrent programming paradigms relying on static type checking ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... . We suggest using aspect-oriented programming for querying source code and consider advantages ..." | ||
| Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) похожие документы |
| А. М. Водовозов, Д. С. Полетаев | ||
| Том 30, № 2 (2018) | Распараллеливание реализаций сугубо последовательных алгоритмов | Аннотация PDF (Rus) похожие документы |
| А. Б. Бугеря, Е. С. Ким, М. А. Соловьев | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| Том 36, № 4 (2024) | Идентификация термокарстовых объектов по спутниковым графическим данным с помощью нейронной сети | Аннотация PDF (Rus) похожие документы |
| Василий Васильевич ЖЕБСАИН, Айаал Федорович ПОСЕЛЬСКИЙ | ||
| Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... , and implementation of adaptive cross systems for automating of programming and testing for various types ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| Том 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 ..." | ||
| Том 33, № 2 (2021) | Решение проблемы обеспечения качества дерева многоадресной рассылки услуг | Аннотация PDF (Rus) похожие документы |
| Клаудио Энрике РИССО-МОНТАЛЬДО, Франко Рафаэль РОБЛЕДО-АМОЗА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС | ||
| "... This article presents a flow-based mixed integer programming formulation for the Quality ..." | ||
| Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, О. В. Сидяка | ||
| "... -based programming applications are discussed. Comparative analysis of known algorithms is given and new ..." | ||
| Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, А. И. Поспелов | ||
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... consists of a user API documentation while we need to identify functional requirements and build test suite ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Test program generation and simulation is the most widely used approach to functional verification ..." | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| "... The Multi-Bulk Synchronous Parallel (Multi-BSP) model is a recently proposed parallel programming ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... there are too many programming interfaces in the kernel and they are not stable. The given paper suggests a new ..." | ||
| 1 - 39 из 338 результатов | 1 2 3 4 5 6 7 8 9 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
