Machines - PDFSEARCH.IO - Document Search Engine

Machines
Results: 8794

#	Item
1	Certification procedure for games of chance machines and jackpot systems Add to Reading List Source URL: www.esbk.admin.ch Language: English - Date: 2009-12-28 04:54:20 Quality assurance Standards Professional certification Accreditation Certification Slot machine Human behavior Evaluation Applied ethics ECOGRA
2	Evaluation procedure gambling machines Add to Reading List Source URL: www.esbk.admin.ch Language: English - Date: 2009-12-28 04:54:20 Evaluation Gambling Slot machine Human behavior
3	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala
4	FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:45 Computing Computer memory Hardware acceleration Central processing unit Parallel computing Computer hardware Dynamic random-access memory Computer architecture Field-programmable gate array
5	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
6	Area 1 (Virtual Machines and Compilation) Danny Yoo () Abstract The ideas behind tracing JITs go back to the late 1970s, but have become especially popular lately. Explain the principles behind a tracing J Add to Reading List Source URL: www.hashcollision.org Language: English Computing Software engineering Computer programming Compiler construction Programming languages Programming language implementation Software optimization Tracing just-in-time compilation High-level programming languages Just-in-time compilation PyPy Interpreter
7	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
8	The Cost of AI Matt Mahoney Draft, Mar. 27, 2013 Abstract In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how Add to Reading List Source URL: mattmahoney.net Language: English - Date: 2015-02-02 13:47:58 Technology Futurology Philosophy of artificial intelligence Computational neuroscience Future Metaphysics Artificial intelligence Cybernetics Human genome Entropy Moore's law The Singularity Is Near
9	Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property
10	Instructions for Backup Optical Scan Paper Ballots for Voter in Counties that Use DRE Voting Machines as their Voting System Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2018-08-09 11:10:22 Voting Election technology Ballot Electronic voting Voting machine Politics Elections Group decision-making Government

UPDATE