Save on Sony HDTVs. Free shipping.
November 16, 2009 9:42 AM PST
Amir Pnueli, pioneer of temporal logic, dies at 68
Pnueli turned a philosopher's explorations of time, logic, and free will, called temporal logic, into a critical technique for verifying the reliability of computers.
(From The New York Times)
The story "Amir Pnueli, pioneer of temporal logic, dies at 68" published November 16, 2009 at 9:42 AM is no longer available on CNET News.
Content from The New York Times expires after 7 days.
Inside CNET News
1-2 of 12
-
Apple shares flirt with $500 milestone
Apple's stock hits a high of $503.83 this morning before retreating to below the $500 mark. Goldman Sachs says it believes Apple could rise to $550 a share in the next 12 months.
The Digital Home
-
Gallery
-
Apple could face a fight over the 'iTV' brand--should it go that way
The Telegraph claims that British TV network ITV has warned Apple off the name iTV for any TV products. But ITV denies that report.
Apple
-
'SNL' laughs at Verizon confusing 'old people'
To LTE or not to LTE? Verizon mocks Verizon's ad that make no sense whatsoever to real, forlorn human beings.
Technically Incorrect
-
Video
-
Google TV's YouTube app update to surface more videos
The update, which is available in Google TV's Android Market, includes new channel pages, faster response times, and related videos.
The Digital Home
-
Video
-
Samsung Galaxy Mini may get low-end sibling
The Samsung Galaxy Mini 2 S6500 could make its debut at the Mobile World Congress in Barcelona later this month, according to a leaked promotional image.
Mobile
-
Amyris hits production snags in biofuel operations
The company, which makes biofuel from a microbes, said it will stay the course, and expects a demo flight with its biofuel soon.
Cutting Edge
-
Gallery
-
Apple TV update may loom, since retailers are running out
Best Buy, Walmart, Target are other retailers have sold out of Apple TVs, suggesting that the product may be up for a refresh very soon.
Apple
-
Around the world in a solar car
In a two-seater electric car powered only by the sun, a team of German students plan to circumnavigate the world.
The Car Tech blog
Join the conversation