Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 28, выпуск 1, 2016, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Скачать полный выпуск
PDF


Содержание

Варданян В.Г. Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Стр. 5-20.

В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов Инфраструктура статического анализа программ на языке C# Стр. 21-40.

А.В. Дергачёв, А.В. Сидорин Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Стр. 41-62.

Е.А. Кудряшов, Д.М. Мельник, А.В. Монаков Оптимизация динамической загрузки библиотек на архитектуре ARM Стр. 63-80.

В.А. Платонов, А.В. Монаков Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Стр. 81-92.

Е.В. Пальчевский, А.Р. Халиков Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Стр. 93-102.

И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов с буферизацией сообщений Стр. 103-130.

И.Б. Бурдонов, А.С. Косачев Система автоматов: композиция по графу связей Стр. 131-150.

И.Б. Бурдонов, А.С. Косачев Система автоматов: условия детерминизма и тестирование Стр. 151-184.

А.А. Цынаева, М.Н. Никитин Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Стр. 185-196.

А.И. Ряховский, А.А. Шмидт Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Стр. 197-206.

Н.Ф. Димитриева, Ю.Д Чашечкин Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Стр. 207-220.

В.В. Пузикова Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Стр. 221-242.

Е.В. Давыдова, В.Н. Корчагова Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Стр. 243-258.

К.С. Кузьмина, И.К. Марчевский Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Стр. 259-274.

М. Провидухина, И. Сибгатуллин Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Стр. 275-282.

Вернуться к списку всех томов