SPEED (Symbolic Resource Time/Space Bounds Analysis)

Établi : December 1, 2008

Vidéos

a screen shot of a person

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 2)

July 1, 2009

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 3)

July 1, 2009

a screen shot of a person

Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1)

July 1, 2009

Personne

Sumit Gulwani

Distinguished Scientist and Vice President