PulseAugur
实时 08:41:26
实体 Lucie Guillou

Lucie Guillou

PulseAugur coverage of Lucie Guillou — every cluster mentioning Lucie Guillou 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_174119 ·

    开发了等待式广播协议的新验证方法

    研究人员开发了用于验证等待式非阻塞广播协议安全性的新方法。这些协议用于进程通过广播或会合进行通信的网络中,使用非阻塞消息。该研究侧重于两个可达性问题:状态可达性和配置可达性。研究人员证明,对于等待式协议,这些问题分别可以用P-complete和PSPACE-complete复杂度来解决。