English
Related papers

Related papers: Evaluating the Efficiency of Software-only Techniq…

200 papers

Software engineering (SE) agents powered by large language models are increasingly adopted in practice, yet they often incur substantial monetary cost. We introduce EET, an experience-driven early termination approach that reduces the cost…

Software Engineering · Computer Science 2026-04-21 Yaoqi Guo , Ying Xiao , Jie M. Zhang , Mark Harman , Yiling Lou , Yang Liu , Zhenpeng Chen

Machine learning (ML) techniques increase the effectiveness of software engineering (SE) lifecycle activities. We systematically collected, quality-assessed, summarized, and categorized 83 reviews in ML for SE published between 2009-2022,…

Software Engineering · Computer Science 2023-12-05 Zoe Kotti , Rafaila Galanopoulou , Diomidis Spinellis

In cryptographic engineering, extensive attention has been devoted to ameliorating the performance and security of the algorithms within. Nonetheless, in the state-of-the-art, the approaches for increasing the reliability of the efficient…

Cryptography and Security · Computer Science 2018-04-19 Mehran Mozaffari Kermani , Reza Azarderakhsh , Siavash Bayat-Sarmadi

Software defect prediction plays a crucial role in estimating the most defect-prone components of software, and a large number of studies have pursued improving prediction accuracy within a project or across projects. However, the rules for…

Software Engineering · Computer Science 2020-04-28 Peng He , Bing Li , Xiao Liu , Jun Chen , Yutao Ma

Quantum circuits will experience failures that lead to computational errors. We introduce Medusa, an automated compilation method for lowering a circuit's failure rate. Medusa uses flags to predict the absence of high-weight errors. Our…

Quantum Physics · Physics 2025-11-21 Karoliina Oksanen , Quan Hoang , Alexandru Paler

The software engineering field has a long history of classifying software failure causes. Understanding them is paramount for fault injection, focusing testing efforts or reliability prediction. Since software fails in manifold complex…

Software Engineering · Computer Science 2016-03-15 Lena Feinbube , Peter Tröger , Andreas Polze

Verification of modern microprocessors is a complex task that requires a substantial allocation of resources. Despite significant progress in formal verification, the goal of complete verification of an industrial design has not been…

Logic in Computer Science · Computer Science 2019-12-24 Shilpi Goel , Anna Slobodova , Rob Sumners , Sol Swords

The reliability of memory devices is affected by radiation induced soft errors. Multiple cell upsets (MCUs) caused by radiation corrupt data stored in multiple cells within memories. Error correction codes (ECCs) are typically used to…

Hardware Architecture · Computer Science 2023-08-01 Sayan Tripathi , Jhilam Jana , Jaydeb Bhaumik

Scan and ring schemes of the pseudo-ring memory selftesting are investigated. Both schemes are based on emulation of the linear or nonlinear feedback shift register by memory itself. Peculiarities of the pseudo-ring schemes implementation…

Hardware Architecture · Computer Science 2011-06-21 Diana Bodean , Ghenadie Bodean , Wajeb Gharibi

Cache coherence protocols based on self-invalidation and self-downgrade have recently seen increased popularity due to their simplicity, potential performance efficiency, and low energy consumption. However, such protocols result in memory…

Logic in Computer Science · Computer Science 2023-06-22 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , Yunyun Zhu

BACKGROUND: Software Process Improvement (SPI) is a systematic approach to increase the efficiency and effectiveness of a software development organization and to enhance software products. OBJECTIVE: This paper aims to identify and…

With the growing number of severe system disturbances and blackouts around the world, controlled system separation is becoming an increasingly important system integrity protection scheme (SIPS) to save the electric power system from a…

Systems and Control · Electrical Eng. & Systems 2023-05-30 Ilya Tyuryukanov , Marjan Popov , Jorrit A. Bos , Mart A. M. M. van der Meijden , Vladimir Terzija

Modern power systems have begun integrating synchrophasor technologies into part of daily operations. Given the amount of solutions offered and the maturity rate of application development it is not a matter of "if" but a matter of "when"…

Machine Learning · Computer Science 2015-09-18 Jordan Landford , Rich Meier , Richard Barella , Xinghui Zhao , Eduardo Cotilla-Sanchez , Robert B. Bass , Scott Wallace

Modern computer scaling trends in pursuit of larger component counts and power efficiency have, unfortunately, lead to less reliable hardware and consequently soft errors escaping into application data ("silent data corruptions").…

Software Engineering · Computer Science 2016-07-05 Vishal Chandra Sharma , Ganesh Gopalakrishnan , Sriram Krishnamoorthy

Satellites are used for a multitude of applications, including communications, Earth observation, and space science. Neural networks and deep learning-based approaches now represent the state-of-the-art to enhance the performance and…

Machine Learning · Computer Science 2025-11-18 Gabriele Greco , Carlo Cena , Umberto Albertin , Mauro Martini , Marcello Chiaberge

Reductions---rules that reduce input size while maintaining the ability to compute an optimal solution---are critical for developing efficient maximum independent set algorithms in both theory and practice. While several simple reductions…

Data Structures and Algorithms · Computer Science 2016-08-03 Darren Strash

Critical software systems face stringent requirements in safety, security, and reliability due to the circumstances surrounding their operation. Safety and security have progressively gained importance over the years due to the integration…

Software Engineering · Computer Science 2015-12-16 Julio Escribano-Barreno , Marisol García-Valls

Tracing back the instruction execution sequence to debug a multicore system can be very time-consuming because the relationships of the instructions can be very complex. For instructions that cannot be checked by the environment immediately…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-09 Yuzhe Luo , Xin Yu

Efficient low complexity error correcting code(ECC) is considered as an effective technique for mitigation of multi-bit upset (MBU) in the configuration memory(CM)of static random access memory (SRAM) based Field Programmable Gate Array…

Hardware Architecture · Computer Science 2018-10-24 Swagata Mandal , Sreetama Sarkar , Wong Ming Ming , Anupam Chattopadhyay , Amlan Chakrabarti

Software fault prediction (SFP) is a critical task in software engineering, enabling early identification of faults in modules to improve software quality and reduce maintenance costs. This research investigates the combined effects of…

Software Engineering · Computer Science 2026-05-19 Ahmad Nauman Ghazi , Nagajyothi Devarapalli , Ashir Javeed , Sadi Alawadi , Fahed Alkhabbas , Khalid AlKharabsheh
‹ Prev 1 8 9 10 Next ›