Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz. Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports, 5(11):151-179, 2015. [doi]

This author has not been identified. Look up 'Antonio Filieri' in GoogleThis author has not been identified. It may be one of the following persons:

Marta Kwiatkowska

Look up 'Marta Kwiatkowska' in GoogleThis author has not been identified. Look up 'Sasa Misailovic' in GoogleThis author has not been identified. Look up 'Todd Mytkowicz' in Google

runs on WebDSL