On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)

Marković, Filip; Papadopoulos, Alessandro Vittorio; Nolte, Thomas

doi:10.4230/DARTS.7.1.1

Artifact Description

DARTS.7.1.1.pdf

Filesize: 438 kB
2 pages

Document Identifiers

DOI: 10.4230/DARTS.7.1.1
URN: urn:nbn:de:0030-drops-139804

Author Details

Filip Marković

Mälardalen University, Sweden

Alessandro Vittorio Papadopoulos

Mälardalen University, Sweden

Thomas Nolte

Mälardalen University, Sweden

Cite AsGet BibTex

Filip Marković, Alessandro Vittorio Papadopoulos, and Thomas Nolte. On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact). In Special Issue of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 1, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.1.1

Artifact

DARTS-7-1-1-artifact-d6f1a279ef34b1e4e0b3ce49968b2901.tgz (Filesize: 0.56 MB)

Abstract

This artifact describes the process for validation and reproduction of the experiments given in the associated paper "On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems". This document contains the information on the scope of the presented artifact, i.e. what are the considered experiments, instructions for obtaining the source code of the experiments, tested platforms, and other relevant information.

Subject Classification

ACM Subject Classification

Mathematics of computing → Probabilistic algorithms
Computer systems organization → Real-time system specification

Keywords

Probabilistic analysis
Random variables
Algorithm Complexity

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

References

Advanpix LLC. Multiprecision computing toolbox for MATLAB. Version 4.8.3.14470. URL: http://www.advanpix.com/.