Google Tech Talks
June, 4 2008
ABSTRACT
Verification techniques that rely on state enumeration (such as model
checking) face two important challenges: 1) State-space explosion:
exponential increase in the...
Android WritingPad
ShapeWriter is an innovative, original, fun, and highly efficient method of entering text into touch screen mobile phones.
ShapeWriter lets the user to simply...