| Person(s) who is (are) responsible for the content of the research data | Märcker, Steffen - Technische Universität Dresden (ORCID: 0000-0002-2160-2110) | |
| Abstract | 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 polarity-controllable multiple-gate FETs and 4) performance analysis of the PRISM implementation of conditional probabilities. | |
| Language | eng | |
| Year or period of data production | 2019 | |
| Publication year | 2021 | |
| Publisher | Technische Universität Dresden | |
| References on related materials | IsPartOf: 123456789/1889 (Handle) | |
| References on related materials | References: http://dx.doi.org/10.25532/OPARA-110 (DOI) | |
| Content of the research data | Dataset, Model, Software: inputs and the raw results to confirm the experiments | |
| Holder of usage rights | Technische Universität Dresden | |
| Usage rights of the data | CC-BY-4.0 | |
| Software | Resource Production: PRISM custom | |
| Discipline(s) | Computer Science | de |
| Title of the dataset | Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation | |
