1![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 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](https://www.pdfsearch.io/img/542c41b46a65d49b9727134f2f344abf.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-10-11 21:16:46
|
---|
2![A new method to automate the synthesis of stochastic computing circuits A new method to automate the synthesis of stochastic computing circuits](https://www.pdfsearch.io/img/8d4dd7a756c25ef7ba83f3f5d9d72cac.jpg) | Add to Reading ListSource URL: techxplore.comLanguage: English - Date: 2018-10-26 03:51:56
|
---|
3![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 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](https://www.pdfsearch.io/img/9f9940c799424b6e3fe17faf8701609f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-04-16 06:37:28
|
---|
4![Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|
5![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 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](https://www.pdfsearch.io/img/672d1be4cff95305650e57eb260dad4d.jpg) | Add to Reading ListSource URL: pubs.doc.ic.ac.uk- Date: 2007-06-23 11:07:35
|
---|
6![T-distributed stochastic neighbor embedding / Comma-separated values / Computing / Nl / Software T-distributed stochastic neighbor embedding / Comma-separated values / Computing / Nl / Software](/pdf-icon.png) | Add to Reading ListSource URL: crick.ac.ukLanguage: English - Date: 2015-06-08 08:06:25
|
---|
7![EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208, EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208,](https://www.pdfsearch.io/img/59824fdb5e27a67074ff755de1fb990f.jpg) | Add to Reading ListSource URL: tmancini.di.uniroma1.itLanguage: English - Date: 2008-12-16 11:05:54
|
---|
8![Gossip-Based Computation of Aggregate Information David Kempe∗, Alin Dobra, and Johannes Gehrke† Department of Computer Science, Cornell University Ithaca, NY 14853, USA {kempe,dobra,johannes}@cs.cornell.edu Abstract Gossip-Based Computation of Aggregate Information David Kempe∗, Alin Dobra, and Johannes Gehrke† Department of Computer Science, Cornell University Ithaca, NY 14853, USA {kempe,dobra,johannes}@cs.cornell.edu Abstract](https://www.pdfsearch.io/img/46ce580fa3ad861d356b6f2df6835304.jpg) | Add to Reading ListSource URL: www-bcf.usc.eduLanguage: English - Date: 2007-10-12 00:29:55
|
---|
9![Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science](https://www.pdfsearch.io/img/0b0e1457de1a9ca3598b4b771aa200f6.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-11-25 05:29:57
|
---|
10![Introduction Model Analysis Tool Support Introduction Model Analysis Tool Support](https://www.pdfsearch.io/img/83cd86f7e327148ed77b7498bb5e0030.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2007-05-30 12:50:22
|
---|