Search
Now showing items 1-4 of 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 ...
complimentary data about Paper "Further Enhancing the in Situ Visualization of Performance Data in Parallel CFD Applications"
(Technische Universität Dresden, 2021)
complimentary data about Paper "Further Enhancing the in Situ Visualization of Performance Data in Parallel CFD Applications"
HistImage2021
(Technische Universität Dresden, 2021)
Supplementary image dataset of the ISPRS International Journal of Geoinformation publication "Fully Automated Pose Estimation of Historical Images in the Context of 4D Geographic Information Systems Utilizing Machine ...