Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...

Computer Sciences

The first intuitive programming language for quantum computers

Programming quantum computers is becoming easier: computer scientists at ETH Zurich have designed the first programming language that can be used to program quantum computers as simply, reliably and safely as classical computers. ...

Engineering

A new molecular programming language: CRN++

Synthetic biology is a relatively new area of research that could significantly impact a number of fields, including biology, nanofabrication and medicine. A primary challenge in this emerging field is that of embedding computation ...

Internet

Best of Last Year: The top Tech Xplore articles of 2020

It was a good year for technology research of all kinds; a team at Japan's SkyDrive Inc., demonstrated their "flying car"—it took off with a person aboard, hovered approximately 1 to 2 meters above the ground for approximately ...

Internet

Zoom hack reveals text contents by viewing shoulder movement

Countless companies around the world see the wildly popular video-conferencing tool Zoom as a savior during this era of quarantine and work-at-home routines. Zoom estimates it has more than 300 million meeting participants ...

page 1 from 14