( en | de | ru )

 

Disambiguation of "Fujita, Masahiro"

Author of the publication

copydeleteadd this publication to your clipboard
Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse.

, , and . IRI, page 318-325. IEEE Systems, Man, and Cybernetics Society, (2005)

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.

Toko Fujita

Masahiro Noguchi

Buntaro Fujita

Masahiro Ogawa

Masahiro Yoshida

 

Other publications of authors with the same name

Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog., , , and . ICLP, volume 225 of Lecture Notes in Computer Science, page 695-709. Springer, (1986)A 48 MHz 880-nW Standby Power Normally-Off MCU with 1 Clock Full Backup and 4.69-μs Wakeup Featuring 60-nm Crystalline In-Ga-Zn Oxide BEOL-FETs., , , , , , , , , and 1 other author(s). VLSI Circuits, page 48-. IEEE, (2019)An Incremental Automatic Test Pattern Generation Method for Multiple Stuck-at Faults., , and . VTS, page 1-6. IEEE, (2019)Bug Identification of a Real Chip Design by Symbolic Model Checking., , and . EDAC-ETC-EUROASIC, page 132-136. IEEE Computer Society, (1994)Verification Techniques for System-Level Design., , and . The Morgan Kaufmann series in systems on silicon Morgan Kaufmann, (2008)On variable ordering of binary decision diagrams for the application of multi-level logic synthesis., , and . EURO-DAC, page 50-54. EEE Computer Society, (1991)234 scheduling of 3-2 and 2-1 eliminations for parallel image compositing using non-power-of-two number of processes., , and . HPCS, page 421-428. IEEE, (2015)Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams., and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 369. Springer, (2002)ATM Switch Design: Parametric High-Level Modeling and Formal Verification., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 437-450. Springer, (1997)An Image-Based CAPTCHA Using Sophisticated Mental Rotation., , , , and . HCI (24), volume 8533 of Lecture Notes in Computer Science, page 57-68. Springer, (2014)