Sciweavers

186 search results - page 7 / 38
» kais 2010
Sort
View
133
Voted
MMMACNS
2010
Springer
15 years 2 months ago
Policy-Based Design and Verification for Mission Assurance
Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas N...
STACS
2010
Springer
15 years 11 months ago
AMS Without 4-Wise Independence on Product Domains
Vladimir Braverman, Kai-Min Chung, Zhenming Liu, M...
TVCG
2010
111views more  TVCG 2010»
15 years 2 months ago
View-Dependent Streamlines for 3D Vector Fields
Stephane Marchesin, Cheng-Kai Chen, Chris Ho, Kwan...
81
Voted
ASPDAC
2010
ACM
126views Hardware» more  ASPDAC 2010»
15 years 2 months ago
Blockage-avoiding buffered clock-tree synthesis for clock latency-range and skew minimization
Xin-Wei Shih, Chung-Chun Cheng, Yuan-Kai Ho, Yao-W...