中文
相关论文

相关论文: SoK: Software Compartmentalization

200 篇论文

The parallel and distributed processing are becoming de facto industry standard, and a large part of the current research is targeted on how to make computing scalable and distributed, dynamically, without allocating the resources on…

分布式、并行与集群计算 · 计算机科学 2024-04-10 Rajendra Purohit , K R Chowdhary , S D Purohit

Systematic application of software metric techniques can lead to significant improvements of the quality of a final software product. However, there is still the evident lack of wider utilization of software metrics techniques and tools due…

软件工程 · 计算机科学 2013-11-18 Gordana Rakic , Zoran Budimac

Software modernization is an inherent activity of software engineering, as technology advances and systems inevitably become outdated. The term "software modernization" emerged as a research topic in the early 2000s, with a differentiation…

软件工程 · 计算机科学 2024-07-08 Wesley K. G. Assunção , Luciano Marchezan , Alexander Egyed , Rudolf Ramler

Distributed locking mechanisms are fundamental to ensuring data consistency and integrity in distributed systems. This paper presents a comprehensive analysis of distributed locking algorithms, focusing on their performance characteristics…

分布式、并行与集群计算 · 计算机科学 2025-04-07 Andre Rodriguez , William Osborn

Due to the growing complexity of software systems, there has been a dramatic increase and industry demand for tools and techniques on software refactoring in the last ten years, defined traditionally as a set of program transformations…

软件工程 · 计算机科学 2020-07-07 Chaima Abid , Vahid Alizadeh , Marouane Kessentini , Thiago do Nascimento Ferreira , Danny Dig

Context: Open public data enable different stakeholders to perform analysis and uncover information from different perspectives. The identification and analysis of data from prison systems is not a trivial task. It raises the need for the…

Rapid technological progress in computer sciences finds solutions and at the same time creates ever more complex requirements. Due to an evolving complexity todays programming languages provide powerful frameworks which offer standard…

人机交互 · 计算机科学 2019-05-17 Igor Ivkic , Alexander Wöhrer , Markus Tauber

As quantum technology matures, the efficient benchmarking of quantum devices remains a key challenge. Although sample-efficient, information-theoretic benchmarking techniques have recently been proposed, there is still a gap in adapting…

量子物理 · 物理学 2025-10-22 Ana Silva , Eliska Greplova

Automatic summarisation is a popular approach to reduce a document to its main arguments. Recent research in the area has focused on neural approaches to summarisation, which can be very data-hungry. However, few large datasets exist and…

计算与语言 · 计算机科学 2017-06-14 Ed Collins , Isabelle Augenstein , Sebastian Riedel

There is an increasing need for organizations to collaborate with internal and external partners on a global scale for creating software-based products and services. Many aspects and risks need to be addressed when setting up such global…

软件工程 · 计算机科学 2014-10-07 Inna Smirnova

Graph-structured data is prevalent in domains such as social networks, financial transactions, brain networks, and protein interactions. As a result, the research community has produced new databases and analytics engines to process such…

数据库 · 计算机科学 2024-04-02 Puneet Mehrotra , Vaastav Anand , Daniel Margo , Milad Rezaei Hajidehi , Margo Seltzer

System performance for networks composed of interconnected subsystems can be increased if the traditionally separated subsystems are jointly optimized. Recently, parallel and distributed optimization methods have emerged as a powerful tool…

最优化与控制 · 数学 2013-02-14 Ion Necoara , Valentin Nedelcu , Ioan Dumitrache

Large-scale simulation optimization (SO) problems encompass both large-scale ranking-and-selection problems and high-dimensional discrete or continuous SO problems, presenting significant challenges to existing SO theories and algorithms.…

最优化与控制 · 数学 2024-03-26 Weiwei Fan , L. Jeff Hong , Guangxin Jiang , Jun Luo

As renewable energy integration, sector coupling, and spatiotemporal detail increase, energy system optimization models grow in size and complexity, often pushing solvers to their performance limits. This systematic review explores…

Distributed quantum information processing seeks to overcome the scalability limitations of monolithic quantum devices by interconnecting multiple quantum processing nodes via classical and quantum communication. This approach extends the…

量子物理 · 物理学 2025-10-20 Johannes Knörzer , Xiaoyu Liu , Benjamin F. Schiffer , Jordi Tura

Context: Data mining techniques have demonstrated to be a powerful technique for discovering insights hidden in data from a domain. However, these techniques demand very specialised skills. People willing to analyse data often lack these…

数据库 · 计算机科学 2019-03-21 Alfonso de la Vega , Diego García-Saiz , Marta Zorrilla , Pablo Sánchez

As modern software systems continue to grow in complexity, triage has become a fundamental process in system operations and maintenance. Triage aims to efficiently prioritize, assign, and assess issues to ensure the reliability of complex…

软件工程 · 计算机科学 2025-11-13 Yongxin Zhao , Shenglin Zhang , Yujia Wu , Yuxin Sun , Yongqian Sun , Dan Pei , Chetan Bansal , Minghua Ma

Background: Data mining and analyzing of public Git software repositories is a growing research field. The tools used for studies that investigate a single project or a group of projects have been refined, but it is not clear whether the…

软件工程 · 计算机科学 2020-08-18 Adam Tutko , Austin Henley , Audris Mockus

How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scientific progress for some time but there remains only a small…

计算机科学中的逻辑 · 计算机科学 2015-02-10 Tom Crick , Benjamin A. Hall , Samin Ishtiaq

With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually apply the power of distributed computational systems, there must…

编程语言 · 计算机科学 2010-09-21 Vasco Pedro , Salvador Abreu