Model checkers get Turing Prize
PrintMedals and money...
Posted in Science, 5th February 2008 10:09 GMT
Free whitepaper – SPECjbb2005 performance and power consumption on Dell, HP, and IBM blade servers
The Association of Computing Machinery has awarded the $250,000 A.M Turing Prize to three men who created an automated way to find design errors in hardware or software.
The prize is shared between Edmund Clarke (Carnegie Mellon), E Allen Emerson (University of Texas at Austin) and Joseph Sifakis (University of Grenoble).
Often described as the Nobel prize for computing, the Turing prize got a boost in sponsorship last year from Google.
Model checking is a process of checking for mistakes by expressing a system as a logic formula. It was used to check the PCI bus specifications.
More here. ®
What Exchange can't do - and Dell can
Enabling the Agile Data Center
Analyst Keynote: The Register Agile Data Center Summit
Analyst Keynote: The Register Agile Data Center Summit
Dirty, dirty PCs: The X-rated picture guide
Top 500 supers - rise of the Linux quad-cores
Early adopters bloodied by Ubuntu's Karmic Koala
Sign up, sign up for The Register IT security newsletter