We stand with Ukraine  

Yang Xu

Affiliations:
  • University of Utah, Electrical and Computer Engineering Department, Salt Lake City, UT, USA


According to our database1, Yang Xu authored at least 4 papers between 2007 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
The Future of Formal Methods and GALS Design.
[BibTeX]
[DOI]
Kenneth S. Stevens
,
Daniel Gebhardt
,
JunBok You
,
Yang Xu
,
Vikas S. Vij
,
Shomit Das
,
Krishnaji Desai
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009

Automatic synthesis of computation interference constraints for relative timing verification.
[BibTeX]
[DOI]
Yang Xu
,
Ken S. Stevens
Proceedings of the 27th International Conference on Computer Design, 2009

Characterization of Asynchronous Templates for Integration into Clocked CAD Flows.
[BibTeX]
[DOI]
Kenneth S. Stevens
,
Yang Xu
,
Vikas S. Vij
Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2007
Performance Evaluation of Elastic GALS Interfaces and Network Fabric.
[BibTeX]
[DOI]
JunBok You
,
Yang Xu
,
Hosuk Han
,
Kenneth S. Stevens
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007


  Loading...