Searching for authors named "Xiaoyu Song" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Improving the process-variation tolerance of digital circuits using gate sizing and statistical techniques
- … Techniques * Osama Neiroukh 1 and Xiaoyu Song 2 1 M/S JF4-409, Intel Corporation, 2111 N.E. 25th Avenue…
- Cited by 2 (0 self) – Add To MetaCart
-
doi:10.1093/comjnl/bxm085 Heuristic-Guided Abstraction Refinement
- …-Guided Abstraction Refinement FEI HE 1,2,* ,XIAOYU SONG 3 ,MING GU 2 AND JIAGUANG SUN 2 1 Department of Computer…
- Add To MetaCart
-
Component-Based Abstraction and Refinement ⋆
- …Component-Based Abstraction and Refinement ⋆ Juncao Li 1 , Xiuli Sun 2 , Fei Xie 1 , and Xiaoyu…
- Add To MetaCart
-
Model Checking of the Fairisle ATM Switch
- … , Dan Voicu # , Sofine Tahar and Xiaoyu Song # Technical Report June 1998 Concordia University…
- Add To MetaCart
-
Compositional reasoning for hardware/software co-verification
- … , and Xiaoyu Song 2 1 Dept. of Computer Science, Portland State Univ., Portland, OR 97207 {xie, guowu…
- Cited by 2 (2 self) – Add To MetaCart
-
Performance Evaluation on FFT Software
- … Xiangyang Liu 1 , Xiaoyu Song 2 , and Yuke Wang 1 Abstract—It is known that FFT algorithms have complexity…
- Add To MetaCart
-
On the Crossing Distribution Problem
- …On the Crossing Distribution Problem XIAOYU SONG Université de Montréal and YUKE WANG Concordia…
- Add To MetaCart
-
Description and Verification of RTL Designs Using Multiway Decision Graphs
- …Description and Verification of RTL Designs Using Multiway Decision Graphs Zijian Zhou y Xiaoyu…
- Cited by 9 (7 self) – Add To MetaCart
-
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration
- … Abstract State Enumeration Michel Langevin , Sofi��ne Tahar, Zijian Zhou, Xiaoyu Song and Eduard Cerny…
- Cited by 5 (5 self) – Add To MetaCart
-
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs
- …��ne Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny and Michel Langevin University of Montreal, IRO Dept…
- Cited by 14 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
