Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... трансформации с использованием языка функционально-потокового параллельного программирования, обеспечивающего ..."
 
Том 30, № 2 (2018) Распараллеливание реализаций сугубо последовательных алгоритмов Аннотация  PDF (Rus)  похожие документы
А. Б. Бугеря, Е. С. Ким, М. А. Соловьев
"... алгоритм является сугубо последовательным, параллельных альтернатив используемому алгоритму нет, а время ..."
 
Том 24 (2013) Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях Аннотация  PDF (Rus)  похожие документы
М. С. Акопян, Н. Е. Андреев
"... В данной статье рассматриваются шаблоны в параллельных программах, приводящие к потере ..."
 
Том 31, № 2 (2019) Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» Аннотация  похожие документы
Андрей Николаевич Черных, Аллел Хаджали
"... распространения контента, мягкие вычисления, модели параллельного программирования для многоядерных машин ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... В статье представлен отладчик параллельных программ, написанных на языкe программирования Си/Си ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
"... компания работает над новым языком программирования. В статье рассматривается подход к реализации OOP в ..."
 
Том 30, № 2 (2018) Преобразование типизированных функций в реляционную форму Аннотация  PDF (Rus)  похожие документы
П. А. Лозов, Д. Ю. Булычев
"... Реляционное программирование является подходом, позволяющим исполнять программы в различных ..."
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... Для анализа больших объемов данных используются такие методы как параллельные СУБД, парадигма ..."
 
Том 21 (2011) Разработка параллельной СУБД на основе PostgreSQL Аннотация  PDF (Rus)  похожие документы
К. С. Пан
"... Данная работа посвящена архитектуре и проектированию параллельной системы управления базами данных ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
"... системных, так и для прикладных задач) языка программирования. ..."
 
Том 26, № 1 (2014) Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин
"... В статье рассмотрена задача управления потоками параллельных программ на группе вычислительных ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... В статье представлен алгоритм параллельного вычисления произвольной функции от мультимножества ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... В работе рассматриваются методы оценки времени выполнения модели параллельной программы на ..."
 
Том 27, № 2 (2015) Использование многопоточных процессов в среде ParJava Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... ) программ. Разработан API и поддерживающая его библиотека, которая позволяет писать параллельные МПМП ..."
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... адаптируемых кросс-систем автоматизации программирования и тестирования для различных типов сложных комплексов ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... программирования, так и языках разметки, DSL-языках, а также с любым структурированным текстом, например ..."
 
Том 31, № 3 (2019) Обзор языков для безопасного программирования смарт-контрактов Аннотация  похожие документы
Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун
"... анализа кода, модели вычислений и семантики языков программирования смарт-контрактов. В этой работе мы ..."
 
Том 28, № 3 (2016) Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Аннотация  PDF (Rus)  похожие документы
Е. А. Ильченко
"... между MathPartner и некоторой супер ЭВМ, который обеспечивает исполнение параллельных программ на ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... программирования Python. Эта библиотека позволяет осуществлять чтение, обработку и визуализацию результатов ..."
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
 
Том 25 (2013) Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов
"... применения параллельных вычислений при проверке выполнимости ограничений, а также при применении ..."
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
 
Том 22 (2012) Перспективы виртуализации высокопроизводительных систем архитектуры x64 Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян
"... запуске параллельных программ в виртуальной среде. Подробно рассматриваются системы виртуализации KVM/QEMU ..."
 
Том 19 (2010) MapReduce: внутри, снаружи или сбоку от параллельных СУБД? Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... подходы, при которых MapReduce реализуется внутри ядра параллельной СУБД, используется в качестве ..."
 
Том 30, № 5 (2018) Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка Аннотация  PDF (Rus)  похожие документы
М. П. Левин
"... характер и удобен для параллельных вычислений. Эффективность подхода проиллюстрирована на решении задач ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... В работе описывается расширение модели параллельной SPMD программы возможностью использования ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... к нескольким постановкам математических задач: линейного программирования, удовлетворения ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Рассматривается задача параллельного вычисления значения функции от мультимножества значений ..."
 
Том 27, № 1 (2015) Обход неизвестного графа коллективом автоматов. Недетерминированный случай Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... задача параллельного и распределённого исследования графов. Эта задача формализуется как задача ..."
 
Том 27, № 1 (2015) Мониторинг динамически меняющегося графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... выполнять его параллельно: по сети одновременно циркулирует не одно, а множество сообщений. В данной работе ..."
 
Том 26, № 2 (2014) Обход неизвестного графа коллективом автоматов Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... другое. Поэтому возникает задача параллельного и распределённого исследования графов. Эта задача ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... моделировании течения крови в отдельном кровеносном сосуде. При построении параллельного алгоритма был применен ..."
 
1 - 40 из 62 результатов 1 2 > >> 

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

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