|
СТ |
Моделирование вредоносной активности в глобальной компьютерной сети |
2013 |
Антоненко В. А., Смелянский Р. Л. |
|
|
|
Программирование |
26.03.2013 |
|
СТ |
Об оценке частоты выполняемого кода последовательных программ |
2011 |
Смелянский Р. Л. |
|
|
|
Программирование |
18.10.2011 |
|
СТ |
Модель поведения сетевых объектов в распределенных вычислительных системах |
2007 |
Гамаюнов Г. Ю., Смелянский Р. Л. |
|
|
|
Программирование |
19.10.2007 |
|
СТ |
Масштабирование дискретно-событийных имитационных моделей |
2006 |
Савенков К. О., Смелянский Р. Л. |
|
|
|
Программирование |
11.01.2007 |
|
СТ |
Синтез структур вычислетильных систем реального времени с использованием генетических алгоритмов |
2000 |
Костенко В. А., Смелянский Р. Л., Трекин А. Г. |
|
|
|
Программирование |
14.11.2000 |
|
СТ |
Метод и средства оценки времени выполнения оптимизированных программ |
1999 |
Балашов В. В., Капитонова А. П., Костенко В. А., Смелянский Р. Л., Ющенко Н. В. |
|
|
|
Программирование |
30.11.1999 |
|
СТ |
Язык спецификации поведения распределенных программ |
1996 |
Бакалов Ю. В., Смелянский Р. Л. |
|
|
|
Программирование |
21.11.1996 |
|
СТ |
Инструментарий анализа поведения программ в распределенных вычислительных системах |
1992 |
Смелянский Р. Л. |
|
|
Санкт-Петербургский ин-т информатики и автоматизации РАН |
Проблемы технологии программирования |
06.10.1995 |
|
СТ |
Об организации распределенного имитационного моделирования |
1994 |
Казаков Ю. П., Смелянский Р. Л. |
|
|
|
Программирование |
24.05.1994 |
|
СТ |
Применение темпоральной логики для спецификации поведения программных систем |
1993 |
Смелянский Р. Л. |
|
|
|
Программирование |
29.04.1993 |
|
М |
Элементы теоретического программирования |
1985 |
Ивани А. М., Смелянский Р. Л. |
|
|
|
|
02.10.1986 |
