( en | de | ru )

 

Disambiguation of "Tanaka, Hidetoshi"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Design Verification Using Automated Test Generation.

, , , and . ITC, page 88-95. IEEE Computer Society, (1984)

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.

Masao Tanaka

Masafumi Tanaka

Hidetoshi Yamabe

Shin Tanaka

Shu Tanaka

 

Other publications of authors with the same name

Logic Design Verification Using Automated Test Generation., , , and . ITC, page 88-95. IEEE Computer Society, (1984)A Case Study in Large-Scale Interactive Optimization., , , , and . Artificial Intelligence and Applications, page 24-29. IASTED/ACTA Press, (2005)Local Search Using Orthogonal Design of Experiment.. PDPTA, CSREA Press, (2000)Temperature referenced supply voltage and forward-body-bias control (TSFC) architecture for minimum power consumption ubiquitous computing processors., , , , and . ESSCIRC, page 391-394. IEEE, (2004)Protein Function Database as a Deductive and Object-Oriented Database.. DEXA, page 481-486. Springer-Verlag, Wien, (1991)Electric-energy generation using variable-capacitive resonator for power-free LSI: efficiency analysis and fundamental experiment., , , , , , and . ISLPED, page 193-198. ACM, (2003)System Level Fault Dictionary Generation., , , and . ITC, page 884-887. IEEE Computer Society, (1988)Integrated System for Protein Information Processing.. FGCS, page 321-329. IOS Press, (1992)Electric power generation using piezoelectric resonator for power-free sensor node., , , and . CICC, page 97-100. IEEE, (2005)Hidden Markov Models and Iterative Aligners: Study of Their Equivalence and Possibilities., , , and . ISMB, page 395-401. AAAI, (1993)