Armin - PDFSEARCH.IO - Document Search Engine

Armin
Results: 701

#	Item
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 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-11 21:16:46 Probability and statistics Statistics Statistical randomness Stochastic computing Applied mathematics Stochastic optimization Artificial neural network Mathematical optimization Stochastic process
2	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
3	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:50
4	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:40
5	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2018-05-22 02:20:22
6	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:38
7	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:34
8	PDF Document Add to Reading List Source URL: www.armin.am - Date: 2018-04-05 07:29:26
9	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:33
10	PDF Document Add to Reading List Source URL: www.armin-haller.com - Date: 2017-07-30 02:43:45

UPDATE