· ai
[Paper] RxnBench：一个用于评估大语言模型在科学文献中对化学反应理解的多模态基准
将多模态大语言模型（MLLMs）整合到化学领域有望彻底改变科学发现的方式，但它们理解 d...
-
- · software
[Paper] 超越每线程锁集合：多线程临界区与动态死锁预测
锁集通常用于死锁的动态分析。标准的每线程锁集构建仅考虑在同一线程中获取的锁，b...
- · software
[Paper] 超越正确性：通过多步自动定理证明揭示 LLM 生成的推理逻辑缺陷
大型语言模型（LLMs）已经展示出令人印象深刻的推理能力，因而被采用于医疗、法律等高风险领域，……
- · devops
[Paper] AdaptiFlow：用于云微服务中事件驱动自治的可扩展框架
现代云架构需要自适应能力来管理动态的运行条件。然而，现有的解决方案往往施加集中式控制……
- · software
[Paper] 可适应的 Teastore 与能源消耗感知：案例研究
[Context and Motivation] 全球能源消耗近年来稳步增长，数据中心已成为主要贡献者。这一增长 i...
- · software
[论文] 可适配 TeaStore：一种编排式方法
Adaptable TeaStore 最近被提出作为可适配微服务架构的参考模型。它包括不同的配置，以及……
- · devops
[Paper] 想给你的TeaStore配点芯片吗？可适应离散系统控制建模
在设计新的 Web 应用程序时，开发者必须应对相对于其所依赖资源的各种约束：software、hardware、network……
- · devops
[Paper] TeaStore 中的解耦自适应控制
Adaptable TeaStore 规范提供了一个基于微服务的案例研究，用于通过控制回路实现自适应。我们认为实现…
- · devops
[Paper] 云原生计算中 API 资源的最佳配置
本文介绍了如何将现有的离线性能优化框架应用于微服务应用程序的 Release 阶段的 D...
- · software
[Paper] 在项目式学习中嵌入质量保证
在本文中，我们分享了十余年在 Software Engineering (SE) 课程中教授软件质量方面的经验教训，其中的重点……
- · devops
[论文] Bitcoin-IPC：通过 Proof-of-Stake 子网网络扩展 Bitcoin
我们介绍了 Bitcoin-IPC，这是一套软件栈和协议，旨在扩展 Bitcoin，使其帮助其成为通用的交换媒介（Medium of Exchange，MoE），通过实现每...
- · devops
[Paper] 本地 Rendezvous Hashing：有界负载与通过 Cache-Local Candidates 实现的最小 churn
一致性哈希是分布式系统的基础，但环形方案除非使用大量虚拟节点，否则可能出现高峰值与平均负载比率。