Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... parameters. We used our tool to tune GCC parameters for ARM platform, and demonstrated how it can be used ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... ), a well-known software pipelining technique, in the GNU Compiler Collection (GCC) for ARM platform. Prior ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... compiler for x86 and ARM architectures. On ARM, loading the callee address from the GOT at call site ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... library, and resulted in significant performance gain for popular JavaScript benchmarks on ARM platform. ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... ARM is a family of microprocessor instruction set architectures developed in a company ..."
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... instrumentation for ELF executable and shared library files specifically targeting the ARM architecture. We ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
 
Том 18 (2010) Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина
"... архитектур для среды TrEx на основе языка описания процессорных архитектур. Проанализированы достоинства и ..."
 
Том 25 (2013) Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской, С. В. Сыромятников
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... представлен краткий обзор популярных поведенческих архитектур для построения сложных систем управления ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... Представлена архитектура, интерфейсы и форматы входных и выходных данных платформы, реализованные ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
 
Том 32, № 2 (2020) Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» Аннотация  похожие документы
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ
"... , специализированного на моделировании микропроцессоров архитектуры «Эльбрус». В статье дано описание общей структуры ..."
 
Том 32, № 3 (2020) Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» Аннотация  похожие документы
Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... машинного кода (MicroTESK) и SMT-решатель (СVC4). Модульная архитектура позволяет заменять один компонент ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... требований к информационной системе в сервис-ориентированной архитектуре. Для этого предлагается ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..."
 
Том 30, № 6 (2018) О представлении модельного времени при помощи механизмов функционального программирования Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... системных и функциональных сервисов. Рассмотрены модели сервисной, сервисно-компонентной архитектур и ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
"... памяти микропроцессоров архитектуры MIPS64. ..."
 
Том 19 (2010) Год эпохи перемен в технологии баз данных Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... утверждали о необходимости радикального пересмотра архитектур СУБД. Эти утверждения подтверждались ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической ..."
 
1 - 23 из 23 результатов

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

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