Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
- 6 October 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Probability type inference for flexible approximate programmingPublished by Association for Computing Machinery (ACM) ,2015
- Approximate storage for energy efficient spintronic memoriesPublished by Association for Computing Machinery (ACM) ,2015
- Automatically improving accuracy for floating point expressionsPublished by Association for Computing Machinery (ACM) ,2015
- ChiselPublished by Association for Computing Machinery (ACM) ,2014
- Expressing and verifying probabilistic assertionsPublished by Association for Computing Machinery (ACM) ,2014
- ParaproxPublished by Association for Computing Machinery (ACM) ,2014
- Verifying quantitative reliability for programs that execute on unreliable hardwarePublished by Association for Computing Machinery (ACM) ,2013
- Certifying Solutions for Numerical ConstraintsLecture Notes in Computer Science, 2013
- A Survey of Fault Management in Wireless Sensor NetworksJournal of Network and Systems Management, 2007
- Statistical Model Checking of Black-Box Probabilistic SystemsLecture Notes in Computer Science, 2004