A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

;Altmeyer, Sebastian ;Robert, Davis
Organisme financeur Verimag
Publication Non publié, 2018-11-21

Rapport

Titre:	A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
Auteur:	Maiza, Claire; Rihani, Hamza; Rivas Concepcion, Juan Maria; Goossens, Joël; Altmeyer, Sebastian; Robert, Davis
Organisme financeur:	Verimag
Statut de publication:	Non publié, 2018-11-21
Sujet CREF:	Informatique générale
Volumes/pages:	44 p.
Mots-clés:	real-time systems, architecture, multi-core, timing analysis, schedulability analysis, WCET, co-runner interference
Langue:	Anglais

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
par Maiza, Claire , Rihani, Hamza , Rivas Concepcion, Juan Maria , Goossens, Joël , Altmeyer, Sebastian , Davis, Robert I
Publication 2019-07-18
WIP: Feasibility analysis of real-time periodic multi-phase tasks on unrelated multiprocessor platforms
par Gaspard, Thomas , Bertout, Antoine , Goossens, Joël , Grolleau, Emmanuel , Richard, Pascal
Publication 2023-10-13
A parallel-machine learning framework to tune metaheuristics for advanced manufacturing scheduling problems
par Jimenez Gonzalez, Hanser , Goossens, Joël , Fortz, Bernard , Rodriguez Lobera, Benigno
Publication 2023-05-25
Impact of gate-level clustering on automated system partitioning of 3D-ICs
par Delhaye, Quentin , Beyne, Eric , Goossens, Joël , Van Der Plas, Gert , Milojevic, Dragomir
Publication 2023-09
New algorithms for the simplification of multiple trajectories under bandwidth constraints
par Dejaegere, Gilles , Sakr, Mahmoud
Publication 2024-01-18

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.