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

더 보기