Feeds

Model checkers get Turing Prize

Medals and money...

Intelligent flash storage arrays

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. ®

Intelligent flash storage arrays

More from The Register

next story
MARS NEEDS WOMEN, claims NASA pseudo 'naut: They eat less
'Some might find this idea offensive' boffin admits
LOHAN crash lands on CNN
Overflies Die Welt en route to lively US news vid
Comet Siding Spring revealed as flying molehill
Hiding from this space pimple isn't going to do humanity's reputation any good
Experts brand LOHAN's squeaky-clean box
Phytosanitary treatment renders Vulture 2 crate fit for export
Boffins who stare at goats: I do believe they’re SHRINKING
Alpine chamois being squashed by global warming
No sail: NASA spikes Sunjammer
'Solar sail' demonstrator project binned
Carry On Cosmonaut: Willful Child is a poor taste Star Trek parody
Cringeworthy, crude and crass jokes abound in Steven Erikson’s sci-fi debut
prev story

Whitepapers

Cloud and hybrid-cloud data protection for VMware
Learn how quick and easy it is to configure backups and perform restores for VMware environments.
A strategic approach to identity relationship management
ForgeRock commissioned Forrester to evaluate companies’ IAM practices and requirements when it comes to customer-facing scenarios versus employee-facing ones.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
Three 1TB solid state scorchers up for grabs
Big SSDs can be expensive but think big and think free because you could be the lucky winner of one of three 1TB Samsung SSD 840 EVO drives that we’re giving away worth over £300 apiece.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.