From post

Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse.

, , и . IRI, стр. 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.

 

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

Combining Restorability and Error Detection Ability for Effective Trace Signal Selection., , , и . ACM Great Lakes Symposium on VLSI, стр. 191-196. ACM, (2017)Accelerating Tsunami simulation with FPGA and GPU through automatic compilation.. ACWR, стр. 79. ACM, (2011)Formal verification - prove it or pitch it., , , , , , , , и . DAC, стр. 710-711. ACM, (2003)Development of a folding arm on an articulated mobile robot for plant disaster prevention., , , , и . Adv. Robotics, 34 (2): 89-103 (2020)An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon Debugging., , и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 94-A (7): 1519-1529 (2011)SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement., , и . J. Electron. Test., 35 (5): 655-678 (2019)Kinetic analysis in human brain of 11C(R)-rolipram, a positron emission tomographic radioligand to image phosphodiesterase 4: A retest study and use of an image-derived input function., , , , , , , , и . NeuroImage, 54 (3): 1903-1909 (2011)Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design.. Proc. IEEE, 103 (11): 2052-2060 (2015)Performance Estimation with Automatic False-Path Detection for System-Level Designs., , и . IPSJ Trans. Syst. LSI Des. Methodol., (2010)Synthesis and Generalization of Parallel Algorithm for Matrix-vector Multiplication., , , и . IPSJ Trans. Syst. LSI Des. Methodol., (2020)