A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
2016
Dagstuhl Reports
Preserved Fulltext
computing to share their recent progress, identify challenges in computing with estimates, and foster collaboration with the goal of helping non-expert developers design, code, and verify modern approximate ...
The aim of this seminar was to bring together academic and industrial researchers from the areas of probabilistic model checking, quantitative software analysis, probabilistic programming, and approximate ...
Probabilistic Computing: Design, Coding, Verification PRISM [38] and MRMC [33] . ...
doi:10.4230/dagrep.5.11.151
dblp:journals/dagstuhl-reports/FilieriKMM15
fatcat:dao63covdjhflma6fflt3meus4
Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue
[article]
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue ...
The organizers would like to express their gratitude to the participants and the Schloss Dagstuhl team for a productive and exciting seminar. We thank Prof. ...
Martin Rinard for his support and contribution to the organization of the seminar. We thank Sara Achour for her help with preparing this report.
Participants ...
doi:10.4230/dagrep.5.11
fatcat:jxymfl2yc5annltf56fkdcpzyy