From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Dagstuhl Artifacts Series Année : 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Étienne André
Loïc Fejoz
  • Fonction : Auteur
Susanne Graf
Youcheng Sun

Résumé

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly.
Fichier principal
Vignette du fichier
DARTS.9.1.4.pdf (599.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04254710 , version 1 (05-04-2024)

Licence

Paternité

Identifiants

Citer

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩
71 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More