Sciweavers

3951 search results - page 39 / 791
» Automatic amortized analysis
Sort
View
DATE
2010
IEEE
166views Hardware» more  DATE 2010»
15 years 4 months ago
GoldMine: Automatic assertion generation using data mining and static analysis
Shobha Vasudevan, David Sheridan, Sanjay J. Patel,...
MSR
2009
ACM
15 years 4 months ago
Mining source code to automatically split identifiers for software analysis
Eric Enslen, Emily Hill, Lori L. Pollock, K. Vijay...
ICNC
2009
Springer
15 years 3 months ago
Automatic Facial Image Manipulation System and Facial Texture Analysis
Takuma Terada, Takayuki Fukui, Takanori Igarashi, ...
LCTRTS
2001
Springer
15 years 3 months ago
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages
Leena Unnikrishnan, Scott D. Stoller, Yanhong A. L...