Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Publication Date of Publication Type Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs 2022-03-23 Paper...
    10 bytes (16 words) - 10:13, 6 October 2023
  • Publication Date of Publication Type Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs 2022-03-23 Paper...
    10 bytes (16 words) - 10:13, 6 October 2023
  • Publication Type Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs 2022-03-23 Paper Real-time worst-case temperature...
    10 bytes (16 words) - 14:11, 24 September 2023
  • for Response Time Analysis of Fixed Priority Real-Time Tasks with Resource Augmentation 2017-05-16 Paper Periodicity of real-time schedules for dependent...
    10 bytes (16 words) - 10:08, 11 December 2023
  • of Publication Type Spotlight abstraction in model checking real-time task schedulability 2022-03-24 Paper...
    10 bytes (16 words) - 11:33, 6 October 2023
  • Publication Date of Publication Type Minimal schedulability interval for real-time systems of periodic tasks with offsets 2004-10-27 Paper https://portal...
    10 bytes (18 words) - 17:41, 13 December 2023
  • 2022-02-04 Paper Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems 2021-12-13...
    10 bytes (18 words) - 17:14, 12 December 2023
  • Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds 2018-06-12 Paper Utility accrual real-time scheduling for multiprocessor...
    10 bytes (19 words) - 08:50, 7 October 2023
  • Verification and Optimization of Real-Time Logic-Specified Systems 2017-08-08 Paper Transparent Real-Time Task Scheduling on Temporal Resource Partitions...
    10 bytes (20 words) - 13:42, 11 December 2023
  • allocation 2022-07-13 Paper Spotlight abstraction in model checking real-time task schedulability 2022-03-24 Paper A bounded model checker for three-valued abstractions...
    10 bytes (16 words) - 11:33, 6 October 2023
  • scalability of real-time scheduling algorithms on large-scale multicore platforms 2014-04-01 Paper Utility accrual real-time scheduling for multiprocessor...
    10 bytes (16 words) - 22:18, 24 September 2023
  • non-preemptive real-time pipelines 2009-09-25 Paper Robust and timely communication over highly dynamic sensor networks 2007-11-14 Paper Real time scheduling theory:...
    10 bytes (18 words) - 18:32, 12 December 2023
  • multiprocessor scheduling of sporadic real-time tasks is impossible 2010-08-13 Paper Integrating job parallelism in real-time scheduling theory 2010-04-19...
    10 bytes (16 words) - 10:27, 6 October 2023
  • fixed-priority schedulability on a multiprocessor 2006-11-17 Paper https://portal.mardi4nfdi.de/entity/Q5311853 2005-08-29 Paper Real time scheduling theory:...
    10 bytes (18 words) - 18:32, 12 December 2023
  • Interference-aware fixed-priority schedulability analysis on multiprocessors 2014-07-14 Paper Fault-tolerant and real-time scheduling for mixed-criticality systems...
    10 bytes (18 words) - 14:11, 24 September 2023
  • global schedulability analysis 2010-09-20 Paper Feasibility analysis of sporadic real-time multiprocessor task systems 2010-09-06 Paper Scheduling Real-Time...
    10 bytes (18 words) - 03:31, 9 December 2023
  • Paper Composition of Schedulability Analyses for Real-Time Multiprocessor Systems 2017-05-16 Paper Laxity dynamics and LLF schedulability analysis on multiprocessor...
    10 bytes (16 words) - 19:25, 6 October 2023
  • multiprocessor real-time systems 2020-07-13 Paper Handling Transients of Dynamic Real-Time Workload Under EDF Scheduling 2019-08-13 Paper Response-Time Analysis...
    10 bytes (19 words) - 13:48, 28 January 2024
  • solving 2022-11-04 Paper Spotlight abstraction in model checking real-time task schedulability 2022-03-24 Paper A bounded model checker for three-valued abstractions...
    10 bytes (17 words) - 11:33, 6 October 2023
  • probabilistic timing analysis for real-time systems using random replacement caches 2015-08-04 Paper A survey of hard real-time scheduling for multiprocessor systems...
    10 bytes (18 words) - 22:33, 9 December 2023
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)