The scientist’s investigation covers issues in Algorithm, Arithmetic, Theoretical computer science, Logic synthesis and Quantum circuit. Xiaoyu Song integrates several fields in his works, including Algorithm and Convexity. Many of his research projects under Arithmetic are closely connected to Carry-save adder with Carry-save adder, tying the diverse disciplines of science together.
His studies deal with areas such as Finite-state machine, Enumeration, State and Graph as well as Theoretical computer science. His Quantum circuit research is multidisciplinary, incorporating elements of Toffoli gate, Quantum gate and Three-input universal logic gate. His work carried out in the field of Toffoli gate brings together such families of science as Discrete mathematics, Reversible computing and Topology.
His main research concerns Algorithm, Theoretical computer science, Routing, Formal verification and Distributed computing. Xiaoyu Song combines subjects such as Quantum computer and Quantum gate with his study of Algorithm. His research in Theoretical computer science intersects with topics in Finite-state machine, Correctness and State.
His Routing research also works with subjects such as
Xiaoyu Song focuses on Distributed computing, Software, Algorithm, Quantum and Cloud computing. His research integrates issues of Scheduling, Mixed criticality, Job shop scheduling, Transmission and Software construction in his study of Distributed computing. The study incorporates disciplines such as Vector space and Integer in addition to Algorithm.
His work on Quantum computer as part of general Quantum research is frequently linked to Realization, bridging the gap between disciplines. Xiaoyu Song works on Quantum computer which deals in particular with Reversible computing. His research investigates the connection with Boolean function and areas like Group theory which intersect with concerns in Theory of computation and Logic synthesis.
Software, Distributed computing, Algorithm, Programming language and Logic synthesis are his primary areas of study. His studies in Software integrate themes in fields like Design space exploration, Set, Test case and Assertion. His Distributed computing research is multidisciplinary, incorporating perspectives in Software construction, Hardware compatibility list, Cluster analysis, Counterexample and Flexibility.
His work on Design rule checking expands to the thematically related Algorithm. His Correctness and Executable study in the realm of Programming language connects with subjects such as Timer. Xiaoyu Song has researched Logic synthesis in several fields, including Quantum decoherence, Transmon, Circuit quantum electrodynamics, Qubit and Toffoli gate.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis
W.N.N. Hung;Xiaoyu Song;Guowu Yang;Jin Yang.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2006)
Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+1)
Y. Wang;X. Song;M. Aboulhamid;H. Shen.
IEEE Transactions on Signal Processing (2002)
A clustering-based method for unsupervised intrusion detections
ShengYi Jiang;Xiaoyu Song;Hui Wang;Jian-Jun Han.
Pattern Recognition Letters (2006)
A General Decomposition for Reversible Logic
Marek Perkowski;Lech Jozwiak;Pawel Kerntopf;Alan Mishchenko.
Multiway Decision Graphs for Automated Hardware Verification
F. Corella;Z. Zhou;X. Song;M. Langevin.
formal methods (1997)
The design of hybrid carry-lookahead/carry-select adders
Y. Wang;C. Pai;X. Song.
IEEE Transactions on Circuits and Systems Ii: Analog and Digital Signal Processing (2002)
Quantum logic synthesis by symbolic reachability analysis
William N. N. Hung;Xiaoyu Song;Guowu Yang;Jin Yang.
design automation conference (2004)
Fast synthesis of exact minimal reversible circuits using group theory
Guowu Yang;Xiaoyu Song;William N. N. Hung;Marek A. Perkowski.
asia and south pacific design automation conference (2005)
On the Sum Coloring Problem on Interval Graphs
Sara Nicoloso;Majid Sarrafzadeh;X. Song.
Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits
Marek Perkowski;Pawel Kerntopf;Andrzej Buller;Malgorzata Chrzanowska-Jeske.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: