Microsoft Word - プログラム_2.27_.doc - Electronic density - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-02-19 19:11:34 Electronic engineering Information IEEE 802 Error detection and correction Coding theory Low-density parity-check code Asynchronous circuit MIMO Stochastic computing Information theory Radio resource management Telecommunications engineering		Microsoft Word - プログラム_2.27_.doc Add to Reading List Source URL: www.ecei.tohoku.ac.jp Download Document from Source Website File Size: 141,07 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