( en | de | ru )

 

Disambiguation of "Watanabe, Yosinori"

Author of the publication

copydeleteadd this publication to your clipboard
Simulation based deadlock analysis for system level designs.

, , , , and . DAC, page 260-265. ACM, (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.

Wataru Watanabe

Rie Watanabe

Norihiro Watanabe

Shigeo Watanabe

Shigeo Watanabe

 

Other publications of authors with the same name

Logic of constraints: a quantitative performance and functional constraint formalism., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (8): 1243-1255 (2004)Simulation Trace Verification for Quantitative Constraints., , , and . Embedded Software for SoC, Kluwer / Springer, (2003)State Minimization of Pseudo Non-Deterministic FSM's., and . EDAC-ETC-EUROASIC, page 184-191. IEEE Computer Society, (1994)Case Studies of Model Checking for Embedded System Designs., , , and . ACSD, page 20-28. IEEE Computer Society, (2003)Functional Model Exploration for Multimedia Applications via Algebraic Operators., , , , and . ACSD, page 229-238. IEEE Computer Society, (2006)Schedulability Analysis of Petri Nets Based on Structural Properties., , , , and . ACSD, page 69-78. IEEE Computer Society, (2006)A structural approach to quasi-static schedulability analysis of communicating concurrent programs., , , and . EMSOFT, page 10-16. ACM, (2005)Separation of concerns: overhead in modeling and efficient simulation techniques., , , and . EMSOFT, page 44-53. ACM, (2004)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)Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs.. ACSD, page 19. IEEE Computer Society, (2009)