SPEED (Symbolic Resource Time/Space Bounds Analysis)

設立年月日:December 1, 2008年

動画

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

人数

Sumit Gulwani

Distinguished Scientist and Vice President

詳細はこちら