• Deutsch
    • English
  • English 
    • Deutsch
    • English
Home
Browse
Submit
About
  • What is OpARA?
  • Tips for long time archival & FAQ
  • User manual
  • The OpARA metadata schema
  • Glossar
Login
View Item 
  •   Home
  • Technische Universität Dresden
  • Bereiche
  • Bereich Ingenieurwissenschaften
  • Fakultät Informatik
  • Institut für Theoretische Informatik
  • Professur für Algebraische und logische Grundlagen der Informatik
  • Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
  • Supplementary Material
  • View Item
  •   Home
  • Technische Universität Dresden
  • Bereiche
  • Bereich Ingenieurwissenschaften
  • Fakultät Informatik
  • Institut für Theoretische Informatik
  • Professur für Algebraische und logische Grundlagen der Informatik
  • Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
  • Supplementary Material
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementationOpen Access Icon

Thumbnail
overview (828bytes)
zip archive containing the analysis of the PWCS protocol (14.77Mb)
zip archive containing the analysis of the spinlock protocol (36.29Mb)
zip archive containing the analysis of the circuit designs (7.311Mb)
zip archive containing the benchmarks of the implementation of conditional probabilities (93.84Mb)
data-license.txt (CC-BY-4.0) (12.81Kb)
Date
2021
Author
Märcker, Steffen
Metadata
Show full item record
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.
URI
https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1892
http://dx.doi.org/10.25532/OPARA-111
Collections
  • Supplementary Material [2]Open Access Icon

Imprint | Terms of use | Contact Us | Send Feedback
 

 

My Account

Login

Browse

All of this RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

Imprint | Terms of use | Contact Us | Send Feedback