Mitigating Silent Data Corruptions in High Performance Computing


A new technical paper titled "Mitigating silent data corruptions in HPC applications across multiple program inputs" was published by researchers at University of Iowa, Baidu Security, and Argonne National Lab. The paper was a Best Paper finalist at SC22. The researchers "propose MinpSID, an automated SID framework that automatically identifies and re-prioritizes incubative instructions in a... » read more

Deliver DO-178C compliant software on budget and on schedule


Ensuring safety in civilian airborne software is an ongoing challenge in the increasingly software-intensive aviation industry, yet accidents and fatalities caused by software are nearly unheard of in civil aviation. This impressive track record is due largely to the DO-178 standard. However, successful DO-178C certification involves significant costs and timelines. To avoid cost overruns an... » read more