Show simple item record

Metadata

Person(s) who is (are) responsible for the content of the research dataMärcker, Steffen - Technische Universität Dresden (ORCID: 0000-0002-2160-2110)
AbstractThis 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.
Languageeng
Year or period of data production2019
Publication year2021
PublisherTechnische Universität Dresden
References on related materialsIsPartOf: 123456789/1889 (Handle)
References on related materialsReferences: http://dx.doi.org/10.25532/OPARA-110 (DOI)
Content of the research dataDataset, Model, Software: inputs and the raw results to confirm the experiments
Holder of usage rightsTechnische Universität Dresden
Usage rights of the dataCC-BY-4.0
SoftwareResource Production: PRISM custom
Discipline(s)Computer Sciencede
Title of the datasetExperiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record