Scientists find asymmetry in topological insulators

New research shows that a class of materials being eyed for the next generation of computers behaves asymmetrically at the sub-atomic level. This research is a key step toward understanding the topological insulators that ...

Programming model for supercomputers of the future

The demand for even faster, more effective, and also energy-saving computer clusters is growing in every sector. The new asynchronous programming model GPI from Fraunhofer ITWM might become a key building block towards realizing ...

Taiwan makers showcase computers at Computex

Taiwan's struggling PC makers are unveiling a new generation of ultra-thin laptops at the world's second-biggest computer show this week, even as they tap into the ever-expanding tablet market to help compensate for declining ...

Supercomputer Titan to get world's fastest storage system

(Phys.org) —Officials at Oak Ridge National Laboratory (ORNL) have announced the selection of the Spider II data storage and retrieval system from DataDirect Networks (DDN) to replace the existing system on the Titan supercomputer. ...

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...

page 5 from 11