Войти в аккаунт
Хотите наслаждаться полной версией, а также получить неограниченный доступ ко всем материалам?

Объявлены лауреаты самой престижной компьютерной премии Тьюринга

Объявлены лауреаты самой престижной компьютерной премии Тьюринга
Ассоциация вычислительной техники (Association for Computing Machinery, ACM) объявила лауреатов премии Тьюринга (самой престижной премии в области компьютерных наук) за 2007 год. Ими стали Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Иосиф Сифакис (Joseph Siphakis), создатели метода верификации моделей программ (Model checking).

Премия названа в честь Алана Тьюринга - британского математика и криптографа. Она присуждается ежегодно с 1966 года за теоретические и практические достижения в информационных технологиях и считается самой престижной премией в этой области. Сейчас размер премии составляет 250 тысяч долларов, спонсорами являются компании Intel и Google.

Лауреаты награждены за разработку метода проверки качества, известного под названием Model checking, верификация моделей (программ). Верификация модели - это проверка, является ли данная логическая структура моделью данной формулы (как правило, формулы временной логики). Сейчас этот метод широко используется для проверки сложных объектов - как программного обеспечения, так и "железа". Он позволяет разрабатывать сложные интегральные схемы, коммуникационные протоколы, драйвера устройств, цифровые контроллеры для автомобилей, самолетов, промышленных предприятий. По словам президента ACM, метод верификации моделей - яркий пример важнейшей прикладной технологии, развившейся из сугубо теоретического исследования.

Пионерские работы по методу верификации моделей появились в 1981 (Кларк и Эмерсон) и 1982 (Сифакис и Кей) годах. Кларк работает в университете Карнеги-Меллон, Эмерсон - в Техасском университете в Остине, Сифакис - во французском Национальном центре научных исследований и университете Гренобля.

Источник: lenta.ru

{{ rating.votes_against }} {{ rating.rating }} {{ rating.votes_for }}

Комментировать

осталось 1800 символов
Свернуть комментарии

Все комментарии (0)

×
Заявите о себе всем пользователям Макспарка!

Заказав эту услугу, Вас смогут все увидеть в блоке "Макспаркеры рекомендуют" - тем самым Вы быстро найдете новых друзей, единомышленников, читателей, партнеров.

Оплата данного размещения производится при помощи Ставок. Каждая купленная ставка позволяет на 1 час разместить рекламу в специальном блоке в правой колонке. В блок попадают три объявления с наибольшим количеством неизрасходованных ставок. По истечении периода в 1 час показа объявления, у него списывается 1 ставка.

Сейчас для мгновенного попадания в этот блок нужно купить 1 ставку.

Цена 10.00 MP
Цена 40.00 MP
Цена 70.00 MP
Цена 120.00 MP
Оплата

К оплате 10.00 MP. У вас на счете 0 MP. Пополнить счет

Войти как пользователь
email
{{ err }}
Password
{{ err }}
captcha
{{ err }}
Обычная pегистрация

Зарегистрированы в Newsland или Maxpark? Войти

email
{{ errors.email_error }}
password
{{ errors.password_error }}
password
{{ errors.confirm_password_error }}
{{ errors.first_name_error }}
{{ errors.last_name_error }}
{{ errors.sex_error }}
{{ errors.birth_date_error }}
{{ errors.agree_to_terms_error }}
Восстановление пароля
email
{{ errors.email }}
Восстановление пароля
Выбор аккаунта

Указанные регистрационные данные повторяются на сайтах Newsland.com и Maxpark.com