· software
[Paper] 可调自动化在自动化程序验证中
基于SMT求解器的自动化验证工具在验证复杂软件系统方面取得了显著进展。然而，这些工具面临一个根本性的……
-
- · devops
[Paper] 在混合 MPI+OpenMP PIC MC 仿真中集成高性能内存数据流和原位可视化，面向 Exascale
高效模拟复杂等离子体动力学对于推动聚变能源研究至关重要。粒子-在-网格（Particle-in-Cell，PIC）蒙特卡罗（Monte Carlo，MC）模拟提供了...
- · ai
[Paper] 参数高效的混合脉冲-量子卷积神经网络，使用代理梯度和量子数据重新上传
人工智能（AI）和深度学习（DL）的快速发展催生了多个以优化为驱动的子领域，尤其是神经……
- · ai
[Paper] 混合时序-8位脉冲编码用于脉冲神经网络的代理训练
脉冲神经网络（SNNs）已成为计算神经科学和人工智能领域的一个有前景的方向，提供了诸如……的优势。
- · ai
[Paper] 通过跨层融合重建 KV 缓存以增强 Transformers
Transformer 解码器在各种任务中取得了强劲的结果，但 KV 缓存所需的内存在长序列长度下变得难以承受。虽然 …
- · ai
[Paper] 基于指南的医学推理在 LLMs 中的训练与评估
机器学习在医学早期预测方面最近表现出突破性性能，然而，过于关注提升预测准确性导致了一个 …
- · software
[Paper] 可运行目录：Monorepo vs. Multi-repo 辩论的解决方案
现代软件系统日益给传统的代码库组织策略带来压力。Monorepos 提供一致性，但往往面临可扩展性问题……
- · devops
[Paper] 关于 HPC 系统中能效分析的挑战：评估 Synthetic Benchmarks 与 Gromacs
本文讨论了在分析合成基准测试和 Gromacs 软件包在 Fritz 与 Alex HPC 系统上的能效时所遇到的挑战。
- · devops
[Paper] 分布式量子计算中的 Fan‑Out 操作与 Qudits：分布式全局门案例（初步研究）
大量近期关于分布式量子计算的研究集中于使用纠缠对和分布式两量子比特门。但也有关于 ef...
- · devops
[Paper] FFTrainer：大语言模型训练中的快速故障切换与几乎免费状态管理
近期大型语言模型（LLMs）的发展对高效且稳健的训练提出了新的要求。随着LLM集群规模的扩大，节点故障、le...
- · software
[论文] Sigmoid函数的形式化分析与通用逼近定理的形式化证明
本文呈现了对 sigmoid 函数的形式化分析，并在 Isabelle/HOL 中提供了通用逼近定理（Universal Approximation Theorem, UAT）的完整机械化证明，…
- · devops
[Paper] AutoPas 中分子动力学模拟的向量化参数调优
Molecular Dynamics simulations 可以帮助科学家在原子尺度上获取对物理过程的宝贵洞察。本工作探讨了各种技术……