Added: 2 years ago
From: StanfordUniversity
Views: 4,613
Sort by time | Sort by thread (beta)

Link to this comment:

Share to:

All Comments (10)

Sign In or Sign Up now to post a comment!
  • Giving time its partition, is one heck of an idea.

  • Nice one! I like it a lot. Super!

  • My thought is the centralized notion of time or God observer view came into being as an approximation same as classical mechanics is an approximation .

    Shavit and Herlihy won Godel Prize, not Turing award :)

  • would someone please remove the mind tortuting high pitched sound throughout the whole lecture ?

  • Thanks Stanford.

    Hooray for the Technological Singularity!!!

    This problem of concurrence will no doubt bring on the singularity that much faster. Making machines that can repair themselves is just one step away from machines that can redesign themselves.

    If a machine as powerful or more so, than the human brain were put to the task of redesigning itself.... It would usher in an exponential growth of technology at faster and faster rates

    We will have built IGod.

    =D

    I hope I live to see it!

  • I had to jump to 1:40 for the presentation to start.

  • the audio in this video reminds me of the star trek episode where kirk is subjected to a high-ptiched brainwashing torture device:

    Dagger_of_the_Mind_(episode)

  • It is unfair for a physicist to throw stones into computer science without doing homework.

    Computer scietists are aware of the mentioned problems, they are! The neglected requirement in this talk is that the system should behave *predictably*. All others can be translated into this requirement.

    The concurrency *is* being addressed through composition and non-determinism. See timed labeled transition systems, parallel composition, timed automata.

  • Are you kidding me with the hissing audio?

    Is everybody oinvolved with the sound high pitch noise deaf?

    Mym mom (40+) does not hear it but it splits ears here (24)!

Loading...
Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more