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 ;Davis, Robert I
Référence ACM computing surveys, 52, 3, 56
Publication Publié, 2019-07-18

Article révisé par les pairs

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; Davis, Robert I
Informations sur la publication:	ACM computing surveys, 52, 3, 56
Statut de publication:	Publié, 2019-07-18
Sujet CREF:	Informatique générale
Langue:	Anglais
Identificateurs:	urn:issn:0360-0300
	info:doi/10.1145/3323212

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 , Robert, Davis
Publication 2018-11-21
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
par Schuh, Matheus , Maiza, Claire , Goossens, Joël , Raymond, Pascal , Dupont de Dinechin, Benoît
Publication 2020-12-01
Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems
par Rivas Concepcion, Juan Maria , Goossens, Joël , Poczekajlo, Xavier , Paolillo, Antonio
Publication 2019-07-02
Workload assignment for global real-time scheduling on unrelated clustered platforms
par Bertout, Antoine , Goossens, Joël , Jamil, Roy , Poczekajlo, Xavier
Publication 2021-04-28
Development and evaluation of a prototype of a Memory Centric Scheduler
par Rivas Concepcion, Juan Maria , Goossens, Joël , Poczekajlo, Xavier , Paolillo, Antonio , Rodriguez, Paul , Rodriguez Lobera, Benigno
Publication 2019-02-12

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.