· devops
[Paper] RetryGuard：防止云微服务应用中的自招重试风暴
现代云应用构建在独立、多样的 microservices 之上，提供 scalability、flexibility 和 usage-based billing。然而，结构的 d...
-
- · software
[Paper] GAPS：通过静态路径合成引导动态 Android 分析
在 Android 应用中动态解析方法可达性仍然是一个关键且基本未解决的问题。尽管在 GUI 测试方面取得了显著进展……
- · devops
[Paper] 通信-计算流水线并行 Split Learning 在无线边缘网络上
Split learning (SL) 将主要计算任务从多个资源受限的用户设备 (UE) 卸载到基站 (BS)，同时保留本地数据……
- · ai
[Paper] AI for 软件工程：从可能到可证明
Vibe coding，作为备受推崇的将 AI 技术用于编程的方式，面临两个巨大的障碍：目标指定的困难（“prompt engineering”是……）。
- · software
[论文] Amplifiers or Equalizers? 软件工程项目式学习中 LLM 演化的纵向研究
随着大型语言模型（LLMs）重塑软件开发，将 LLM‑增强的实践融入软件工程（SE）教育已成为迫切需求。虽然现有研究探讨了 LLMs 在教育中的…
- · ai
[Paper] 稳定性边缘的谱集中：信息几何视角下的 Kernel Associative Memory
高容量核 Hopfield 网络表现出一种被称为“优化岭”的特性，其特点是极端的稳定性。虽然之前将其与“谱浓度”联系在一起，...
- · devops
Areon：延迟友好且弹性多提议者共识
我们提出 Areon，这是一族延迟友好、权益加权的多提议者权益证明共识协议。通过允许每个时隙拥有多个提议者并且……
- · ai
[Paper] 智能神经网络：从层次结构到图组织的智能
生物神经元展现出非凡的智能：它们保持内部状态，选择性地与其他神经元通信，并自组织成复杂的……
- · ai
[Paper] 隐私保护的边缘跌倒检测使用 Sony IMX636 事件式视觉传感器和 Intel Loihi 2 神经形态处理器
使用非侵入式视觉系统进行老年人护理的跌倒检测仍然是一个重要但尚未解决的问题。受到严格隐私要求的驱动，infere...
- · ai
[Paper] 随机reservoirs 在不同拓扑结构下对不同自由度非线性动力系统的预测性能
Reservoir computing (RC) 是一种强大的框架，用于预测 nonlinear dynamical systems，然而 reservoir topology——尤其是连接中的 symmetry——的作用仍未得到充分研究。
- · ai
[Paper] Equilibrium Propagation 无限制
我们通过建立有限扰动基础来实现局部 credit assignment，从而将 Equilibrium Propagation (EP) 从无限小扰动的限制中解放出来。通过……
- · ai
[Paper] 重新审视不同难度水平的泛化：并非那么容易
我们调查了大型语言模型（LLMs）在不同任务难度上的泛化能力，这是一项对有效数据策划和评估至关重要的问题。E...