· 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
一致性哈希是分布式系统的基础，但环形方案除非使用大量虚拟节点，否则可能出现高峰值与平均负载比率。
- · devops
[Paper] 基于SLO驱动且成本感知的Kubernetes自动伸缩框架
Kubernetes 提供原生的自动伸缩机制，包括 Horizontal Pod Autoscaler、Vertical Pod Autoscaler 和节点级自动伸缩器，以实现弹性……
- · ai
[Paper] CubeBench: 诊断交互式、长时程空间推理在部分观测下
大型语言模型（LLM）代理虽然在数字领域表现出色，但由于在形成……方面的挑战，它们在物理世界部署方面存在显著差距。
- · ai
[Paper] 关于一致性规划与 $exists^*forall^*$ 超属性的模型检查
我们研究规划与验证社区中的两个问题之间的关联：Conformant planning 和 hyperproperties 的 model-checking。Conformant pl...
- · ai
[论文] 可解释神经逆运动学用于障碍感知机器人操作：IKNet 变体的比较分析
深度神经网络已经加速了 inverse-kinematics (IK) 推理，使得低成本机械臂能够实时执行复杂轨迹，...
- · ai
[Paper] Splitwise：通过 Lyapunov-Assisted DRL 实现 LLM 的协同边缘‑云推理
在边缘设备上部署大规模语言模型（LLMs）具有挑战性，因为它们的内存和电力资源有限。仅云推理可以降低设备负担……
- · ai
[Paper] MedGemma vs GPT-4：开源与专有 Zero-shot 医学疾病分类（基于图像）
多模态大型语言模型（LLMs）通过借助广泛的临床知识来解释扫描图像，为医学影像引入了一种新兴范式……