( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Targeting Leakage Constraints during ATPG.

, , , и . ATS, стр. 225-230. IEEE Computer Society, (2008)

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.

Toko Fujita

Masahiro Noguchi

Buntaro Fujita

Masahiro Ogawa

Masahiro Yoshida

 

Другие публикации лиц с тем же именем

Jamming layered membrane gripper mechanism for grasping differently shaped-objects without excessive pushing force for search and rescue missions., , , , , , , и . Adv. Robotics, 32 (11): 590-604 (2018)Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams., , и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 86-A (12): 3192-3199 (2003)Multi-observed Multi-factor Authentication: A Multi-factor Authentication Using Single Credential., , , , , , , , и . NBiS, том 526 из Lecture Notes in Networks and Systems, стр. 201-211. Springer, (2022)Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization., , , , , , , , , и 31 other автор(ы). CoRR, (2020)VERIFUL: VERIfication using FUnctional Learning., , и . ED&TC, стр. 444-448. IEEE Computer Society, (1995)Lateral State Prediction for Automated Steering using Reliability-Weighted Measurements from Multiple Sensors., , и . ITSC, стр. 461-466. IEEE, (2007)Formal verification - prove it or pitch it., , , , , , , , и . DAC, стр. 710-711. ACM, (2003)Accelerating Tsunami simulation with FPGA and GPU through automatic compilation.. ACWR, стр. 79. ACM, (2011)Combining Restorability and Error Detection Ability for Effective Trace Signal Selection., , , и . ACM Great Lakes Symposium on VLSI, стр. 191-196. ACM, (2017)Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams., и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 369. Springer, (2002)