Browsing Institut für Theoretische Informatik by Issue Date

Now showing items 1-4 of 4

    • PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updatesOpen Access Icon 

      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 implementationOpen Access Icon 

      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 ...

    • disutapaOpen Access Icon 

      Ruprecht, Thomas (Technische Universität Dresden, 2024)
      This project is an implementation of the supertagging-based parser for discontinuous constituent trees as described in my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous ...

    • Experimental results with discontinuous supertag parsingOpen Access Icon 

      Ruprecht, Thomas (Technische Universität Dresden, 2024)
      This archive contains all log files for the experiments described in chapter 6 of my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous Constituent Structures." It involves ...