Определены лауреаты Премии Тьюринга 2008 г.
Ассоциация вычислительной техники объявила о том, кто будет награжден Премией Тьюринга 2008 года.
Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Джозеф Сифакис (Joseph Sifakis)...
Ассоциация вычислительной техники объявила о том, кто будет награжден Премией Тьюринга 2008 года.
Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Джозеф Сифакис (Joseph Sifakis) получат эту престижную награду в области информатики за разработку автоматизированного метода поиска ошибок в компьютерном аппаратном и программном обеспечении.
Созданный ими метод называется Model Checking, он позволяет анализировать логические схемы, лежащие в основе реализованной разработки. Model Checking рассматривает ее характеристики и определяет, насколько они согласуются с проектом.
Лауреаты Премии Тьюринга 2008 г. получат $250 тыс.