Search results
From MaRDI portal
- transformations for speculative real-time execution 2000-06-21 Paper LSTF: A new scheduling policy for complex real-time tasks in multiple processor systems...10 bytes (19 words) - 07:48, 9 December 2023
- Hierarchical Real-Time Systems under Shared Resources 2017-05-16 Paper Multiprocessor Scheduling for Real-Time Systems 2015-02-03 Paper Hard Real-Time Computing...10 bytes (19 words) - 13:48, 28 January 2024
- Daniel Mossé (section Research outcomes over time)scheduling for periodic real-time tasks 2018-07-09 Paper Tolerance to multiple transient faults for aperiodic tasks in hard real-time systems 2018-07-09 Paper...10 bytes (16 words) - 19:56, 11 December 2023
- system in real time 2021-02-23 Paper Task scheduling in distributed real-time systems 2018-04-18 Paper Time variant dynamic models in diagnosing of real-time...10 bytes (18 words) - 18:51, 11 December 2023
- David Scholefield (section Research outcomes over time)refinement of real-time systems 2023-04-28 Paper Transformational vs reactive refinement in real-time systems 1997-02-27 Paper Real-time refinement in...10 bytes (16 words) - 11:27, 13 December 2023
- Emmanuel Grolleau (section Research outcomes over time)<sc>fptas</sc> 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
- Giuseppe Lipari (section Research outcomes over time)2006-01-30 Paper Feasibility analysis of real-time periodic tasks with offsets 2006-01-30 Paper Soft Real-Time Systems 2005-06-28 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 00:52, 10 December 2023
- Efficient 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
- developing distributed real-time and embedded systems 2008-11-14 Paper Hierarchical control of multiple resources in distributed real-time and embedded systems...10 bytes (18 words) - 04:40, 9 December 2023
- Using solvable real time classes for jitter-minimized planning 2022-05-03 Paper Diagnostic model for a distributed computer system in real time 2021-02-23...10 bytes (18 words) - 04:30, 12 December 2023
- Henning Dierks (section Research outcomes over time)Graphical Real-Time Requirements 2011-04-08 Paper Towards Component Based Design of Hybrid Systems: Safety and Stability 2010-09-07 Paper Real-Time Systems...10 bytes (16 words) - 22:27, 11 December 2023
- Javier Cuadrado (section Research outcomes over time)2010-06-02 Paper Real-Time Multibody Dynamics and Applications 2009-08-05 Paper Two implementations of IRK integrators for real-time multibody dynamics...10 bytes (16 words) - 03:04, 12 December 2023
- Miguel Á. Naya (section Research outcomes over time)2021-06-21 Paper Real-Time Multibody Dynamics and Applications 2009-08-05 Paper Penalty, semi-recursive and hybrid methods for MBS real-time dynamics in the...10 bytes (19 words) - 12:07, 12 December 2023
- WCET Analysis of Real-Time Embedded Systems 2017-07-27 Paper Real-Time I/O Management System with COTS Peripherals 2017-07-12 Paper Real-Time Scheduling of...10 bytes (16 words) - 09:01, 6 October 2023
- Marco Caccamo (section Research outcomes over time)WCET Analysis of Real-Time Embedded Systems 2017-07-27 Paper Real-Time I/O Management System with COTS Peripherals 2017-07-12 Paper Real-Time Scheduling of...10 bytes (16 words) - 11:20, 6 October 2023
- Hakan Aydin (section Research outcomes over time)reward-based scheduling for periodic real-time tasks 2018-07-09 Paper Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks 2018-06-12 Paper Reliability-Aware...10 bytes (16 words) - 13:48, 28 January 2024
- Binoy Ravindran (section Research outcomes over time)2021-01-20 Paper Space-Optimal, Wait-Free Real-Time Synchronization 2018-06-12 Paper Utility Accrual Real-Time Scheduling under Variable Cost Functions...10 bytes (16 words) - 22:18, 24 September 2023
- Kwei-Jay Lin (section Research outcomes over time)Capacity-Based Admission Control for Real-Time Service Processes 2017-06-20 Paper HRT-PLRU: A New Paging Schemefor Executing Hard Real-Time Programson NAND Flash Memory...10 bytes (18 words) - 07:27, 7 October 2023
- MANETs Using Real-Time Maude 2015-06-22 Paper Abstraction and Completeness for Real-Time Maude 2014-01-24 Paper Recent Advances in Real-Time Maude 2013-12-06...10 bytes (18 words) - 10:48, 6 October 2023
- Dakai Zhu (section Research outcomes over time)algorithm for multiprocessor real-time systems 2011-11-10 Paper Cluster scheduling for real-time systems: utilization bounds and run-time overhead 2011-07-29 Paper...10 bytes (16 words) - 13:48, 28 January 2024