· devops
[Paper] 关于 HPC 系统中能效分析的挑战：评估 Synthetic Benchmarks 与 Gromacs
本文讨论了在分析合成基准测试和 Gromacs 软件包在 Fritz 与 Alex HPC 系统上的能效时所遇到的挑战。
Source
arXiv
466 posts from this source
-
- · 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 可以帮助科学家在原子尺度上获取对物理过程的宝贵洞察。本工作探讨了各种技术……
- · devops
[Paper] 双边缘辅助计算卸载与资源分配用于空间-空中-海洋一体化网络
在本文中，我们提出了一种针对空间-空中-海洋集成网络（SAMINs）的 double-edge-assisted 计算卸载和资源分配方案……
- · software
[Paper] 探索大语言模型在初学者程序错误定位中的潜力与局限性
新手程序员常常在 fault localization 方面面临挑战，因为他们在编程语法和逻辑方面的经验和理解有限。传统的...
- · software
[Paper] HarnessAgent：利用工具增强的 LLM 流水线实现自动模糊测试 Harness 的规模化构建
基于大型语言模型（LLM）的技术在生成程序模糊测试的 harness 方面取得了显著进展。然而，将它们应用于任意函数…
- · devops
[Paper] TokenScale：及时且精准的自动扩缩容，适用于分离式 LLM 服务的 Token Velocity
在 LLM 服务中，架构向 prefill/decode (PD) 解耦的转变提升了资源利用率，但在应对现代工作负载的突发性方面存在困难。
- · ai
[Paper] VS-Graph：可扩展且高效的图分类使用超维计算
图分类是一个基础任务，涉及从分子属性预测到材料设计等多个领域。虽然图神经网络（GNN）取得了……
- · ai
[论文] Vibe Coding 安全吗？在真实任务中对代理生成代码的漏洞进行基准测试
Vibe coding 是一种新的编程范式，在这种范式中，人类工程师指示大型语言模型（LLM）代理完成复杂的编码任务，几乎不需要监督。
- · ai
[Paper] MagicQuillV2：精确且交互式的图像编辑与分层视觉提示
我们提出 MagicQuill V2，这是一种新颖的系统，引入了分层组合范式用于生成式图像编辑，弥合了语义……