Bin Xue

Bin Xue

John Tyler Community College - Chester / United States
Others
AD Scientific Index ID: 5532451
-
person_outline Bin Xue's MOST POPULAR ARTICLES
1-) A path planning algorithm based on dynamic networks and restricted searching areaM Fu, B Xue2007 IEEE International Conference on Automation and Logistics, 1193-1197, 2007242007
2-) Minimizing back pressure for latency insensitive system synthesisB Xue, SK Shukla, SS RaviEighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010112010
3-) Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate modelsB Xue, P Chatterjee, SK Shukla2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC), 723-728, 2013102013
4-) Analysis of Scheduled Latency Insensitive Systems with Periodic Clock CalculusB Xue, SK ShuklaIEEE International High Level Design Validation and Test Workshop, 1-7, 200972009
5-) An analysis of the composition of synchronous systemsBA Jose, B Xue, SK ShuklaElectronic Notes in Theoretical Computer Science 245, 69-84, 200952009