[Главная] 2023 ] 2022 ] 2021 ] 2020 ] 2019 ] 2018 ] 2017 ] 2016 ] 2015 ] 2014 ] 2013 ] 2012 ] 2011 ] 2010 ] [ 2009 ] 2008 ] 2007 ] 2006 ] 2005 ] 2004 ] 2003 ] 2002 ] 2001 ] 2000 ] 1999 ] 1998 ] 1997 ] 1996 ] 1995 ] 1994 ] 1993 ] 1991 ] 1989 ] 1988 ] 1987 ] 1985 ] 1984 ] 1983 ] 1982 ]

Публикации 2009 года

[53-09] Адамович И.А. Алгоритм моделирования цифровых схем, построенный на основе детерминированных цветных сетей Петри // Микроэлектроника и информатика — 2009. 16-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. М.: МИЭТ, 2009. c. 73. (ISBN 978-5-7256-0535-8)

[52-09] В.Ф. Заднепровский. Возможности построения информационных систем на базе компьютерного Ряда 4 СКИФ. Третья международная научно-практическая конференция "Энергообеспечение и энергосбережение - региональный аспект (18-19 июня 2009 г., г. Ярославль. М.: Издательский дом "АСМО-пресс", 2009, с. 45-46

[51-09] С.М. Абрамов. СКИФ-Аврора: суперЭВМ Ряда 4 семейств СКИФ. Специальное издание по материалам Международной научно-практической конференции "Эммануэль Нобель — наука и бизнес — искусство управлять" (10-11 июня 2009 г., г. Санкт-Петербург). М.: Издательский дом "АСМО-пресс", 2009, с. 48-50 (стр. 48, стр. 49, стр50)

[50-09] А. Ю. Орлов, А. Б. Шворин. О реализации в ПЛИС маршрутизатора высокопроизводительной сети. В сб.: Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск). М.: Изд-во МГУ, 2009. С. 208-210.

[49-09]  А.О. Лацис, С.А. Дбар, Е.А. Плоткина, С.С. Андреев. Система программирования Автокод HDL и опыт ее применения для схемной реализации численных методов в FPGA. В сб.: Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск). М.: Изд-во МГУ, 2009. С. 237.

[48-09] Ilya G. Klyuchnikov, Sergei A. Romanenko. SPSC: a Simple Supercompiler in Scala. In: International Workshop on Program Understanding PU'09,19-23 June, Altai Mountains, Russia. Novosibirsk: A.P.Ershov Institute of Informatics Systems, 2009. P. 5-17.

[47-09] Ilya G. Klyuchnikov, Sergei A. Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009. P. 150-158.

[46-09] И.Г.Ключников, С.А.Романенко. SPSC: Суперкомпилятор на языке Scala. Программные продукты и системы. 2009. №2 (86). С. 74-80. ISSN 0236-235X.

[45-09] Ю.А. Климов. Метод частичных вычислений, позволяющий преобразовывать объектно-ориентированные программы в императивные. В сб.: Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск). М.: Изд-во МГУ, 2009. С. 241-246. ISBN 978-5-211-05697-8.

[44-09] Ю.А. Климов. Специализатор CILPE: доказательство корректности. Препринты ИПМ им. М.В. Келдыша. 2009. № 33. 32 с. ISSN 2071-2898.

[43-09] Ю.А. Климов. Преобразование объектно-ориентированных программ в императивные методом частичных вычислений. Программные продукты и системы. 2009. № 2 (86). С. 71-74. ISSN 0236-235X.

[42-09] Ю.А. Климов. Специализатор CILPE: генерация остаточной программы. Препринты ИПМ им. М.В. Келдыша. 2009. № 8. 26 с. ISSN 2071-2898

[41-09] Ю.А. Климов. Специализатор CILPE: анализ времен связывания. Препринты ИПМ им. М.В. Келдыша. 2009. № 7. 28 с. ISSN 2071-2898.

[40-09] Анд.В. Климов. Применение суперкомпилятора языка Java для решения обратных задач в стиле логического программирования. В сб.: Информационные и математические технологии в науке и управлении / Труды XIV Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении", Иркутск - Байкал, 5-15 июля 2009 г. Часть III. Иркутск: ИСЭМ CO РАН, 2009. С. 165-172. ISBN 978-5-93908-077-4.

[39-09] Andrei V. Klimov. A Java Supercompiler and its Application to Verification of Cache-Coherence Protocols. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P.Ershov Institute of Informatics Systems, 2009. P. 141-149.

[38-09] Г. А. Матвеев, А. Ю. Первин, Е. А. Трушкова. 2009. Динамическое распределение ресурсов для приложений // Материалы XVI Межд. конф. По вычислительной механике и современным прикладным программным системам (ВМСППС'2009), 25-31 мая 2009 г., Алушта. - М.: Изд-во МАИ-ПРИНТ, 2009. С. 528-531.

[37-09] S.D. Mechveliani 2009. Geometry of the Variety of Real Symmetric Matrices with Multiple Eigenvalues. E-принт (http://arxiv.org/PS_cache/arxiv/pdf/0907/0907.3293v1.pdf)

[36-09] Е.О.Тютляева: Разработка и реализация распределенного архива изображений дистанционного зондирования Земли. // Материалы молодежной научной конференции "Наукоемкие информационные технологии". Переславль-Залесский, 2009, издательство УГП.]

[35-09] Московский А.А., Первин А.Ю., Тютляева Е.О., Шевчук Е.В.: Распределенный архив изображений дистанционного зондирования земли // Программные продукты и системы.-Тверь.- 2009.-№ 2(86)-С.40-42. Под редакцией С.В. Емельянова, ISSN 0236-235X

[34-09] Московский А.А., Первин А.Ю., Тютляева Е.О.: Параллельная реализация модели map-reduce с использованием шаблонных классов с++ // Программные продукты и системы.-Тверь.- 2009.-№ 2(86)-С.53-57. Под редакцией С.В. Емельянова, ISSN 0236-235X

[33-09] Московский А. А., Абрамов С. М., Криштофик А. М., Анищенко В. В., Заднепровский В. Ф. 2009. Создание единого вычислительного пространства Союзного государства. Состояние и перспективы развития. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской научной конференции, 21-26 сентября 2009 г. Новороссийск, — М.: Изд-во МГУ им. М.В. Ломоносова, 2009 с. 389—395 (CD) ISBN 978-5-211-05697-8

[32-09] Есин Г. И., Кузнецов А. А., Роганов В. А. 2009. Экспериментальная реализация системы облачных вычислений "SkyTS" для счета T-приложений в неоднородной распределенной среде. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской научной конференции, 21-26 сентября 2009 г. Новороссийск, — М.: Изд-во МГУ им. М.В. Ломоносова, 2009 с. 348—350 (CD) ISBN 978-5-211-05697-8

[31-09] Шевчук Е. В., Тютляева Е. О., Московский А. А. 2009. Система активного хранения данных на базе библиотеки динамического распараллеливания TSim. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской научной конференции, 21-26 сентября 2009 г. Новороссийск, — М.: Изд-во МГУ им. М.В. Ломоносова, 2009 с. 226—230 (CD) ISBN 978-5-211-05697-8

[30-09] Абрамов С. М., Анищенко В. В., Криштофик А. М., Парамонов Н. Н. 2009. Первые технические решения суперкомпьютерного направления "СКИФ" Ряда 4. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской научной конференции, 21-26 сентября 2009 г. Новороссийск, — М.: Изд-во МГУ им. М.В. Ломоносова, 2009 с. 161—165 (CD) ISBN 978-5-211-05697-8

[29-09] Абрамов С.М. 2009. Исследования в области суперкомпьютерных технологий ИПС РАН: ретроспектива и перспективы. Ежемесячный научный журнал "История науки и техники" (ISSN 1813-100X) № 5, 2009 г., стр. 41-65

[28-09] Абрамов С.М. 2009. Суперкомпьютеры «СКИФ» — эффективная платформа для вычиcлений в интересах развития наукоемких технологий и наноиндустрии. Уфимский государственный авиационный технический университет, 2009. Материалы научно-технического совещания «Высокопроизводительные вычислительные ресурсы России для создания наукоемких технологий и развития инфраструктуры наноиндустрии», 14-17 октября 2008 г., Уфа. Изд-во: Уфимский государственный авиационный технический университет, 2009 г. стр. 35-51 ISBN 978-5-86911-919-3

[27-09] Лисица А. П., Немытых А. П. 2009. Об одном приложении вычислений с оракулом. // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля",  Т. 1,  стр. 245-264 ISBN 978-5-901795-16-3

[26-09] Есин Г. И., Кузнецов А. А., Роганов В. А. 2009. Экспериментальная реализация отказоустойчивой системы распределенных вычислений "SkyTS"для параллельного счета ресурсоемких Т++ приложений в гетерогенной распределенной вычислительной среде. // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля",  Т. 1,  стр. 225-244 ISBN 978-5-901795-16-3

[25-09] Афонькина Е.С., Гришина М.А., Ившина Н.Н., Матвеев Г.А., Потемкин В.А. 2009. Реализация параллельной версии программы расчёта лекарственных средств с использованием Т-Системы с открытой архитектурой (OpenTS).  // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля",  Т. 1,  стр. 217-224 ISBN 978-5-901795-16-3

[24-09] Абрамов С.М., Заднепровский В.Ф., Московский А.А., Шмелев А.Б. 2009. Суперкомпьютеры Ряда 4 семейства «СКИФ». Proc.  // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля",  Т. 1,  стр. 193-216 ISBN 978-5-901795-16-3

[23-09]  Абрамов С.М. 2009. Исследования в области суперкомпьютерных технологий ИПС РАН: ретроспектива и перспективы. Proc.  // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля",  Т. 1,  стр. 153-192 ISBN 978-5-901795-16-3

[22-09] С.М. Абрамов, В.Ф. Заднепровский, А.Б. Шмелев, А.А. Московский. 2009. Супер ЭВМ ряда 4 семейства СКИФ: штурм вершины суперкомпьютерных технологий. // Труды Международной научной конференции «Параллельные вычислительные технологии (ПаВТ'2009)», Нижний Новгород, 30 марта - 3 апреля 2009 г., изд. Нижегородского государственного университета имени Н.И. Лобачевского, с. 5-16. ISBN 978-5-696-03854-4

[21-09] Гордин И.В. Компьютеризация общества как фактор разрешения экологических противоречий//Труды юбилейной конф. ИПС РАН, Переславль-Залесский, 2009, С 265-276.

[20-09] Гордин И.В. Неконтролируемость и неидентифицируемость загрязнения - ключевые категории экологической информатики//Труды юбилейной конф. ИПС РАН, Переславль-Залесский, 2009, С277-288.

[19-09] Гордин И.В., Новиков С.Л., Кирпичникова Н.В. Движущие силы рыночной экономики в трансформации системы водоснабжения Москвы//Материалы 10-го всероссийского симпозиума "Стратегическое планирование и развитие предприятий", М, ЦЭМИ РАН, 2009, С 52-53.

[18-09] Гордин И.В., Новиков С.Л. Экономические мотивы участия населения в обеспечении социально-экологического благополучия побережий//Материалы 10-го всероссийского симпозиума "Стратегическое планирование и развитие предприятий", М, ЦЭМИ РАН, 2009, С 50-51.

[17-09] Гордин И.В. Стратегия влияния общественных экологических движений на планы застройки побережий//Материалы 10-го всероссийского симпозиума "Стратегическое планирование и развитие предприятий", М, ЦЭМИ РАН, 2009, С 48-49.

[16-09] Гордин И.В. Эколого-экономические последствия рекреационного освоения источников водоснабжения//Материалы Международной конференции Российского об-ва экологической экономики, Калининград, 2009, С58-61.

[15-09] Гордин И.В., Пинегина Н.М. Социо-эколого-экономические противоречия застройки побережий водных объектов// Вестник Международной академии системных исследований IASS, 2009, С 56-60

[14-09] Гордин И.В. Экология:проблемы и программы. – М.: Зеленый мир, 2009. – 122 с.

[13-09] Рюмина Е.В., Аникина А.М. Экологически скорректированная оценка экономического развития регионов. - Проблемы прогнозирования, №2, 2009, стр. 79-94

[12-09] Ryumina E.V., Anikina A.V. Environmentally Adjusted Evaluation of Regional Economic Growth. - Studies on Russian Economic Development, Vol. 20, No. 2, 2009.

[11-09] Рюмина Е.В. Отношение экономики к проблеме сохранения биоразнообразия. - Экономика природопользования, № 1, 2009.

[10-09] Рюмина Е.В. Почему предприятия не хотят и не могут охранять окружающую среду: количественный анализ. - Экономическая наука современной России, No, 2009.

[09-09] Гулиев Я.И., Гулиева И.Ф., Рюмина Е.В. Внедрение информационных систем в медицине: финансовый анализ. - Аудит и финансовый анализ, №2, 2009.

[08-09] Рюмина Е.В. Финансовый анализ возможностей предприятий в расширении природоохранной деятельности // Стратегическое планирование и развитие предприятий. Секция 3 / Материалы Десятого всероссийского симпозиума. Москва, 14-15 апреля 2009 г. - М.: ЦЭМИ РАН, 2009.

[07-09] Малых В.Л., Гулиев Я.И., Крылов А.И., Рюмина Е.В. Проблемы автоматизации учета прямых материальных затрат в медицине. Архитектура прецедентного материального учета. - Аудит и финансовый анализ, №2, 2009.

[06-09] Рюмина Е.В. Сохранение окружающей природной среды как экономическая задача. - Вестник МГУПИ, 2009.

[05-09] Гулиев Я.И., Гулиева И.Ф., Рюмина Е.В. Медицинские информационные системы: затраты и выгоды. - Врач и информационные технологии, №3, 2009, стр. 4-16.

[04-09] Гулиева И.Ф., Рюмина Е.В. Затраты и выгоды: анализ соотношения для медицинских информационных систем // Программные системы: теория и приложения // Труды международной конференции "Программные системы: теории и приложения", ИПС им. А.К.Айламазяна РАН, г. Переславль-Залесский, май 2009 / Под редакцией С.М.Абрамова и С.В.Знаменского. Т. 2.- Переславль-Залесский: Изд-во "Университет города Переславля", 2009.

[03-09] Рюмина Е.В. Финансовые барьеры на пути реализации принципа "загрязнитель платит" // Экономическая эффективность природоохранной деятельности: теория и практика. Материалы 10-й Международной конференции Российского общества экологической экономики. - М.: ЗАО "Издательство "Экономика" 2009.

[02-09] Лучшева В.В. Опыт построения межотраслевого баланса малого города // Новые информационные технологии, методы и модели в управлении и экономике / Проблемы регионального управления, экономики, права и инновационных процессов в образовании: VI Международная научно-практическая конференция. - Таганрог: Изд-во ТИУиЭ, 2009.

[01-09] Рюмина Е.В. Экономический анализ ущерба от экологических нарушений. – М.: Наука, 2009

 





 

 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра I, дом 4 "а"
 Институт программных систем им. А.К. Айламазяна РАН
Исследовательский центр мультипроцессорных систем