ARTICLE
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
runtime verification; probabilistic monitor; markov chain; ω-automata
Online: 10 April 2019 (06:30:12 CEST)
ARTICLE
|
doi:10.20944/preprints201909.0238.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
Software runtime entropy; failure prediction; indicator
Online: 20 September 2019 (10:49:11 CEST)
ARTICLE
|
doi:10.20944/preprints202309.0697.v1
Subject:
Computer Science And Mathematics,
Hardware And Architecture
Keywords:
domain-specific SoC (DSSoC); task scheduling; runtime classification; policy switching
Online: 12 September 2023 (04:41:38 CEST)