PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Moiseev, Mikhail J."

Author of the publication

copydeleteadd this publication to your clipboard
A static analysis approach to data race detection in SystemC designs.

, , , and . DDECS, page 54-59. IEEE Computer Society, (2013)

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.

Dr. phil. Thomas Mikhail University of Stuttgart

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

 

Other publications of authors with the same name

Automatic transformation of SystemC designs to speed up simulation., , and . EWDTS, page 1-4. IEEE Computer Society, (2015)Voice Activity Detector (VAD) Based on Long-Term Mel Frequency Band Features., , , , and . TSD, volume 9924 of Lecture Notes in Computer Science, page 352-358. Springer, (2016)A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs., , and . DSD, page 89-96. IEEE Computer Society, (2013)Power specification, simulation and verification of SystemC designs., , , and . EWDTS, page 1-4. IEEE, (2016)Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication., , , and . ICUMT, page 123-130. IEEE, (2014)Automatic data race detection in SystemC models., and . Automatic Control and Computer Sciences, 46 (7): 356-363 (2012)A static analysis approach to data race detection in SystemC designs., , , and . DDECS, page 54-59. IEEE Computer Society, (2013)Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.. SERENE, volume 8166 of Lecture Notes in Computer Science, page 169-183. Springer, (2013)A Distributed Autonomous and Collaborative Multi-Robot System Featuring a Low-Power Robot SoC in 22nm CMOS for Integrated Battery-Powered Minibots., , , , , , , , , and 26 other author(s). ISSCC, page 48-50. IEEE, (2019)Static analysis method for deadlock detection in SystemC designs., , , and . SoC, page 42-47. IEEE, (2011)