Preview

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

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

Поиск


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

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

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