中文
相关论文

相关论文: Language Support for Reliable Memory Regions

200 篇论文

High performance computing (HPC) software ecosystems are inherently heterogeneous, comprising scientific applications that depend on hundreds of external packages, each with distinct build systems, options, and dependency constraints. Tools…

软件工程 · 计算机科学 2025-11-11 Caetano Melone , Daniel Nichols , Konstantinos Parasyris , Todd Gamblin , Harshitha Menon

Memory disaggregation has recently been adopted in data centers to improve resource utilization, motivated by cost and sustainability. Recent studies on large-scale HPC facilities have also highlighted memory underutilization. A promising…

分布式、并行与集群计算 · 计算机科学 2023-11-30 Jacob Wahlgren , Gabin Schieffer , Maya Gokhale , Ivy Peng

We introduce a neural network with a recurrent attention model over a possibly large external memory. The architecture is a form of Memory Network (Weston et al., 2015) but unlike the model in that work, it is trained end-to-end, and hence…

神经与进化计算 · 计算机科学 2015-11-25 Sainbayar Sukhbaatar , Arthur Szlam , Jason Weston , Rob Fergus

HPC systems are a critical resource for scientific research. The increased demand for computational power and memory ushers in the exascale era, in which supercomputers are designed to provide enormous computing power to meet these needs.…

分布式、并行与集群计算 · 计算机科学 2022-08-11 Yehonatan Fridman , Yaniv Snir , Harel Levin , Danny Hendler , Hagit Attiya , Gal Oren

Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic…

编程语言 · 计算机科学 2017-01-13 Salvador Tamarit , Julio Mariño , Guillermo Vigueras , Manuel Carro

Modern computing systems have led cyber adversaries to create more sophisticated malware than was previously available in the early days of technology. Dated detection techniques such as Anti-Virus Software (AVS) based on signature-based…

密码学与安全 · 计算机科学 2022-01-20 Darren Cobian

Almost all modern hardware, from phone SoCs to high-end servers with accelerators, contain memory translation and protection hardware like IOMMUs, firewalls, and lookup tables which make it impossible to reason about, and enforce protection…

操作系统 · 计算机科学 2020-09-08 Reto Achermann , Nora Hossle , Lukas Humbel , Daniel Schwyn , David Cock , Timothy Roscoe

Recent High-Performance Computing (HPC) systems are facing important challenges, such as massive power consumption, while at the same time significantly under-utilized system resources. Given the power consumption trends, future systems…

分布式、并行与集群计算 · 计算机科学 2024-05-08 Eishi Arima , Isaías A. Comprés , Martin Schulz

Tasks in which rewards depend upon past information not available in the current observation set can only be solved by agents that are equipped with short-term memory. Usual choices for memory modules include trainable recurrent hidden…

机器学习 · 计算机科学 2024-12-18 Kevin McKee

In the field of software engineering, applying language models to the token sequence of source code is the state-of-art approach to build a code recommendation system. The syntax tree of source code has hierarchical structures. Ignoring the…

软件工程 · 计算机科学 2022-11-29 Yixiao Yang

Memory safety remains a critical and widely violated property in reality. Numerous defense techniques have been proposed and developed but most of them are not applied or enabled by default in production-ready environment due to their…

密码学与安全 · 计算机科学 2021-11-30 Wei Song , Jiameng Ying , Sihao Shen , Boya Li , Hao Ma , Peng Liu

As language model agents are applied to real world problems of increasing complexity, they will be expected to formulate plans across large search spaces. If those plans fail for reasons beyond their control, how well do language agents…

计算与语言 · 计算机科学 2025-08-18 Andrew Wang , Sophia Hager , Adi Asija , Daniel Khashabi , Nicholas Andrews

This work is based on the seminar titled ``Resiliency in Numerical Algorithm Design for Extreme Scale Simulations'' held March 1-6, 2020 at Schloss Dagstuhl, that was attended by all the authors. Naive versions of conventional resilience…

Existing memory management mechanisms used in commodity computing machines typically adopt hardware based address interleaving and OS directed random memory allocation to service generic application requests. These conventional memory…

操作系统 · 计算机科学 2017-04-06 Lei Liu

Increased adaptability of RNN language models leads to improved predictions that benefit many applications. However, current methods do not take full advantage of the RNN structure. We show that the most widely-used approach to adaptation…

计算与语言 · 计算机科学 2017-04-24 Aaron Jaech , Mari Ostendorf

Large Language Models (LLMs), including the LLaMA model, have exhibited their efficacy across various general-domain natural language processing (NLP) tasks. However, their performance in high-performance computing (HPC) domain tasks has…

分布式、并行与集群计算 · 计算机科学 2023-11-23 Xianzhong Ding , Le Chen , Murali Emani , Chunhua Liao , Pei-Hung Lin , Tristan Vanderbruggen , Zhen Xie , Alberto E. Cerpa , Wan Du

As AI models tackle increasingly complex problems, ensuring reliable human oversight becomes more challenging due to the difficulty of verifying solutions. Approaches to scaling AI supervision include debate, in which two agents engage in…

人工智能 · 计算机科学 2025-04-01 Gabriel Recchia , Chatrik Singh Mangat , Issac Li , Gayatri Krishnakumar

Recurrent Neural Networks (RNNs) are a class of machine learning algorithms used for applications with time-series and sequential data. Recently, there has been a strong interest in executing RNNs on embedded devices. However, difficulties…

神经与进化计算 · 计算机科学 2020-03-23 Nesma M. Rezk , Madhura Purnaprajna , Tomas Nordström , Zain Ul-Abdin

A new class of Second generation high-performance computing applications with heterogeneous, dynamic and data-intensive properties have an extended set of requirements, which cover application deployment, resource allocation, -control, and…

分布式、并行与集群计算 · 计算机科学 2017-02-28 Ole Weidner , Malcolm Atkinson , Adam Barker , Rosa Filgueira