Sciweavers

3330 search results - page 50 / 666
» software 2010
Sort
View
VMCAI
2010
Springer
14 years 5 months ago
Interpolant Strength
Vijay D'Silva, Daniel Kroening, Mitra Purandare, G...
IUI
2010
ACM
14 years 2 months ago
Embedded media markers: marks on paper that signify associated media
Qiong Liu, Chunyuan Liao, Lynn Wilcox, Anthony Dun...
CGO
2010
IEEE
14 years 1 months ago
Coloring-based coalescing for graph coloring register allocation
Rei Odaira, Takuya Nakaike, Tatsushi Inagaki, Hide...
ICSE
2010
IEEE-ACM
14 years 20 days ago
Mining API mapping for language migration
Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang...