The OPARA service was recently upgraded to a new technical platform. You are visiting the outdated OPARA website. Please use https://opara.zih.tu-dresden.de/ for new data submissions. Previously stored data will be migrated in near future and then the old version of OPARA will finally be shut down. Existing DOIs for data publications remain valid.
Suche
Anzeige der Treffer 1-4 von 4
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)
Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis:
1) implementation of methods for conditional probabilities and expectations,
2) ...
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
(Technische Universität Dresden, 2021)
This dataset contains the model files, queries, experiment setups, raw results and plots of the experiments: 1) analysis of the spinlock protocol, 2) analysis of the PWCS protocol, 3) analysis of the circuit designs for ...
3-component servo-hydraulic test bench measurements for virtual sensing and forward prediction tasks
(Technische Universität Dresden, 2021)
This dataset was created to provide measurements of a non-linear dynamic system with multiple input and output signal channels for the developement and testing of virtual sensing and forward prediction algorithms. It also ...
CARInA - Corpus of Aligned Read speech Including Annotations
(Technische Universität Dresden, 2021)
Data CARInA, MATLAB-Code, Documents. The speech corpus is annotated (by automatic systems) at orthographic, morphosyntactic, broad phonetic, narrow phonetic and prosodic level.