Problem in creating the Request

Message: null

Description: java.lang.NullPointerException

Sender: org.dspace.app.xmlui.cocoon.servlet.multipart.DSpaceMultipartFilter

Source: Cocoon Servlet

stacktrace

java.lang.NullPointerException

request-uri

/xmlui/discover

cause

java.lang.NullPointerException

full exception chain stacktrace

java.lang.NullPointerException

Apache Cocoon 2.2.0

Suche

Gesamter BestandHochschule für Technik und Wirtschaft DresdenTechnische Universität Bergakademie FreibergTechnische Universität DresdenUniversität Leipzig

Los

Erweiterte Filter anzeigenErweiterte Filter verstecken

Filter

Verwenden Sie Filter, um die Suchergebnisse zu verfeinern.

ZurücksetzenNeuer FilterAnwenden

Anzeige der Treffer 1-2 von 2

• Sortiermöglichkeiten:
• Relevanz
• Titel aufsteigend
• Titel absteigend
• Erscheinungsdatum aufsteigend
• Erscheinungsdatum absteigend
• Ergebnisse pro Seite:
• 5
• 10
• 20
• 40
• 60
• 80
• 100

PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates 

Märcker, Steffen (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 

Märcker, Steffen (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 ...