Лауреатами Премии Тьюринга, главной научной награды в области информатики, стали Эдмунд Кларк, Аллен Эмерсон и Джозеф Сифакис, создатели метода проверки моделей, который используется для проверки того, является ли заданная логическая структура (программа или аппаратное обеспечение) является моделью данной формулы.
Программный код анализируется, чтобы определить, насколько хорошо он соответствует общим требованиям к проектированию системы.
Первоначально метод разрабатывался в рамках чисто теоретического исследования, но вскоре нашел широкое практическое применение при разработке сложных интегральных схем, протоколов связи, драйверов устройств, цифровых контроллеров и т. д. По мнению экспертов, истинный потенциал изобретения еще не раскрыт. все же были полностью реализованы.
Премия Тьюринга — аналог Нобелевской премии, но для специалистов по информатике.
Как известно, Нобель, живший сто лет назад, не любил математиков, поэтому запретил им вручать премии его имени.
Информатики как науки в то время вообще не существовало, поэтому в 1966 году нам пришлось придумать нечто подобное; первым лауреатом стал Алан Перлис, создатель первых компиляторов.
Премия Тьюринга в размере $250 тыс.
присуждается решением Ассоциация вычислительной техники (АКМ).
Спонсорами премии являются Google и Intel. с помощью Ассоциация вычислительной техники Теги: #Премия Тьюринга #метод проверки программных моделей #модель че #Чулан
-
Сложность Систем И Способы «Борьбы» С Ней
19 Oct, 24 -
Раскрыта Личность «Фальшивого Стива Джобса»
19 Oct, 24 -
Насколько Активно Вы Используете Rss?
19 Oct, 24 -
От Кого У Вас В Почтовом Ящике Больше Писем?
19 Oct, 24 -
Играностра
19 Oct, 24
