Automated synthesis of stochastic computational elements using decision procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha. Automated synthesis of stochastic computational elements using decision procedures. In IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016. pages 1678-1681, IEEE, 2016. [doi]

This author has not been identified. Look up 'Amad Ul Hassen' in GoogleThis author has not been identified. Look up 'Brigadesh Chandrasekar' in GoogleThis author has not been identified. Look up 'Sumit Kumar Jha' in Google

runs on WebDSL