arXiv

高级持续性威胁（APTs）由于其隐蔽且长期的特性，在网络安全领域构成了重大挑战。现代监督学习方法 …

Unit testing 是软件开发中必不可少但资源密集的一步，确保各个代码单元能够正确运行。本文介绍了 Agone……

我们描述了一个在多台树莓派（RPi）计算机上运行的完整功能的以太坊工作量证明（PoW）区块链网络原型。该原型是早期的…

构建自我改进的 AI 系统仍然是 AI 领域的根本挑战。我们提出 NNGPT，一个开源框架，将大型语言模型...

数据的日益可得性和计算智能的进步加速了数据驱动方法（DDMs）在产品开发中的采用。

LLM 模型规模的快速增长以及对长上下文推理的日益需求，使得内存成为 GPU 加速服务系统的关键瓶颈……

并行实现数值自适应网格细化（AMR）策略以求解三维弹性静力接触力学问题是迈向……的关键一步。

开发高性能 GPU 内核对于 AI 和科学计算至关重要，但由于它依赖于专家级的手工编写且可移植性差，仍然具有挑战性。

在大规模数据集上通过自监督学习（SSL）预训练的 Foundation models 已经成为强大的通用特征提取器。然而，thei...

认知缓冲假说（Cognitive Buffer Hypothesis，CBH）认为，较大的大脑在进化过程中是为了提升在变化环境中的生存能力。然而，较大的大脑也伴随更高的能量消耗……

分布式存储系统通常通过采用有序写入来在数据节点和元数据节点之间保持强一致性： 1) 首先写入数据； 2) …

异步联邦学习（FL）因其提升的效率和可扩展性而近期受到关注，使本地客户端能够将模型更新发送至 …

联邦学习（FL）已被广泛研究，作为一种保护隐私的训练范式。最近，联邦块坐标下降方案已成为……

近年来，资源弹性和成本优化已成为关系型数据库管理系统（RDBMS）的关键需求。虽然云原生的 RDBMS 通过 d...

Mobile agents 已经成为在分布式环境中解决基本图问题的强大框架。近年来，这些 agents 被建模为 aut...

Version control 依赖 commit messages 来传达代码更改的原因，但这些 messages 往往质量低下，更关键的是不一致……

联邦学习（FL）和拆分学习（SL）是无线网络中两种有效的分布式学习范式，能够实现协作模型训练...

人工智能生成内容（AIGC）在无线边缘网络中的服务供应包括两个阶段：在边缘服务器上生成内容以及 cont...

数据密集型科学工作流日益依赖高性能计算（HPC）系统，补充传统的 Grid 和 Cloud 平台。然而，...

加速器设计语言（ADLs）是一类高级语言，可编译为硬件单元，帮助领域专家快速设计高效的特定应用硬件……

大型语言模型（LLMs）和自主编码代理正日益被用于在广泛领域生成软件。然而，一个核心需求仍然……

基于LLM的编码代理正变得越来越普遍，但仍面临上下文管理、延迟、可靠性、可重复性和可扩展性方面的挑战。我们预…

AI 集成编程正逐渐成为构建具备大型语言模型（LLM）的智能系统的基础范式。最近的方法，例如 M...

Recent advancements in large language models (LLMs) have shown very impressive capabilities in code generation across many programming languages. However, even ... 近期在大型语言模型（LLMs）方面的进展显示出在多种编程语言的代码生成上非常令人印象深刻的能力。然而，即使……

在具有多个计算节点且每个节点内包含多个 CPU 并保持一致性的复杂系统中，一个关键挑战是维护高效且正确的 …

近年来，机器学习和深度学习通过推动图像分类、语音识别和异常检测等领域的进步，取得了显著的成果。

在分布式计算中，认证方案由一组状态及其上的条件构成，使得图中的每个节点能够高效地验证……

智能手机上的本地代理越来越需要持续演进的记忆，以支持个性化、情境感知和长期行为。为了满足两者……

本文提出了一种技术，帮助在一组备选方案中选择最佳的形式规范候选。给定一组规范，我们的技术……

一种广为人知的用于汽车软件系统（ASSs）安全评估和实时验证的测试方法是故障注入（Fault Injection，FI）。根据……

Obfuscation 对于软件工程任务（如程序理解、维护、测试和漏洞检测）构成了持续的挑战。While …

对候选解表示的恰当选择对于进化算法及相关元启发式方法的效率至关重要。我们关注……

Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highli...

Linux 内核演进通过 API/ABI 变更、语义转变以及安全强化更新破坏驱动程序。我们介绍 **DRIVEBENCH**，一个可执行的语料库……

Deep Learning（DL）编译器已被广泛用于优化 DL 模型，以实现跨各种硬件的高效部署。由于它们在 DL...

AI 应用的爆炸性增长导致对 GPU 资源的需求空前。云服务提供商通过 GPU-as-a-Service 平台满足这种需求……

内在函数是编译器提供的专用函数，能够高效地在特定架构的硬件上运行，使程序员能够编写…

我们提出了一个新颖的框架，将大型语言模型（LLMs）集成到 Git bisect 过程中，以实现语义故障定位。传统的 bisect 假设……

大型语言模型（LLMs）正日益被集成到代码编辑器中，以提供 AI 驱动的代码建议。然而，许多这些建议被忽视、重新…

大型语言模型（LLMs）通过生成上下文感知的建议，彻底改变了代码自动补全。然而，何时向用户展示这些建议仍是一个挑战……

Personalized Federated Learning（PFL）面临持续的挑战，包括来自多样化客户端数据的域异质性，以及由于参与偏斜导致的数据不平衡……

大型语言模型（LLMs）即使在基准测试中表现强劲，也常常生成带有细微实现层面错误的代码。这些错误对LLMs来说很难……

理解胶质母细胞瘤（GBM）如何从最初健康的胶质组织中出现，需要整合生物电、代谢以及多细胞动力学的模型。

科学工作流编码了宝贵的领域专长和计算方法。然而，研究始终表明，已发表的……

本研究的动机来源于有界约束问题数值优化中的鲁棒性问题：许多在特定基准上表现良好的算法，在稍作扰动的相同问题上可能会出现剧烈失败。我们提出了一类新算法，采用一种简单而有效的保障机制，基于类似信赖域的步长控制。该方法在理论上进行了分析，在标准假设下证明了全局收敛性，并在一套测试问题上展示了其实践性能，包括合成问题和真实案例。数值实验表明，所提方法在不牺牲效率的前提下显著提升了鲁棒性。