Software

AI study creates faster and more reliable software

University of Stirling researchers have trained ChatGPT to produce faster versions of a software program. Making software run faster and more reliably is challenging and time-consuming for software developers.

Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Machine learning & AI

Could quantum give us the generative AI we're looking for?

Quantum computing and artificial intelligence (AI) might seem as distant from each other as New York and Los Angeles. But according to Duke Quantum Center (DQC) director Chris Monroe, the two subjects are practically next-door ...

page 10 from 16