PulseAugur
中
实时 08:56:10
实体 lazy fixed-point algorithms

lazy fixed-point algorithms

PulseAugur coverage of lazy fixed-point algorithms — every cluster mentioning lazy fixed-point algorithms across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_254308 ·

    新方法为自主系统合成安全证书

    研究人员开发了一种新的合成受控不变集的方法，这对于确保自主系统的安全性至关重要。该技术使用阈值函数重新构建问题，从而能够进行高度可并行的独立一维二分搜索。该方法显著降低了计算复杂度，能够在毫秒级时间内在海量网格上合成不变集，并证明了其在安全信息模型预测控制器等实时应用中的实用性。