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

Authors Filip Marković , Alessandro Vittorio Papadopoulos , Thomas Nolte



PDF
Thumbnail PDF

Artifact Description

DARTS.7.1.1.pdf
  • Filesize: 438 kB
  • 2 pages

Document Identifiers

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

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

References

  1. Advanpix LLC. Multiprecision computing toolbox for MATLAB. Version 4.8.3.14470. URL: http://www.advanpix.com/.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail