Automated Synthesis of Stochastic Computational Elements using Decision Procedures Conference

Ul Hassen, Amad, Chandrasekar, Brigadesh, Jha, Sumit Kumar. (2016). Automated Synthesis of Stochastic Computational Elements using Decision Procedures . 1678-1681.

cited authors

  • Ul Hassen, Amad; Chandrasekar, Brigadesh; Jha, Sumit Kumar

authors

date/time interval

  • May 22, 2016 -

publication date

  • January 1, 2016

keywords

  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Location

  • CANADA, Montreal

Conference

  • IEEE International Symposium on Circuits and Systems (ISCAS)

publisher

  • IEEE

start page

  • 1678

end page

  • 1681