RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Смелянский Руслан Леонидович

В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2
Цитированных статей: 1
Ссылок в Math-Net.Ru: 1

Статистика просмотров:
Эта страница:1410
Страницы публикаций:373
Полные тексты:149
Списки литературы:35
член-корреспондент РАН
профессор
доктор физико-математических наук (1990)

Основные темы научной работы

Архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем, системы реального времени.

Научная биография:

Окончил среднюю школу № 70 г. Москвы (1968). В 1968–1970 гг. находился на действительной военной службе. После демобилизации был принят на работу в Главный Вычислительный Центр Госплана СССР, где трудился в 1970–1972 гг. в должностях от техника до старшего инженера. В 1972 г. поступил на факультет вычислительной математики и кибернетики МГУ, который окончил с отличием по кафедре автоматизации систем вычислительных комплексов (1977). В 1977–1980 гг. обучался в аспирантуре факультета ВМиК. Кандидат физико-математических наук (1980), тема диссертации: "Многоаспектная фильтрация программ" (научный руководитель Л. Н. Королев). Доктор физико-математических наук (1990), тема диссертации: "Анализ производительности многопроцессорных систем на основе инварианта поведения программ". Ученое звание — профессор (1992). Заслуженный деятель науки Российской Федерации (2002). Действительный член РАЕН (2001), член международных профессиональных ассоциаций Computer Society, ACM (с 1994).

Работает в МГУ с 1980 г. в должностях ассистента (1980–1987), доцента (1987–1991), профессора (с 1991) кафедры АСВК факультета вычислительной математики и кибернетики.

Подготовил 12 кандидатов наук. Автор более 140 научных работ.

   
Основные публикации:
  • Модель функционирования распределенных вычислительных систем // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 3, c. 3–21.
  • Об инварианте поведения программ // Вестн. Моск. ун-та, сер. 15: Вычисл. матем. и киберн., 1990, № 4, c. 54–60.
  • DYANA: An Evironment for Embedded System Design and Analysis // Proc. of 5-th International Conference TACAS'99, Amsterdam, Netherlands, March 22–28, 1999, Springer (LNCS v. 1579), pp. 390–404 (соавт. Bakhmurov A., Kapitonova A.).
  • Метод и средства оценки времени выполнения оптимизированных программ // Программирование, 1999, № 5, c. 52–61 (соавт. Балашов В. В. и др.).

http://www.mathnet.ru/rus/person27558
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Статистическая проверка неисполняемости фрагментов кода последовательной программы
В. Ю. Королев, Р. Л. Смелянский, Т. Р. Смелянский, А. В. Шалимов
Информ. и её примен., 7:2 (2013),  50–54
2. Формальная модель и задачи верификации программно-конфигурируемых сетей
В. А. Захаров, Р. Л. Смелянский, Е. В. Чемерицкий
Модел. и анализ информ. систем, 20:6 (2013),  36–51

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017