Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..."
 
Том 30, № 4 (2018) Библиотека программирования гетерогенных архитектур Аннотация  похожие документы
Г. В. Киргизов, Я. А. Кириленко
"... presents a C-like metaprogramming DSL and a library that provides a unified interface for programming ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... programming (GP) as compared with functional languages such as Haskell or SML. There were several comparative ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
"... compiled programming language, and such a language might be equally suitable both for system programming ..."
 
Том 27, № 3 (2015) Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Аннотация  PDF (Rus)  похожие документы
Дарья Егорова, Виктор Жидченко
"... In this paper we present the visual approach to parallel programming provided by Graph-Symbolic ..."
 
Том 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 ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... of the framework allows to implement the necessary functional for project planning in the target system as well ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... The paper gives a brief overview of existing approaches to inheritance in programming languages ..."
 
Том 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 ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... continuous simulation. The software framework incorporates application programming interface as well ..."
 
Том 30, № 2 (2018) Распараллеливание реализаций сугубо последовательных алгоритмов Аннотация  PDF (Rus)  похожие документы
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... . We suggest using aspect-oriented programming for querying source code and consider advantages ..."
 
Том 30, № 6 (2018) Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 Аннотация  PDF (Rus)  похожие документы
А. М. Водовозов, Д. С. Полетаев
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... , and implementation of adaptive cross systems for automating of programming and testing for various types ..."
 
Том 26, № 2 (2014) Обзор методов упрощения полигональных моделей на графическом процессоре Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... . This survey covers algorithms on GPU. They are based on either shader programming or general purpose computing ..."
 
Том 19 (2010) Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, О. В. Сидяка
"... -based programming applications are discussed. Comparative analysis of known algorithms is given and new ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... We describe the usage of programming language constraints to achieve program security ..."
 
Том 18 (2010) Система моделирования Grid: реализация и возможности применения Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, А. И. Поспелов
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... Test program generation and simulation is the most widely used approach to functional verification ..."
 
Том 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 ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
"... programming use low level approaches to analyze the performance of parallel applications. There are a lot ..."
 
Том 31, № 2 (2019) Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP Аннотация  PDF (Rus)  похожие документы
Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас
"... The Multi-Bulk Synchronous Parallel (Multi-BSP) model is a recently proposed parallel programming ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... In this paper authors presents “mmdlab” library for the interpreted programming language Python ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
"... # and Java provide much limited mechanisms of generic programming based on F-bounded polymorphism. Main ..."
 
Том 19 (2010) Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма Аннотация  PDF (Rus)  похожие документы
С. А. Мартишин, М. В. Храпченко
"... of modified Nelder–Mead method, genetic and linear programming algorithms for strip packing problem ..."
 
Том 22 (2012) Использование стандарта OpenCL для программирования ПЛИС Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Меркулов, Владимир Платонов
"... We suggest using OpenCL standard for programming FPGA devices that are used as accelerators ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
 
Том 30, № 5 (2018) Метод анализа атак повторного использования кода Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
"... incidents. Code-reuse attacks based on return-oriented programming are gaining more and more popularity each ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... and, possibly, a specific imitator of an external device. Different devices with one programming interface can ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... regridding when domain shape changes in the simulation process due to hydroelastic body motion. The LS-STAG ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... independency. The model supports different programming, mark-up, DSL-languages and any structured text ..."
 
Том 20 (2011) Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции Аннотация  PDF (Rus)  похожие документы
А. C. Камкин, М. M. Чупилко
 
1 - 40 из 220 результатов 1 2 3 4 5 6 > >> 

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

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