Celoxica announced the release of version 3.1 of the DK Design Suite. DK3.1 provides high-level system co-design, verification and C-based synthesis for complex algorithm implementation to ...

Part 1 looks at the basic problems of translating MATLAB to C. Part 3 examines the verification process and makes the case for automatic C generation. It will be published Thursday, December 13. In ...

It was a striking story. “Machine Bias,” the headline read, and the teaser proclaimed: “There’s software used across the country to predict future criminals. And it’s biased against blacks.” ...

Professor Ian Davidson's research in the Department of Computer Science focuses on making artificial intelligence systems 'fair' and trustworthy. (Graphic by Bangon Pitipong via Getty Images) In 2017, ...