· ai
[Paper] 主动视频感知：迭代证据搜索用于 Agentic 长视频理解
长视频理解（LVU）具有挑战性，因为回答现实世界的查询往往依赖于埋藏在数小时大部分内容中的稀疏、时间上分散的线索……
-
- · ai
[Paper] 使用条件可逆神经网络进行系外行星形成推断
对已观测到的系外行星起源的解释通常只能定性进行，因为行星形成模型中的关键参数存在不确定性。为了...
- · software
[Paper] MicroRacer：检测云服务系统中的并发错误
现代 cloud applications 提供全球服务，通常构建在具有 microservice architecture 的 distributed systems 上。在这些系统中，端到端用户 r...
- · devops
[Paper] Metronome：差异化延迟调度用于 Serverless Functions
Function-as-a-Service（FaaS）计算是一种新兴的云计算范式，因其易于管理和弹性而受到关注。然而，优化调度以 ser...
- · ai
[Paper] AI 辅助编程在终端用户开发中的可行性
End-user development，非程序员创建或改编自己的数字工具，能够在推动组织内部的数字化转型中发挥关键作用。...
- · software
[Paper] 通过复杂事件处理执行离散/连续声明式过程规范
传统业务流程管理（BPM）侧重于离散事件，未能在网络物理环境中整合关键的连续传感器数据。
- · software
[Paper] 通过编译消除竞争检测的开销
Dynamic data race detectors 对于标记软件中的并发错误是不可或缺的，但它们的高运行时开销限制了它们的采用。这个开销 …
- · software
[Paper] 自动代码审查分配：GitHub 上代码所有权的另一种视角
代码所有权是确保大型软件开发中问责制和保持质量的核心。然而，随着外部威胁如软件供应链攻击的出现……
- · devops
[Paper] 公交车上安装的 Edge 服务器可行吗？
边缘服务器的布局是为车联网（Internet of Vehicles，IoV）提供边缘计算服务的前提条件。固定地点的边缘服务器部署在路侧单元（Road Side Units）...
- · software
从挑战到变革：AI 转型的设计原则
人工智能（AI）的快速崛起正在重塑软件工程（SE），创造新的机遇，同时带来以人为中心的挑战。
- · devops
[Paper] 编译器支持的低精度和 AoS-SoA 转换用于异构硬件
本研究评估了在多个 GPU 平台上，对粒子模拟代码的低精度数据布局进行 AoS 到 SoA 转换的效果：我们假设……
- · ai
[Paper] 通过时空分离释放脉冲神经网络的时间容量
脉冲神经网络（SNN）被认为天然适合时间处理，膜电位传播被广泛视为核心的时间……