Смелянский Руслан Леонидович

родился 12 ноября 1950 в Москве
119899, Москва, Ленинские горы, МГУ,
2-й учебный корпус, ВМиК МГУ,
зав. Лабораторией Вычислительных Комплексов
д.ф.-м.н., профессор 		Тел. (095)939-4671, 939-2596 ,
E-mail: smel@cs.msu.su
WWW: http://lvk.cs.msu.su/smel.html
Научные интересы: архитектура мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем.

Основные публикации

  1. Смелянский Р.Л. Модель функционирования распределенных вычислительных систем, // Вестн. Моск. Ун-та. сер 15, Вычисл. Матем. и Кибернетика. 1990, No. 3, стр. 3-21.
  2. Смелянский Р.Л. Об инварианте поведения программ // Вестн. Моск. Ун-та, сер. 15, Вычислительная математика и Кибернетика, 1990, No. 4, стр. 54-60.
  3. Смелянский Р.Л. Взаимосвязь программы и вычислительной среды. // Вычислительные системы и вопросы анализа решений. М., МГУ, 1989.
  4. Смелянский Р.Л. Поведение программ в распределенных вычислительных системах и инструментарий для его анализа. // Технология программирования МПТ, Ленинград, 1990.
  5. Бочков С.О., Смелянский Р.Л. Средства описания поведения параллельных программ в целях отладки. // Вопросы технологии программирования. Ленинград, 1989.
  6. Молонов В.Г., Смелянский Р.Л. Комплексный подход к моделированию распределенных вычислительных систем. // Программирование No.6, 1987.
  7. Smeliansky R.L. Program behavior invariant as the basis for system performance estimation // Proc. of the PaCT-93 conference (Obninsk, Russia, Sept. 1993).
  8. Смелянский Р.Л. Методы анализа и оценки производительности вычислительных систем. М., МГУ, 1990.
  9. Smeliansky R.L., Bakhmurov A.G. DYANA: An Environment for Distributed System Design and Analysis// Parcella 96., Proceedings of the VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, 1996. - pp.85-92.
  10. Bakhmurov A.G., Smeliansky R.L. DYANA - the pilot project of investigation of distributed programs and computer systems // Proc. of the 2nd Russian-Turkish Seminar New High Information technologies, 9-12 May, 1994, Gebre, Turkey.
  11. Bakhmurov A.G., Smeliansky R.L. DYANA - the system for distributed programs and computer systems behavior analysis // Submitted to the Ninth International Symposium on Computer and Information Sciences, Nov. 7-9, Antalya, Turkey.
  12. Smeliansky R.L. Program behavior invariant as the basis for system performance estimation // Proc.of the PaCT-93 conference (Obninsk, Russia, Sept. 1993).
  13. Смелянский Р.Л. Взаимосвязь программы и вычислительной среды. //Вычислительные системы и вопросы анализа решений. М., МГУ, 1989
  14. Bakhmurov A.G., Kubrak V.A., Smeliansky R.L. MC - the language for distributed computer systems simulation // Proc. Of the PaCT-93 conference (Obninsk, Russia, Sept. 1993).
  15. Smeliansky R.L. Program behavior invariant as the basis for system performance estimation // Proc. Of the PaCT-93 conference (Obninsk, Russia, Sept. 1993).
  16. Казаков Ю.П., Смелянский Р.Л. Об организации распределенного имитационного моделирования // Программирование, 1994, No. 2, стр. 45-64.
  17. Бакалов Ю.В., Смелянский Р.Л. Язык спецификации поведения распределенных программ // Программирование, 1996, No. 5, стр. 41-51.
  18. Smeliansky R.L., Umnov N.A. How to get an optimal NN for a given application // Symp. on Neuronformatics and Neurocomputers, Russia, Rostov-on-Don, 1995.
  19. Капитонова А.П., Смелянский P.Л., Теpехов И.В. Инстpументальная системы оценки тpудоемкости вычислений в пpогpаммах. // Сб. Системное пpогpаммиpование и модели исследования опеpаций. М., МГУ, 1993, cтр. 57-72.
  20. Капитонова А.П., Смелянский Р.Л., Терехов И.В. Система для оценки временных характеристик программ: архитектура и реализация. // Сб. Программно-аппаратные средства и математическое обеспечение вычислительных систем. М., МГУ, 1994, стр. 92-103.

© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ