Yang Xu

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Kenneth S. Stevens, Yang Xu, Vikas S. Vij
Characterization of Asynchronous Templates for Integration into Clocked CAD Flows. ASYNC (2009)
Kenneth S. Stevens, Daniel Gebhardt, JunBok You, Yang Xu, Vikas S. Vij, Shomit Das, Krishnaji Desai
The Future of Formal Methods and GALS Design. Electron. Notes Theor. Comput. Sci. 245 (2009)
Yang Xu, Ken S. Stevens
Automatic synthesis of computation interference constraints for relative timing verification. ICCD (2009)
JunBok You, Yang Xu, Hosuk Han, Kenneth S. Stevens
Performance Evaluation of Elastic GALS Interfaces and Network Fabric. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)