Power/Performance Bits: April 25


Thermal diode Engineers at the University of Nebraska-Lincoln developed a nano-thermal-mechanical device, or thermal diode, which uses heat as an alternative energy source that would allow computing at ultra-high temperatures. "If you think about it, whatever you do with electricity you should (also) be able to do with heat, because they are similar in many ways," said Sidy Ndao, assistan... » read more

Do Students Need More Formal Education?


A few weeks ago, some of the top researchers and practitioners in the area of formal methods converged on Portland, Oregon. The event was the annual Formal Methods in Computer-Aided Design (FMCAD) conference and Semiconductor Engineering attended the panel titled “Teaching Formal Methods: Needs, Challenges, Experiences, and Opportunities.” Panelists included: Jason Baumgartner, formal verif... » read more

Power/Performance Bits: July 9


All-optical transistor Optical computing uses light rather than electricity to perform calculations and is expected to potentially pay dividends for both conventional computers and quantum computers, which are largely hypothetical devices that could perform some types of computations exponentially faster than classical computers. One drawback is that optical computing requires light particl... » read more