中文
相关论文

相关论文: Resolving inconsistencies of runtime configuration…

200 篇论文

Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness…

分布式、并行与集群计算 · 计算机科学 2018-02-27 Valter Balegas , Nuno Preguiça , Sérgio Duarte , Carla Ferreira , Rodrigo Rodrigues

Self-adaptive systems (SASs) are capable of adjusting its behavior in response to meaningful changes in the operational con-text and itself. The adaptation needs to be performed automatically through self-managed reactions and…

软件工程 · 计算机科学 2017-04-06 Zhuoqun Yang , Zhi Jin , Zhi Li

Statements about entities occur everywhere, from newspapers and web pages to structured databases. Correlating references to entities across systems that use different identifiers or names for them is a widespread problem. In this paper, we…

人工智能 · 计算机科学 2014-06-27 R. V. Guha

Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different resource requirements, Pal et al. proposed a novel…

编程语言 · 计算机科学 2016-06-21 Sanjiva Prasad

FPGAs are increasingly being deployed in the cloud to accelerate diverse applications. They are to be shared among multiple tenants to improve the total cost of ownership. Partial reconfiguration technology enables multi-tenancy on FPGA by…

硬件体系结构 · 计算机科学 2022-07-05 Ahsan Javed Awan , Fidan Aliyeva

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be…

软件工程 · 计算机科学 2015-04-15 Uwe Lesta , Ina Schaefer , Tim Winkelmann

Smart environment applications demand novel solutions for managing quality of services, especially availability and reliability at run-time. The underlying systems are changing dynamically due to addition and removal of system components,…

系统与控制 · 计算机科学 2015-07-02 Ehsan Ullah Warriach , Tanir Ozcelebi , Johan J. Lukkien

With the intensified use of intelligent things, the demands on the technological systems are increasing permanently. A possible approach to meet the continuously changing challenges is to shift the system integration from design to run-time…

人工智能 · 计算机科学 2018-08-13 Andreas Niederquell

This paper proposes configuration testing--evaluating configuration values (to be deployed) by exercising the code that uses the values and assessing the corresponding program behavior. We advocate that configuration values should be…

软件工程 · 计算机科学 2019-07-30 Tianyin Xu , Owolabi Legunsen

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

A computing job in a big data system can take a long time to run, especially for pipelined executions on data streams. Developers often need to change the computing logic of the job such as fixing a loophole in an operator or changing the…

数据库 · 计算机科学 2022-10-20 Zuozhi Wang , Shengquan Ni , Avinash Kumar , Chen Li

Reconfiguration demand is increasing due to frequent requirement changes for manufacturing systems. Recent approaches aim at investigating feasible configuration alternatives from which they select the optimal one. This relies on processes…

机器学习 · 计算机科学 2021-06-01 Benjamin Maschler , Timo Müller , Andreas Löcklin , Michael Weyrich

Runtime resource management for many-core systems is increasingly complex. The complexity can be due to diverse workload characteristics with conflicting demands, or limited shared resources such as memory bandwidth and power. Resource…

硬件体系结构 · 计算机科学 2020-08-04 Bryan Donyanavard , Amir M. Rahmani , Axel Jantsch , Onur Mutlu , Nikil Dutt

Finding the best configuration of algorithms' hyperparameters for a given optimization problem is an important task in evolutionary computation. We compare in this work the results of four different hyperparameter tuning approaches for a…

神经与进化计算 · 计算机科学 2022-03-18 Furong Ye , Carola Doerr , Hao Wang , Thomas Bäck

Information Fusion Systems are now widely used in different fusion contexts, like scientific processing, sensor networks, video and image processing. One of the current trends in this area is to cope with distributed systems. In this…

分布式、并行与集群计算 · 计算机科学 2009-06-26 Eric Benoit , Marc-Philippe Huget , Patrice Moreaux , Olivier Passalacqua

Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, these systems are prone to partitioning, which by Brewer's CAP…

分布式、并行与集群计算 · 计算机科学 2015-01-12 Matthieu Perrin , Achour Mostéfaoui , Claude Jard

Mission critical software is often required to comply with multiple regulations, standards or policies. Recent paradigms, such as cloud computing, also require software to operate in heterogeneous, highly distributed, and changing…

软件工程 · 计算机科学 2016-11-18 Jesús García-Galán , Liliana Pasquale , George Grispos , Bashar Nuseibeh

To develop software with optimal performance, even small performance changes need to be identified. Identifying performance changes is challenging since the performance of software is influenced by non-deterministic factors. Therefore, not…

软件工程 · 计算机科学 2023-03-28 David Georg Reichelt , Stefan Kühne , Wilhelm Hasselbring

Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are universal in software development due to practical…

计算机科学中的逻辑 · 计算机科学 2013-05-28 Emil Sekerinski , Tian Zhang

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the…

分布式、并行与集群计算 · 计算机科学 2016-11-08 Vincenzo De Florio