Filters








2 Hits in 4.8 sec

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz, Marc Herbstritt
2016 Dagstuhl Reports  
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
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