YouTube home Comedy Week on YouTube
Upload

DVCon 2012: Man vs Machine ... and the better Rubik's Cube solver is ...

Joe Hupcey III Joe Hupcey III·65 videos
21
366 views
Like     Dislike 0

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Joe Hupcey III's video to your playlist.

Published on Mar 1, 2012

DVCon 2012 is focused on functional verification methodologies. Hence, in this video I put 2 competing methodologies to the test: a Lego Mindstorms robot programmed by Incisive Formal Verifier to solve a Rubik's cube, vs. a human speed cuber. Will man or machine prevail? See the video to find out ...

Credits:
Robot design by Hans Andersson, http://tiltedtwister.com/

Incisive Formal Verifier interface: Apurva Kalia, Suman Ray, Cadence Design Systems, Inc.

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Report a comment

Loading...

What is the issue?

Alert icon

Thank you for submitting your report. This is the issue you reported:

Blocking a user will stop them from making comments on your videos or channel, as well as stop them from being able to contact you through private message.

Working...

All Comments (0)

Sign in now to post a comment!
  • Loading comment...
Loading...
Loading...
Working...
Sign in to add this to Watch Later