PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Watanabe, Yosinori"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental high-level synthesis.

, , , , , , and . ASP-DAC, page 701-706. IEEE, (2010)

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.

No persons found for author name Watanabe, Yosinori
add a person with the name Watanabe, Yosinori
 

Other publications of authors with the same name

Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs.. ACSD, page 19. IEEE Computer Society, (2009)Eliminating False Positives in Crosstalk Noise Analysis., , , and . DATE, page 1192-1197. IEEE Computer Society, (2004)Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques., , , , and . ACM Trans. Design Autom. Electr. Syst., 15 (2): 12:1-12:34 (2010)State Space Compression in History Driven Quasi-Static Scheduling., , , and . Embedded Software for SoC, Kluwer / Springer, (2003)A structural approach to quasi-static schedulability analysis of communicating concurrent programs., , , and . EMSOFT, page 10-16. ACM, (2005)Runtime deadlock analysis for system level design., , , , , and . Design Autom. for Emb. Sys., 13 (4): 287-310 (2009)Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets., , , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 208-227. Springer, (1999)Heuristic Minimazation of Multiple-Valued Relations., and . ICCAD, page 126-129. IEEE Computer Society, (1991)Formal verification of embedded system designs at multiple levels of abstraction., , , , and . HLDVT, page 125-130. IEEE Computer Society, (2002)Separation of concerns: overhead in modeling and efficient simulation techniques., , , and . EMSOFT, page 44-53. ACM, (2004)