Results 31 to 40 of about 3,968 (305)
Revista Iberoamericana de Automática e Informática Industrial RIAI, 2013 Resumen: Durante la etapa de diseño de un sistema multiprocesador de tiempo real, los test de planificabilidad son una parte clave de los algoritmos de asignación de tareas. El uso de test de planificabilidad exactos permite aumentar la eficiencia de los
Sergio Sáez, Alfons Crespo
doaj +1 more source
Development Cost Optimization for Multi-Functional Mixed-Criticality Embedded Systems
IEEE Access, 2019 In some industrial embedded systems, functions with different safety integrity levels (SILs) are integrated into the same hardware platform to share resources, and usually, the schedulability of applications should be met first.
Yehua Wei +3 more
doaj +1 more source
Journal of Combinatorial Theory, Series A, 2016 Final version, substantially shortened, 18 ...
Felix Breuer, Caroline J. Klivans
openaire +2 more sources
New schedulability analysis for MrsP [PDF]
, 2017 In this paper we consider a spin-based multi-processor locking protocol, named the Multiprocessor resource sharing Protocol (MrsP). MrsP adopts a helping-mechanism where the preempted resource holder can migrate.
Wellings, Andrew John +9 more
core +1 more source
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means.
Fotios Gioulekas +3 more
doaj +1 more source
List schedules for cyclic scheduling
Discrete Applied Mathematics, 1999 This paper adresses the definition and properties of list scheduling in the context of scheduling a cyclic set of n non-preemptive and non-reentrant-dependent tasks on m identical processors when the reduced precedence graph is assumed to be strongly connected.
openaire +1 more source
35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings., 2003 Convergent scheduling is a general framework for cluster assignment and instruction scheduling on spatial architectures. A convergent scheduler is composed of independent passes, each implementing a heuristic that addresses a particular problem or constraint.
Lee W +3 more
openaire +2 more sources
Generalized Rate Monotonic Schedulability Bounds Using Relative Period Ratios
, 2014 One of the most well-studied scheduling algorithms for real-time systems is the Rate Monotonic (RM) scheduling for periodic tasks. In this paper we derive a generalized RM schedulability bound by considering relative period ratios among tasks in a system.
Wei, Hsin-Wen; Lin, Kwei-Jay; Lu, Wan-Chen; Shih, Wei-Kuan
core +1 more source
Моделирование и анализ информационных системThis paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj +1 more source
Frontiers in Oncology, 2019 Background: Addition of deep hyperthermia to radiotherapy results in improved local control (LC) and overall survival compared to radiotherapy alone in cervical carcinoma patients.
M. Kroesen +12 more
doaj +1 more source