|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Труды Первой Всероссийской научной конференции "Методы и средства обработки информациисборник
- Год издания: 2003
- Место издания: Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва
- Добавил в систему: Стефанов Константин Сергеевич
Статьи, опубликованные в сборнике
-
- 2003 Cистема анализа структуры программ
- Стефанов К.С.
- в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 498-502
-
- 2003 Алгортимы локальной оптимизации расписаний
- Калашников А.В., Костенко В.А.
- в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 381-388
-
- 2003 Использование имитационного моделирования для оценки надёжности распределённых вычислительных систем
- Волканов Д.Ю.
- в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 343-348
-
- 2003 О верификации параметризованных симметричных систем распределенных программ
- Захаров В.А., Коннов И.В.
- в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 395-400
-
- 2003 Параметризованный жадный алгоритм построения статических расписаний
- Вавинов С.В., Костенко В.А.
- в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 323-328