· devops
[论文] PolarStore：面向大规模云原生数据库的高性能数据压缩
近年来，资源弹性和成本优化已成为关系型数据库管理系统（RDBMS）的关键需求。虽然云原生的 RDBMS 通过 d...
-
- · devops
[Paper] 改进的线性时间最小支配集构造 via Mobile Agents
Mobile agents 已经成为在分布式环境中解决基本图问题的强大框架。近年来，这些 agents 被建模为 aut...
- · software
[Paper] 通过性能分析理解加速器编译器
加速器设计语言（ADLs）是一类高级语言，可编译为硬件单元，帮助领域专家快速设计高效的特定应用硬件……
- · ai
[Paper] 少提示，多微笑：使用语义工程取代提示工程的 MTP
AI 集成编程正逐渐成为构建具备大型语言模型（LLM）的智能系统的基础范式。最近的方法，例如 M...
- · ai
[Paper] SLMFix: 利用小型语言模型通过强化学习进行错误修复
Recent advancements in large language models (LLMs) have shown very impressive capabilities in code generation across many programming languages. However, even ... 近期在大型语言模型（LLMs）方面的进展显示出在多种编程语言的代码生成上非常令人印象深刻的能力。然而，即使……
- · devops
> **Source:** ... [论文] 在 ARMv8 环境中对虚拟地址远程 DMA 的 IOMMU 支持
在具有多个计算节点且每个节点内包含多个 CPU 并保持一致性的复杂系统中，一个关键挑战是维护高效且正确的 …
- · ai
神经架构搜索用于量子自编码器
近年来，机器学习和深度学习通过推动图像分类、语音识别和异常检测等领域的进步，取得了显著的成果。
- · software
[Paper] 合成用于缩小规范候选的测试用例
本文提出了一种技术，帮助在一组备选方案中选择最佳的形式规范候选。给定一组规范，我们的技术……
- · software
[Paper] LLMs 驱动的实时故障注入：面向智能故障测试用例生成的方法
一种广为人知的用于汽车软件系统（ASSs）安全评估和实时验证的测试方法是故障注入（Fault Injection，FI）。根据……
- · ai
[论文] LLMs 能恢复程序语义吗？使用 Symbolic Execution 的系统性评估
Obfuscation 对于软件工程任务（如程序理解、维护、测试和漏洞检测）构成了持续的挑战。While …
- · ai
[Paper] Lehmer 码的理论与实证分析：使用进化算法搜索置换空间
对候选解表示的恰当选择对于进化算法及相关元启发式方法的效率至关重要。我们关注……
- · software
[Paper] LLMAID：使用大型语言模型识别 Android 应用中的 AI 能力
Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highli...