Automated synthesis of stochastic computational elements using decision procedures.

Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha

Browse the full ISCAS paper archive.