· devops
[论文] 网络系统中的可串行化判定
我们提出了 SER 建模语言，用于自动验证并发程序的可串行化，即检查程序的每一次并发执行是否满足串行化要求……
-
- · software
[论文] 基于断言的验证中的自动断言挖掘：技术、挑战与未来方向
功能验证日益依赖基于断言的验证（Assertion-Based Verification，ABV），它已成为验证硬件设计的关键方法，原因在于其高效性……
- · ai
[论文] 定制CNN、预训练模型与Transfer Learning在多个视觉数据集上的比较研究
卷积神经网络（CNN）是视觉识别的标准方法，因为它们能够从原始像素中学习层次化表示……
- · ai
[Paper] VIBE：基于视觉指令的编辑器
基于指令的图像编辑是生成式 AI 中发展最快的领域之一。过去一年里，该领域已经达到新的水平，出现了数十个……
- · software
[Paper] NQC2：非侵入式 QEMU 代码覆盖率插件
代码覆盖率分析已成为软件开发中的标准方法，有助于评估测试套件的有效性，识别未…
- · ai
[Paper] CD4LM：一致性蒸馏与自适应解码用于扩散语言模型
自回归大型语言模型在众多基准测试中取得了强劲的结果，但解码仍然受到序列依赖的延迟限制，取决于 p…
- · software
[论文] PauliEngine：高性能符号算术用于量子操作
Quantum computation 是本质上混合的，快速的经典对 qubit operators 的操作对于确保量子软件的可扩展性是必要的。我们介绍…
- · ai
[Paper] 从 XAI 到故事：LLM 生成解释质量的因素研究
可解释人工智能（XAI）方法，如 SHAP 和 LIME，生成数值特征归因，这对非专家用户仍然难以理解。先前的工作已经表明 L...
- · software
[Paper] MLIR‑Smith：一种用于评估编译器流水线的新型随机程序生成器
编译器对于软件的性能和正确执行至关重要，并在各个科学学科中具有普遍的相关性。尽管如此，...
- · ai
[Paper] LLM 驱动的功能安全与安全设计在汽车系统中
本文提出了一种由 LLM 驱动的工作流，以支持 Software Defined Vehicle（SDV）软件开发，涵盖安全感知系统拓扑等方面。
- · ai
[Paper] ARCADE：用于细粒度阿拉伯方言标注的城市规模语料库
阿拉伯语的特点是拥有丰富的地区方言网络，这些方言在语音和词汇上有显著差异，反映了地理和…
- · ai
[Paper] 为机器而非仅为人类的代码：使用代码健康指标量化 AI 友好性
我们正进入一个混合时代，在这个时代中，人类开发者和 AI 编码代理在同一个代码库中协同工作。虽然业界长期以来一直在为人类优化代码……