Sciweavers

21984 search results - page 255 / 4397
» C
Sort
View
165
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
VLSID
2009
IEEE
148views VLSI» more  VLSID 2009»
16 years 8 months ago
DFX and Productivity
Robert C. Aitken