English
Related papers

Related papers: Rapid Generation of Thermal-Safe Test Schedules

200 papers

Mission-critical system, such as satellite systems, healthcare systems, and nuclear power plant control systems, undergo rigorous testing to ensure they meet specific operational requirements throughout their operation. This includes…

Software Engineering · Computer Science 2025-10-07 Raphaël Ollando , Seung Yeob Shin , Mario Minardi , Nikolas Sidiropoulos

The proliferation of heterogeneous chip multiprocessors in recent years has reached unprecedented levels. Traditional homogeneous platforms have shown fundamental limitations when it comes to enabling high-performance yet-ultra-low-power…

In this work, we consider a scheduling problem faced by production companies with large electricity consumption. Due to the contract with the electric utility, the production companies are obligated to comply with the total energy…

Data Structures and Algorithms · Computer Science 2018-02-14 István Módos , Přemysl Šůcha , Zdeněk Hanzálek

Major chip manufacturers have all introduced multicore microprocessors. Multi-socket systems built from these processors are used for running various server applications. However to the best of our knowledge current commercial operating…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-24 Suryanarayana Murthy Durbhakula

Their highly adaptive nature and the combinatorial explosion of possible configurations makes testing context-oriented programs hard. We propose a methodology to automate the generation of test scenarios for developers of feature-based…

Software Engineering · Computer Science 2021-09-27 Pierre Martou , Kim Mens , Benoît Duhoux , Axel Legay

The higher speed, scalability and parallelism offered by ReRAM crossbar arrays foster development of ReRAM-based next generation AI accelerators. At the same time, sensitivity of ReRAM to temperature variations decreases R_on/Roff ratio and…

Hardware Architecture · Computer Science 2023-02-02 Kamilya Smagulova , Mohammed E. Fouda , Ahmed Eltawil

We consider the problem of efficiently scheduling the production of goods for a model steel manufacturing company. We propose a new approach for solving this classic problem, using techniques from the statistical physics of complex networks…

Physics and Society · Physics 2012-06-14 Osamu Yamaguchi , Soumen Roy , Raissa M. D'Souza

While previous work on energy-efficient algorithms focused on assumption that tasks can be assigned to any processor, we initially study the problem of task scheduling on restricted parallel processors. The objective is to minimize the…

Data Structures and Algorithms · Computer Science 2013-09-17 Xibo Jin , Fa Zhang , Ying Song , Liya Fan , Zhiyong Liu

Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with hardware systems. Building test schedules, which focus on…

Software Engineering · Computer Science 2024-03-20 Arnaud Gotlieb , Morten Mossige , Helge Spieker

This communication deals with a theoretical study of the hot spot onset (HSO) in cellular bipolar power transistors. This well-known phenomenon consists of a current crowding within few cells occurring for high power conditions, which…

Materials Science · Physics 2007-09-13 F. Stefani , P. -E. Bagnoli

A variety of computing platform like Field Programmable Gate Array (FPGA), Graphics Processing Unit (GPU) and multicore Central Processing Unit (CPU) in data centers are suitable for acceleration of data-intensive workloads. Especially,…

Hardware Architecture · Computer Science 2023-11-21 Rourab Paul , Marco Danelutto

The management of the energy consumption and thermal dissipation of multi-core heterogeneous platforms is becoming increasingly important as it can have direct impact on the platform performance. This paper discusses an approach that…

Software Engineering · Computer Science 2021-04-22 Joel Öhrling , Dragos Truscan , Sebastien Lafond

In safety-critical autonomous systems, data freshness presents a fundamental design challenge. While the Logical Execution Time (LET) paradigm ensures compositional determinism, it often does so at the cost of injected latency, degrading…

Operating Systems · Computer Science 2026-03-11 José Luis Conradi Hoffmann , Antônio Augusto Fröhlich

Recent safety standards set stringent requirements for the target fault coverage in embedded microprocessors, with the objective to guarantee robustness and functional safety of the critical electronic systems. This motivates the need for…

Hardware Architecture · Computer Science 2019-09-04 Adeboye Stephen Oyeniran , Raimund Ubar , Maksim Jenihhin , Cemil Cem Gürsoy , Jaan Raik

Research in the area of automated test generation has seen remarkable progress in recent years, resulting in several approaches and tools for effective and efficient generation of test cases. In particular, the EvoSuite tool has been at the…

Software Engineering · Computer Science 2025-01-17 Fitsum Kifetew , Davide Prandi , Angelo Susi

In this paper we consider the scheduling problem of hard real-time systems composed of periodic constrained-deadline tasks upon identical multiprocessor platforms. We assume that tasks are scheduled by using the global-EDF scheduler. We…

Operating Systems · Computer Science 2010-12-30 Joël Goossens , Patrick Meumeu Yomsi

We present a number of novel algorithms, based on mathematical optimization formulations, in order to solve a homogeneous multiprocessor scheduling problem, while minimizing the total energy consumption. In particular, for a system with a…

Operating Systems · Computer Science 2015-11-13 Mason Thammawichai , Eric C. Kerrigan

Automatic test generation aims to save developers time and effort by producing test suites with reasonably high coverage and fault detection. However, the focus of search-based generation tools in maximizing coverage leaves other…

Software Engineering · Computer Science 2025-04-11 Geraldine Galindo-Gutierrez

Molecular dynamics (MD) simulations are widely used to study large-scale molecular systems. HPC systems are ideal platforms to run these studies, however, reaching the necessary simulation timescale to detect rare processes is challenging,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-22 Tu Mai Anh Do , Loïc Pottier , Rafael Ferreira da Silva , Frédéric Suter , Silvina Caíno-Lores , Michela Taufer , Ewa Deelman

Enhanced processing power in the cloud allows constrained devices to offload costly computations: for instance, complex data analytics tasks can be computed by remote servers. Remote execution calls for a new compression paradigm that…

Information Theory · Computer Science 2021-11-18 Fabrizio Carpi , Siddharth Garg , Elza Erkip
‹ Prev 1 4 5 6 7 8 10 Next ›