Warped-compression: Enabling power efficient GPUs through register compression
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 …
reducing GPU power consumption. This work is motivated by the observation that the …
Reachability-based response-time analysis of preemptive tasks under global scheduling
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 …
computing cores more efficiently for scheduling ready tasks. However, this flexibility poses …
Model-based framework for schedulability analysis using UPPAAL 4.1
Embedded systems involve the monitoring and control of complex physical processes using
applications running on dedicated execution platforms in aresource-constrained manner in …
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
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 …
(or blocks) that must be (repeatedly) executed in a specific order. In this paper, we provide a …
Sustainability in real-time scheduling
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 …
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 …
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
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 …
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
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 …
with variable execution costs and release jitter is a notoriously difficult challenge due to the …
An exact and sustainable analysis of non-preemptive scheduling
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 …
jobs scheduled with a fixed-job-priority (FJP) policy upon a uniprocessor. Both classic work …
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling
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 …
critical systems, because the non-preemptive block would lead to poor task responsiveness …