Вы: Гость ( Войти )

Выберите Ваш город...
По-умолчанию, через 10 секунд будет установлен город Хабаровск

г. ( Россия )

Изменить
MoiGorod.Ru Mobile!

Новости

Последние Недавние Популярные

«Трое ученых стали лауреатами престижной компьютерной премии»

Ассоциация вычислительной техники объявила лауреатов премии Тьюринга (самой престижной премии в области компьютерных наук) за 2007 год. Ими стали Эдмунд Кларк, Аллен Эмерсон и Иосиф Сифакис, создатели метода верификации моделей программ.

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

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

Пионерские работы по методу верификации моделей появились в 1981 (Кларк и Эмерсон) и 1982 (Сифакис и Кей) годах.

Подготовлено информационной службой портала MoiGorod.ru по материалам lenta.ru

06.02.2008 9:49:00
Что думаете про эту новость?

- Ваш комментарий
↑ Наверх

Главная Новости Доска объявленийНовинка Валюты Афиша (кино) Афиша (события) ФорумНовинка ПопутчикиНовинка ТВ Знакомства Сообщения МагазинНовинка Адреса Погода Конференции Онлайн SMS Чат! MoiGorod
Ваше мнение о MoiGorod.ru:
- Мнение, Емайл, Телефон
Вид:  Мобильный  |  Полноценный
© m.MoiGorod.Ru Mobile!
С 2005 года :-)