· devops
[论文] HEAL 数据平台
目标：本项目的目标是开发一个基于云的联邦系统，作为对在 … 生成的数据进行搜索、发现和分析的单一入口。
-
- · software
[Paper] 我的交易为何有风险？理解智能合约语义及其在 NFT 生态系统中的交互
NFT 生态系统代表一个相互关联、去中心化的环境，涵盖了非同质化代币（NFT）的创建、分发和交易……
- · ai
[Paper] 当数据质量问题相互碰撞：软件缺陷预测中共现数据质量问题的大规模实证研究
Software Defect Prediction (SDP) 模型是主动软件质量保证的核心，但它们的有效性常常受到可用数据质量的限制。
- · software
[Paper] AI 生成的响应对软件工程调查的影响研究
Survey research 是软件工程中的一种基础经验方法，使得能够系统地收集关于专业实践、感知、以及…的数据。
- · ai
[Paper] 评估使用多智能体强化学习的长期电力市场设计以实现雄心勃勃的脱碳目标
电力系统是将当今社会转变为无碳经济的关键。包括拍卖在内的长期电力市场机制支持……
- · devops
[Paper] 民主化可扩展云应用：流式数据流上的事务性有状态函数
Web 应用是现代数字生活的基石，但构建可扩展且一致的云应用仍然困难，需要跨越云平台的专业知识。
- · ai
[Paper] SWE-Bench++：一个用于从开源仓库可扩展生成软件工程基准的框架
像 SWE-bench 这样的基准已经标准化了对大型语言模型（LLMs）在仓库级软件工程任务上的评估。然而，这些努力...
- · ai
[Paper] 飞机维护计划优化
我们提出了一个飞机维护调度问题，该问题需要将具备相应资格的人员分配到每架飞机的维护任务上。任务 o...
- · ai
[Paper] CIFE: 代码指令遵循评估
Large Language Models (LLMs) 正在越来越多地应用于真实场景的代码生成，在这种情况下，仅有功能正确性不足以实现可靠部署，……
- · software
[论文] GraphCue 用于 SDN 配置代码合成
我们提出 GraphCue，一个基于拓扑的检索和 agent‑in‑the‑loop 框架，用于自动化 SDN 配置。每个案例都抽象为一个 JSON 图…
- · ai
[Paper] 基于在线半去中心化 ST-GNNs 的自适应图剪枝与突发事件评估用于交通预测
时空图神经网络（ST‑GNNs）非常适合处理来自地理分布式传感器的高频数据流，用于智能移动…
- · devops
[Paper] 可扩展分布式向量搜索：通过保持精度的索引构建
将近似最近邻搜索（ANNS）扩展到数十亿向量，需要能够在准确率、延迟和吞吐量之间取得平衡的分布式索引。然而仍然存在……