Browsing by Author Huynh, T.Q.

Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)
2006A memory model sensitive checker for C#Huynh, T.Q.; Roychoudhury, A. 
2005Effective neural network pruning using cross-validationHuynh, T.Q.; Setiono, R. 
2007Memory model sensitive bytecode verificationHuynh, T.Q.; Roychoudhury, A.