Академия ОС

Тема февральского номера журнала Computer (IEEE Computer Society, Vol. 45, No. 2, 2012) — теорема CAP.

Тема январского номера журнала Computer (IEEE Computer Society, Vol. 45, No. 1, 2012) — перспективные исследования в области компьютерных технологий.

Обеспечение высокой надежности и безошибочности программ — одна из главных задач ИТ-индустрии, однако до сих пор нет ее универсального и надежного решения. Вместе с тем использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.

После пяти лет работы по созданию системного ПО для устройств хранения исследовательское подразделение корпорации EMC в России расширило поле своей деятельности на решение проблем обработки Больших Данных.

Кого сложнее всего убедить в пользе ITSM: начальников, руководителей среднего звена или персонал ИТ-департамента? Персонал. Проекты по организации бизнес-процессов предусматривают смену внутренней корпоративной культуры, и именно персонал должен понять пользу происходящего, а деловые игры — самый эффективный способ помочь в этом.

Тема декабрьского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 12, 2011) — компьютеры и культура.

Информационным технологиям отводится ключевая роль в работе американского правительства, особенно после объявления президентом программы Open Government Initiative, имеющей целью обеспечить полную прозрачность для граждан деятельности правительства. Важную роль в выполнении этой программы играет обучение.

Любая крупная ИТ-компания непременно имеет в своем составе подразделение исследований и разработок. Это, как правило, географически распределенная сеть лабораторий и научных центров, в которых неспешно идет генерация новых идей, способных в перспективе стать основой новых технологий. Особенность лабораторий производителей антивирусного программного обеспечения в том, что работают они практически в реальном времени — именно в таких условиях действуют исследовательские центры компаний ESET и «Лаборатория Касперского».

Темы октябрьского и ноябрьского номеров Computer (IEEE Computer Society, Vol. 44, No. 10-11, 2011) - взаимодействие программной инженерии с другими областями компьютерных наук и совместная разработка аппаратуры и программного обеспечения экзафлопсных систем

Профессор Высшей политехнической школы в Цюрихе Бертран Мейер – один из тех специалистов, которые определяют лицо современной программной инженерии. Его научные исследования, в том числе в области формального доказательства качества программных приложений, показывают, что программная инженерия способна быть полноценной научной дисциплиной, а практические разработки внесли большой вклад в продвижение результатов научных исследований в повседневную работу программистов.

Теория помогает инженерам традиционных специализаций создавать и изучать методы, оценивать результаты и оптимизировать процессы. Играет ли теория аналогичную роль в программной инженерии?

Тема сентябрьского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 9, 2011) - безопасность и конфиденциальность в онлайновом мире.

Тема августовского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 8, 2011) - тридцатилетний юбилей IBM PC.

Проблема качества инженерно-технического образования в России является сегодня предметом дискуссий и в академической среде, и в коридорах власти. На самом высоком уровне признается, что подготовка инженеров в российских вузах не соответствует реальным запросам предприятий и базируется на устаревших методологиях и оборудовании.

Тема июльского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 7, 2011) — вычислительная археология.

Тема июньского номера журнала Computer (IEEE Computer Society, Vol. 44, No. 6, 2011) — проблемы развития интеллектуальных городов.

Преподаватели курсов по информационной безопасности могут многому научиться у сообщества хакеров, хотя само слово «хакер» воспринимается неоднозначно, а идея повторять что-либо за ними может некоторым показаться неприемлемой.

Многие коммерческие компании сегодня экономят ресурсы за счет передачи своих повседневных ИТ-задач провайдерам облачных сервисов, что справедливо и применительно к научным исследованиям, требующим все больших объемов вычислений и генерирующих все больше данных. Система Globus Online разрабатывается с целью воплощения в жизнь идеи аутсорсинга типовых компонентов научно-исследовательской работы.