中文
相关论文

相关论文: Soft Error Resilience and Failure Recovery for Con…

200 篇论文

Diffusion models have become a successful approach for solving various image inverse problems by providing a powerful diffusion prior. Many studies tried to combine the measurement into diffusion by score function replacement, matrix…

计算机视觉与模式识别 · 计算机科学 2024-05-20 Hanyu Chen , Zhixiu Hao , Liying Xiao

Cloud platforms host thousands of tenants that demand POSIX semantics, high throughput, and rapid evolution from their storage layer. Kernel-native distributed file systems supply raw speed, but their privileged code base couples every…

操作系统 · 计算机科学 2025-10-23 Haoyu Li , Jingkai Fu , Qing Li , Windsor Hsu , Asaf Cidon

This paper explores the application of functional data analysis (FDA) as a means to study the dynamics of software evolution in the open source context. Several challenges in analyzing the data from software projects are discussed, an…

统计理论 · 数学 2007-06-13 Katherine J. Stewart , David P. Darcy , Sherae L. Daniel

In-Memory Computing (IMC) introduces a new paradigm of computation that offers high efficiency in terms of latency and power consumption for AI accelerators. However, the non-idealities and defects of emerging technologies used in advanced…

Parallel computing is very important to accelerate the performance of software systems. Additionally, considering that a recurring challenge is to process high data volumes continuously, stream processing emerged as a paradigm and software…

分布式、并行与集群计算 · 计算机科学 2024-05-14 Adriano Vogel , Sören Henning , Esteban Perez-Wohlfeil , Otmar Ertl , Rick Rabiser

Spot instances offer a cost-effective solution for applications running in the cloud computing environment. However, it is challenging to run long-running jobs on spot instances because they are subject to unpredictable evictions. Here, we…

分布式、并行与集群计算 · 计算机科学 2022-10-07 Ashley Tung , Haiyan Wang , Yue Li , Zhong Wang , Jingchao Sun

Over the past decade, the high performance computing community has become increasingly concerned that preserving the reliable, digital machine model will become too costly or infeasible. In this paper we discuss four approaches for…

数学软件 · 计算机科学 2014-03-14 Michael A. Heroux

Deep neural networks (DNNs) have become one of the enabling technologies in many safety-critical applications, e.g., autonomous driving and medical image analysis. DNN systems, however, suffer from various kinds of threats, such as…

机器学习 · 计算机科学 2020-10-19 Yu Li , Min Li , Bo Luo , Ye Tian , Qiang Xu

The use of open-source software (OSS) is ever-increasing, and so is the number of open-source vulnerabilities being discovered and publicly disclosed. The gains obtained from the reuse of community-developed libraries may be offset by the…

密码学与安全 · 计算机科学 2025-03-18 Serena E. Ponta , Henrik Plate , Antonino Sabetta

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this paper. Structuring techniques answer the questions "How to incorporate fault-tolerance in the application layer of a…

软件工程 · 计算机科学 2015-04-14 Vincenzo De Florio , Chris Blondia

A gradual type system allows developers to declare certain types to be enforced by the compiler (i.e., statically typed), while leaving other types to be enforced via runtime checks (i.e., dynamically typed). When runtime checks fail,…

编程语言 · 计算机科学 2025-03-03 Felipe Bañados Schwerter , Ronald Garcia , Reid Holmes , Karim Ali

Context: Albeit different approaches exist for automated GUI testing of hybrid mobile applications, the practice appears to be not so commonly adopted by developers. A possible reason for such a low diffusion can be the fragility of the…

软件工程 · 计算机科学 2019-07-30 Riccardo Coppola , Luca Ardito , Marco Torchiano

The embedding of fault tolerance provisions into the application layer of a programming language is a non-trivial task that has not found a satisfactory solution yet. Such a solution is very important, and the lack of a simple, coherent and…

分布式、并行与集群计算 · 计算机科学 2014-01-16 Vincenzo De Florio , G. Deconinck

Reliability and availability analysis are essential in dependable critical embedded systems. The classical implementation of dependability for an embedded system relies on merging both fundamental structures with the required dependability…

分布式、并行与集群计算 · 计算机科学 2021-01-14 Mahmoud I. Banat , Belal H. Sababha , Sami Al-Hamdan

Many aerospace and automotive applications use FPGAs in their designs due to their low power and reconfigurability requirements. Meanwhile, such applications also pose a high standard on system reliability, which makes the early-stage…

硬件体系结构 · 计算机科学 2023-03-23 Eduardo Rhod , Behnam Ghavami , Zhenman Fang , Lesley Shannon

As the current COBOL workforce retires, entry-level developers are left to keep complex legacy systems maintained and operational. This creates a massive gap in knowledge and ability as companies are having their veteran developers replaced…

软件工程 · 计算机科学 2022-06-14 Dylan Lee , Austin Henley , Bill Hinshaw , Rahul Pandita

Due to the diversity and implicit redundancy in terms of processing units and compute kernels, off-the-shelf heterogeneous systems offer the opportunity to detect and tolerate faults during task execution in hardware as well as in software.…

操作系统 · 计算机科学 2014-05-14 Mario Kicherer , Wolfgang Karl

Most enterprise applications use logging as a mechanism to diagnose anomalies, which could help with reducing system downtime. Anomaly detection using software execution logs has been explored in several prior studies, using both classical…

机器学习 · 计算机科学 2023-11-01 Nadun Wijesinghe , Hadi Hemmati

Timing side-channel attacks exploit variations in program execution time to recover sensitive information. Cryptographic implementations are especially vulnerable to these attacks, since even small timing differences in operations such as…

密码学与安全 · 计算机科学 2026-04-21 Nges Brian Njungle , Edwin P. Kayang , Mishel J. Paul , Michel A. Kinsy

Machine learning (ML) applications have become an integral part of our lives. ML applications extensively use floating-point computation and involve very large/small numbers; thus, maintaining the numerical stability of such complex…

软件工程 · 计算机科学 2025-04-24 Shaila Sharmin , Anwar Hossain Zahid , Subhankar Bhattacharjee , Chiamaka Igwilo , Miryung Kim , Wei Le