Sciweavers

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