November 16, 2009Pnueli 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)TAGS:computer science, logic, Israel, professor, programmer, hard drive
September 11, 2006Hard drives have come a long way since debuting 50 years ago this week. Do they still have room to shrink?TAGS:margin, font, IBM Corp., hard drive
December 5, 2006Toshiba's 100GB 1.8-inch hard drives will begin shipping next year, which could lead to larger storage capacity for Apple's music device. Photo: Toshiba's little hard driveTAGS:Toshiba, Apple Computer, Apple iPod, hard drive
December 13, 2006The founder of hard-drive maker Seagate was one of the pioneers, and one of the regular guys, of the tech industry.TAGS:Bill Watkins, Seagate Technology, dog, hard drive
April 27, 2005Hewlett-Packard, which boasted in March of its early transition to smaller, 2.5 inch-wide hard drives, lures new partners to the effort.TAGS:Hitachi Ltd., HP, hard drive