A new method to automate the synthesis of stochastic computing circuits

First Page		Document Content
Date: 2018-10-26 03:51:56 Statistical randomness Stochastic computing Mathematical optimization Stochastic Integrated circuit Electronic engineering Electromagnetism Electrical engineering		A new method to automate the synthesis of stochastic computing circuits Add to Reading List Source URL: techxplore.com Download Document from Source Website File Size: 73,23 KB Share Document on Facebook

	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 DocID: 1xVZF - View Document
	A new method to automate the synthesis of stochastic computing circuits DocID: 1xV4f - View Document
	Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto DocID: 1xTYn - View Document
	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK DocID: 1xTlL - View Document
	Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg DocID: 1sTVl - View Document