English
Related papers

Related papers: Rapid Generation of Thermal-Safe Test Schedules

200 papers

The Oven Scheduling Problem (OSP) is a new parallel batch scheduling problem that arises in the area of electronic component manufacturing. Jobs need to be scheduled to one of several ovens and may be processed simultaneously in one batch…

Artificial Intelligence · Computer Science 2022-03-24 Marie-Louise Lackner , Christoph Mrkvicka , Nysret Musliu , Daniel Walkiewicz , Felix Winter

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

Thermal management is vital for the efficient and safe operation of alkaline electrolysis systems. Traditional alkaline electrolysis systems use simple proportional-integral-differentiation (PID) controllers to maintain the stack…

Systems and Control · Electrical Eng. & Systems 2022-03-01 Ruomei Qi , Jiarong Li , Jin Lin , Yonghua Song , Jiepeng Wang , Qiangqiang Cui , Yiwei Qiu , Ming Tang , Jian Wang

Embedded hard real time systems require substantial amount of emergency processing power for the management of large scale systems like a nuclear power plant under the threat of an earth quake or a future transport systems under a peril. In…

Other Computer Science · Computer Science 2012-04-02 Gopalakrishnan T. R. Nair , Christy A. Persya

Due to the increasing complexity seen in both workloads and hardware resources in state-of-the-art embedded systems, developing efficient real-time schedulers and the corresponding schedulability tests becomes rather challenging. Although…

Operating Systems · Computer Science 2020-07-13 Zelun Kong , Yaswanth Yadlapalli , Soroush Bateni , Junfeng Guo , Cong Liu

This paper proposes a detailed optimal scheduling model of an exemplar multi-energy system comprising combined cycle power plants (CCPPs), battery energy storage systems, renewable energy sources, boilers, thermal energy storage…

Systems and Control · Computer Science 2018-11-26 Ashok Krishnan , Bhagyesh V. Patil , Foo Y. S. Eddy

Increasing data volumes in scientific experiments necessitate the use of high-performance computing (HPC) resources for data analysis. In many scientific fields, the data generated from scientific instruments and supercomputer simulations…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-25 Sam Nickolay , Eun-Sung Jung , Rajkumar Kettimuthu , Ian Foster

This paper describes an integrated framework for SOC test automation. This framework is based on a new approach for Wrapper/TAM co-optimization based on rectangle packing considering the diagonal length of the rectangles to emphasize on…

Other Computer Science · Computer Science 2010-08-27 Hafiz Md. Hasan Babu , Md. Rafiqul Islam , Muhammad Rezaul Karim , Abdullah Al Mahmud , Md. Saiful Islam

We consider the problem of scheduling on a single processor a given set of n jobs. Each job j has a workload w_j and a release time r_j. The processor can vary its speed and hibernate to reduce energy consumption. In a schedule minimizing…

Data Structures and Algorithms · Computer Science 2012-10-23 Evripidis Bampis , Christoph Dürr , Fadi Kacem , Ioannis Milis

The complexity of embedded application design is increasing with growing user demands. In particular, automotive embedded systems are highly complex in nature, and their functionality is realized by a set of periodic tasks. These tasks may…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-28 Anna Minaeva , Benny Akesson , Zdenek Hanzalek , Dakshina Dasari

We consider a task graph mapped on a set of homogeneous processors. We aim at minimizing the energy consumption while enforcing two constraints: a prescribed bound on the execution time (or makespan), and a reliability threshold. Dynamic…

Data Structures and Algorithms · Computer Science 2012-08-03 Guillaume Aupy , Anne Benoit , Yves Robert

Collaborative filtering (CF) has been proven to be one of the most effective techniques for recommendation. Among all CF approaches, SimpleX is the state-of-the-art method that adopts a novel loss function and a proper number of negative…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-04 Chengming Zhang , Shaden Smith , Baixi Sun , Jiannan Tian , Jonathan Soifer , Xiaodong Yu , Shuaiwen Leon Song , Yuxiong He , Dingwen Tao

Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots, it is common that the target machines need to share some…

Software Engineering · Computer Science 2019-02-14 Morten Mossige , Arnaud Gotlieb , Helge Spieker , Hein Meling , Mats Carlsson

Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thread. Verification techniques such as model checking need to…

Programming Languages · Computer Science 2020-04-15 Patrick Metzler , Habib Saissi , Péter Bokor , Neeraj Suri

New testing and development procedures and methods are needed to address topics like power system stability, operation and control in the context of grid integration of rapidly developing smart grid technologies. In this context, individual…

In the electric system, extreme weather events can cause trips or physical damage to transmission lines, leading to large-scale load shedding. To mitigate power shedding, we propose a framework that pre-positions the commitment of…

Optimization and Control · Mathematics 2026-04-07 Yongzheng Dai , Antonio J. Conejo , Feng Qiu

Power dissipation in sequential circuits is due to increased toggling count of Circuit under Test, which depends upon test vectors applied. If successive test vectors sequences have more toggling nature then it is sure that toggling rate of…

Neural and Evolutionary Computing · Computer Science 2011-11-08 Balwnder Singh , Sukhleen Bindra Narang , Arun Khosla

We consider a 1-machine scheduling problem where the temperature of a job rises during processing, and cools down when not being processed according to given linear heating and cooling rates. No job's temperature is allowed to rise above a…

Optimization and Control · Mathematics 2023-12-18 Roel Lambers , Rudi Pendavingh , Frits Spieksma , Céline M. F. Swennenhuis

Optimization of cyclic stochastic heat engines, a topic spanning decades of research, commonly assumes fixed control or response parameters at discrete points in the cycle-a limitation that often leads to experimentally impractical…

Statistical Mechanics · Physics 2025-07-02 Monojit Chatterjee , Viktor Holubec , Rahul Marathe

Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be…

Data Structures and Algorithms · Computer Science 2021-08-20 Susanne Albers , Alexander Eckl