AdaCore 和 Nvidia 为安全关键型汽车软件中的 Ada 和 SPARK 编程语言开发了开源参考流程,特别是对于无人驾驶汽车。该流程支持在 Nvidia DriveOS作系统之上更快地开发 ISO26262 软件。Nvidia 使用 SPARK 开发了具有 ···
据称,可靠性和供应链问题迫使 Nvidia 推迟 SOCAMM 开发下一代零件。据称,Nvidia 推迟了即将推出的 SOCAMM 技术的推出,并推出了即将推出的 Blackwell 企业级 GPU。ZDNet 报道称,SOCAMM 现在计划与代号为“Ru···