· software
[Paper] 数据标注需求表示与规范 (DARS)
随着 AI 驱动的网络物理系统的兴起，数据标注已成为这些智能系统开发中一个关键但常被忽视的过程。
-
- · ai
[Paper] 从用户界面到代理界面：LLM 代理的 UI 表示效率优化
虽然大型语言模型（LLM）代理在自动化 UI 导航（如自动化 UI 测试和 AI 助手）方面显示出巨大潜力，但它们的效率已经…
- · software
[Paper] QMon：使用中间电路测量与复位监控量子电路的执行
与经典软件不同，后者可以通过日志记录和运行时追踪有效地揭示内部执行状态，量子电路具有独特的属性，……
- · software
[Paper] PSALM：在变形测试中应用 Proportional Sampling 策略
Metamorphic testing (MT) 通过在多个测试执行中检查 metamorphic relations (MRs) 来缓解 oracle problem。故障检测有效性……
- · software
[Paper] UCRBench：对用例恢复进行LLMs基准测试
用例被广泛用于指定功能需求，但现有的基准很少，且面临与实际系统行为不匹配的风险。
- · devops
[Paper] 连续时间最大后验轨迹估计的时间并行化
本文提出了一种并行时间方法，用于计算部分观测系统状态的连续时间最大后验（MAP）轨迹估计。
- · devops
[论文] SPARS：一种强化学习驱动的模拟器，用于高性能计算作业调度中的功耗管理
高性能计算（HPC）集群消耗巨大的能源，空闲节点是主要的浪费来源。关闭未使用的节点可以减轻……
- · software
基于软目标的区块链模式选择决策支持框架
区块链技术正在许多行业中获得动力。虽然区块链解决方案对商业领域产生了重要的积极影响，但它们也在……
- · devops
[论文] 面向区块链中安全的去中心化应用与共识协议（关于 Selfish Mining、Undercutting Attacks、DAG-Based Blockchains、E-Voting、Cryptocurrency Wallets、Secure-Logging 与 CBDC）
随着加密货币的兴起，许多基于去中心化区块链的新应用出现。区块链是全栈分布式系统，其中 m...
- · devops
[Paper] 面向自愈片上网络：RL 驱动路由在 2D Torus 架构中的研究
我们在节点故障条件下，研究了 2D 环形网络芯片 NoC 中的自适应最小路由，并将一种基于强化学习（RL）的策略与……进行比较。
- · devops
[Paper] FlashFuser：通过核间连接扩展计算密集型算子内核融合的规模
计算吞吐量的增长速度仍然超过内存带宽的提升，使得许多深度学习工作负载受到内存限制。内核融合是 …
- · ai
[Paper] OPAL：算子编程算法用于景观感知黑盒优化
黑箱优化通常依赖于进化算法和群体算法，其性能高度取决于具体问题。我们将优化器视为一个短程序……