Warped-compression: Enabling power efficient GPUs through register compression

S Lee, K Kim, G Koo, H Jeon, WW Ro… - ACM SIGARCH …, 2015 - dl.acm.org
This paper presents Warped-Compression, a warp-level register compression scheme for
reducing GPU power consumption. This work is motivated by the observation that the …

Reachability-based response-time analysis of preemptive tasks under global scheduling

P Gohari, J Voeten, M Nasri - 36th Euromicro Conference on …, 2024 - drops.dagstuhl.de
Global scheduling reduces the average response times as it can use the available
computing cores more efficiently for scheduling ready tasks. However, this flexibility poses …

Model-based framework for schedulability analysis using UPPAAL 4.1

A David, J Illum, KG Larsen… - Model-based design for …, 2018 - api.taylorfrancis.com
Embedded systems involve the monitoring and control of complex physical processes using
applications running on dedicated execution platforms in aresource-constrained manner in …

[PDF][PDF] Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling

M Nasri, G Nelissen… - 31st Conference on Real …, 2019 - cister.isep.ipp.pt
Most recurrent real-time applications can be modeled as a set of sequential code segments
(or blocks) that must be (repeatedly) executed in a specific order. In this paper, we provide a …

Sustainability in real-time scheduling

A Burns, S Baruah - Journal of Computing Science and …, 2008 - koreascience.kr
A scheduling policy or a schedulability test is defined to be sustainable if any task system
determined to be schedulable remains so if it behaves" better" than mandated by its system …

PROSA: A case for readable mechanized schedulability analysis

F Cerqueira, F Stutz… - 2016 28th Euromicro …, 2016 - ieeexplore.ieee.org
Motivated by a string of recent errata, the paper argues that mechanized, yet readable
schedulability proofs are desirable, feasible to create with current tools and with reasonable …

Partial-order reduction for schedule-abstraction-based response-time analyses of non-preemptive tasks

S Ranjha, G Nelissen, M Nasri - 2022 IEEE 28th Real-Time and …, 2022 - ieeexplore.ieee.org
The temporal correctness of safety-critical systems is typically guaranteed via a response-
time analysis (RTA). However, as systems become complex (eg, parallel tasks running on a …

An exact schedulability test for non-preemptive self-suspending real-time tasks

B Yalcinkaya, M Nasri… - 2019 Design, Automation …, 2019 - ieeexplore.ieee.org
Exact schedulability analysis of limited-preemptive (or non-preemptive) real-time workloads
with variable execution costs and release jitter is a notoriously difficult challenge due to the …

An exact and sustainable analysis of non-preemptive scheduling

M Nasri, BB Brandenburg - 2017 IEEE Real-Time Systems …, 2017 - ieeexplore.ieee.org
This paper provides an exact and sustainable schedulability test for a set of non-preemptive
jobs scheduled with a fixed-job-priority (FJP) policy upon a uniprocessor. Both classic work …

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling

N Guan, W Yi, Q Deng, Z Gu, G Yu - Journal of Systems Architecture, 2011 - Elsevier
Non-preemptive scheduling is usually considered inferior to preemptive scheduling for time
critical systems, because the non-preemptive block would lead to poor task responsiveness …