Machines

Results: 8794



#Item
1Certification procedure for games of chance machines and jackpot systems

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
2Evaluation procedure gambling machines

Evaluation procedure gambling machines

Add to Reading List

Source URL: www.esbk.admin.ch

Language: English - Date: 2009-12-28 04:54:20
3Modeling 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

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
4FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence

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
5Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

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
6Area 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

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
7Modeling 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

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
8The 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 

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
9Guarded Transitions in Evolving Speci cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci cations, where assignment state

Guarded Transitions in Evolving Speci cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci cations, where assignment state

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 20:51:33
10Instructions for Backup Optical Scan Paper Ballots for Voter in Counties that Use DRE Voting Machines as their Voting System

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