Программирование (РАН) №1 2016 (458,50 руб.)

Стр.1

Стр.2

СОДЕРЖАНИЕ Номер 1, 2016 ПАМЯТИ ЛЬВА НИКОЛАЕВИЧА КОРОЛЕВА ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА Исследования в теории алгебраических моделей программ с процедурами Р.И. Подловченко О производительности и интеллектуальности суперкомпьютерного моделирования В.П. Ильин, И.Н. Скопин ОПЕРАЦИОННЫЕ СИСТЕМЫ Методы управления ресурсами в проблемно-ориентированных вычислительных средах Л.Б. Соколинский, А.В. Шамакина Методы оценки времени выполнения в системах реального времени В.П. Козырев ЯЗЫКИ, КОМПИЛЯТОРЫ И СИСТЕМЫ ПРОГРАММИРОВАНИЯ Повышение производительности кода при однофазной компиляции О.А. Четверина АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В 2015 ГОДУ 26 39 _________________________________________________________________________________ 10 _________________________________________________________________________________ 5 3 _________________________________________________________________________________ 51 _________________________________________________________________________________ 60 _________________________________________________________________________________

Стр.1

CONTENTS No. 1, 2016 THE MEMORY OF LEV NIKOLAEVICH KOROLEV THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS Studies in the Theory of Algebraic Models of Programs with Procedures R. I. Podlovchenko About Performance and Intellectuality of Supercomputer Modeling V. P. Il’in and I. N. Skopin OPERATING SYSTEMS Methods of Resource Management in Problem-oriented Computing Environment L. B. Sokolinsky and A. V. Shamakina Estimation of the Execution Time in Real-Time Systems V. P. Kozyrev 3 _________________________________________________________________________________ 5 10 _________________________________________________________________________________ 26 39 _________________________________________________________________________________ PROGRAMMING LANGUAGES, COMPILERS, AND INTEGRATED DEVELOPMENT ENVIRONMENT Alternatives of Profile-Guided Code Optimizations for One-Stage Compilation O. A. Chetverina 51 _________________________________________________________________________________ AUTHOR INDEX OF ARTICLES PUBLISHED IN 2015 _________________________________________________________________________________ 60 _________________________________________________________________________________ Подписано к печати 25.01.2016 Печать цифровая Усл.печ.л. 7,75 Тираж 113 экз. Формат 60 x 88 ⅛ Усл.кр.-отт. 0,9 тыс. Дата выхода в свет 25.02.2015 Уч.-изд.л. 7,8 Бум.л. 3,9 Зак. 976 Цена свободная __________________________________________________________________________________________________ Учредитель: Российская академия наук __________________________________________________________________________________________________ Издатель: ФГУП «Академиздатцентр «Наука», 117997 Москва, Профсоюзная ул., 90 Отпечатано во ФГУП «Академиздатцентр «Наука» (Типография «Наука») 121099 Москва, Шубинский пер., 6

Стр.2