Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 6 (2018) О представлении модельного времени при помощи механизмов функционального программирования Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов
"... Функциональное программирования играет все большую роль в современном компьютеризированном мире ..."
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... Реляционное программирование является подходом, позволяющим исполнять программы в различных ..."
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
"... по-другому. Применение разработанной авторами библиотеки функционального программирования позволяет скрыть ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... и трансформации с использованием языка функционально-потокового параллельного программирования, обеспечивающего ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... Принято считать, что объектно-ориентированные (ОО) языки программирования обеспечивают более слабую ..."
 
Том 33, № 6 (2021) Моделирование операционных, программных и технических систем в проектах РФФИ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО
"... of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... of the framework allows to implement the necessary functional for project planning in the target system as well ..."
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... to use a nanosatellite simulation model for operational debugging and testing of the software package ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... соотношениях и дифференциальных уравнениях. Платформа была разработана с использованием языка программирования ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... , не обладающими серьезными навыками программирования; (2) они должны быть применимы для широкого спектра ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... программирования Python. Эта библиотека позволяет осуществлять чтение, обработку и визуализацию результатов ..."
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... программирования для функционально потокового синтеза проектных решений. При реализации метода выделены задачи ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... программирования C++; программирование тестируемого устройства и тестового окружения осуществляется с помощью ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... параллельного программирования, как Intel® Cilk™ Plus, Intel® Threading Building Blocks и OpenMP. ..."
 
Том 38, № 3: часть 4. май-июнь Обзор языковых виртуальных машин и подходов к их тестированию Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... Языковые виртуальные машины (ВМ) обычно используются в инфраструктуре систем программирования для ..."
 
Том 37, № 1: январь-февраль Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... В настоящее время большой популярностью пользуются языки программирования, использующие в своей ..."
 
Том 35, № 5 (2023) Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... программирования OpenMP, поэтому вычислительные эксперименты проводятся только на системах с общей памятью ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... описываются в языках программирования (ЯП), интерфейсы в языках IDL и WSDL, а сервисные компоненты создаются ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... система разрабатывается в институте системного программирования РАН, и следующим шагом в ее разработке ..."
 
1 - 20 из 20 результатов

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

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