Sciweavers

21984 search results - page 455 / 4397
» C
Sort
View
ECBS
2009
IEEE
109views Hardware» more  ECBS 2009»
16 years 1 months ago
Automating Hardware and Software Evolution Analysis
Brian Dougherty, Jules White, Chris Thompson, Doug...
DSN
2009
IEEE
16 years 1 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
IAT
2009
IEEE
16 years 1 months ago
Propagating Fine-Grained Topic Labels in News Snippets
Luís Sarmento, Sérgio Nunes, Jorge T...