Up a level |
(2017) An Exact and Sustainable Analysis of Non-preemptive Scheduling.
(2017) Quantifying the Resiliency of Replicated Networked Control Systems to Transient Faults.
(2017) Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems.
(2017) TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference.
(2017) An Exact and Sustainable Analysis of Non-preemptive Scheduling.
(2017) A Note on the Period Enforcer Algorithm for Self-Suspending Tasks.
(2017) Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS.
(2017) Swayam: distributed autoscaling to meet SLAs of machine learning inference services with resource efficiency.
(2016) A Blocking Bound for Nested FIFO Spin Locks.
(2016) Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations.
(2016) Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors.
(2016) Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities.
(2016) PROSA: A Case for Readable Mechanized Schedulability Analysis.
(2016) A Note on the Period Enforcer Algorithm for Self-Suspending Tasks.
(2015) Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison.
(2015) When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems.
(2015) iThreads: A Threading Library for Parallel Incremental Computation.
(2015) Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory.
(2014) Blocking Optimality in Distributed Real-Time Locking Protocols.
(2014) The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware Analysis.
(2014) Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT.
(2014) Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability.
(2014) On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections.
(2014) SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.
(2014) Scaling global scheduling with message passing.
(2014) A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems.
(2013) Efficient partitioning of sporadic real-time tasks with shared resources and spin locks.
(2013) A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications.
(2013) Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling.
(2013) Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities.
(2013) The OMLP family of optimal multiprocessor real-time locking protocols.
(2013) On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks.
(2013) Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities.
(2013) An asymptotically optimal real-time locking protocol for clustered scheduling under suspension-aware analysis.
(2011) Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.
(2011) Is Semi-Partitioned Scheduling Practical?
(2011) Soft Real-Time on Multiprocessors: Are Analysis-Based Schedulers Really Worth It?
(2011) An overview of interrupt accounting techniques for multiprocessor real-time systems.