Author of the publication

Formal specification and verification of a dataflow processor array.

, , , and . ICCAD, page 494-499. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Backstepping control with speed estimation of PMSM based on MRAS., , , and . Automatic Control and Computer Sciences, 50 (2): 116-123 (2016)Machine Learning of Concrete Temperature Development for Quality Control of Field Curing., , , , , and . J. Comput. Civ. Eng., (2020)Fully Sparse Transformer 3-D Detector for LiDAR Point Cloud., , , , and . IEEE Trans. Geosci. Remote. Sens., (2023)Assembly Process Knowledge Graph for Digital Twin., , and . CASE, page 758-763. IEEE, (2021)Design of domestic embedded computer system based on ARM.. ICISCAE (ACM), page 2435-2439. ACM, (2021)Real-time SAR processing of ice-sounding data integrated with mitigation of RFI signals., , , , and . IGARSS, page 7094-7097. IEEE, (2016)Opportunistic transmission scheduling with resource-sharing constraints in wireless networks., , and . IEEE J. Sel. Areas Commun., 19 (10): 2053-2064 (2001)Live Demonstration: A Stimulation Senseless based Visual Brain-computer Interface for Shopping Scenarios., , , , , , , , and . BioCAS, page 245. IEEE, (2022)Design of Communication Simulation System Based on High-Level Architecture.. WAC, page 272-276. IEEE, (2022)A new class of agricultural production planning chance-constrained model with fuzzy parameters., , and . FSKD, page 398-402. IEEE, (2010)