English
Related papers

Related papers: Towards Energy Consumption Verification via Static…

200 papers

Energy efficiency is one of the major concern in designing advanced computing infrastructures. From single nodes to large-scale systems (data centers), monitoring the energy consumption of the computing system when applications run is a…

The optimisation of software energy consumption is of growing importance across all scales of modern computing, i.e., from embedded systems to data-centres. Practitioners in the field of Search-Based Software Engineering and Genetic…

Software Engineering · Computer Science 2020-04-10 Mahmoud A. Bokhari , Brad Alexander , Markus Wagner

Although machine learning (ML) and artificial intelligence (AI) present fascinating opportunities for innovation, their rapid development is also significantly impacting our environment. In response to growing resource-awareness in the…

Artificial Intelligence · Computer Science 2025-09-29 Raphael Fischer

The rapid growth of data volume brings big challenges to the data center computing, and energy efficiency is one of the most concerned problems. Researchers from various fields are now proposing solutions to green the data center…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-17 Runlin Zhou , Yingjie Shi , Chunge Zhu , Fan Liu

Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-prone. Even analysis tools based on rigorous mathematical…

Software Engineering · Computer Science 2025-05-08 Daniela Ferreiro , Ignacio Casso , Jose F. Morales , Pedro López-García , Manuel V. Hermenegildo

Cloud data centers face increasing pressure to reduce operational energy consumption as big data workloads continue to grow in scale and complexity. This paper presents a workload aware and energy efficient scheduling framework that…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-21 Milan Parikh , Aniket Abhishek Soni , Sneja Mitinbhai Shah , Ayush Raj Jha

The limited energy available in most embedded systems poses a significant challenge in enhancing the performance of embedded processors and microcontrollers. One promising approach to address this challenge is the use of approximate…

Hardware Architecture · Computer Science 2024-10-10 Arvin Delavari , Faraz Ghoreishy , Hadi Shahriar Shahhoseini , Sattar Mirzakuchaki

Large Language Models (LLM) are increasingly used for software development, yet existing benchmarks for LLM-based coding assistance do not reflect the constraints of High Energy Physics (HEP) and High Performance Computing (HPC) software.…

Embedded Systems combine one or more processor cores with dedicated logic running on an ASIC or FPGA to meet design goals at reasonable cost. It is achieved by profiling the application with variety of aspects like performance, memory…

Performance · Computer Science 2013-12-12 Rajendra Patel , Arvind Rajwat

The ubiquity of machine learning (ML) and the demand for ever-larger models bring an increase in energy consumption and environmental impact. However, little is known about the energy scaling laws in ML, and existing research focuses on…

Machine Learning · Computer Science 2026-01-26 Emile Dos Santos Ferreira , Andrei Paleyes , Neil D. Lawrence

Profiling various application characteristics, including the number of different arithmetic operations performed, memory footprint, etc., dynamically is time- and space-consuming. On the other hand, static analysis methods, although fast,…

Software Engineering · Computer Science 2023-11-28 Atanu Barai , Nandakishore Santhi , Abdur Razzak , Stephan Eidenbenz , Abdel-Hameed A. Badawy

Porting code from CPU to GPU is costly and time-consuming; Unless much time is invested in development and optimization, it is not obvious, a priori, how much speed-up is achievable or how much room is left for improvement. Knowing the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-20 Newsha Ardalani , Urmish Thakker , Aws Albarghouthi , Karu Sankaralingam

Making energy consumption data accessible to software developers is an essential step towards energy efficient software engineering. The presence of various different, bespoke and incompatible, methods of instrumentation to obtain energy…

Software Engineering · Computer Science 2021-01-14 Hayden Field , Glen Anderson , Kerstin Eder

This paper presents a approach for measuring the time spent by HPC applications in the operating system's kernel. We use the SystemTap interface to insert timers before and after system calls, and take advantage of its stability to design a…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-25 Camille Coti , Kevin Huck , Allen D. Malony

Embedded systems have pervaded all walks of our life. With the increasing importance of mobile embedded systems and flexible applications, considerable progress in research has been made for power management. Power constraints are…

Other Computer Science · Computer Science 2013-03-05 Namita Sharma , Vineet Sahula , C. P. Ravikumar

Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given to a more difficult assurance problem: statically verifying…

Software Engineering · Computer Science 2026-05-19 Zhi Quan Zhou , Dave Towey , Tsong Yueh Chen

Energy efficiency is a fundamental requirement of modern data communication systems, and its importance is reflected in much recent work on performance analysis of system energy consumption. However, most works have only focused on…

Networking and Internet Architecture · Computer Science 2019-01-29 Faheem Zafari , Jian Li , Kin K. Leung , Don Towsley , Ananthram Swami

As AI inference scales to billions of queries and emerging reasoning and agentic workflows increase token demand, reliable estimates of per-query energy use are increasingly important for capacity planning, emissions accounting, and…

Monitoring users on large computing platforms such as high performance computing (HPC) and cloud computing systems is non-trivial. Utilities such as process viewers provide limited insight into what users are running, due to granularity…

Cryptography and Security · Computer Science 2020-05-08 Bogdan Copos , Sean Peisert

Nowadays, the use of mobile applications and terminals faces fundamental challenges related to energy constraint. This is due to the limited battery lifetime as compared to the increasing hardware evolution. Video streaming is one of the…

Multimedia · Computer Science 2012-09-03 Yahia Benmoussa , Jalil Boukhobza , Yassine Hadjadj Aoul , Loïc Lagadec , Djamel Benazzouz
‹ Prev 1 3 4 5 6 7 10 Next ›