( en | de | ru )

 

Disambiguierung von "Watanabe, Yosinori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Realistic performance-constrained pipelining in high-level synthesis.

, , , und . DATE, Seite 1382-1387. IEEE, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wataru Watanabe

Rie Watanabe

Shigeo Watanabe

Norihiro Watanabe

Shigeo Watanabe

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic of constraints: a quantitative performance and functional constraint formalism., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (8): 1243-1255 (2004)Simulation Trace Verification for Quantitative Constraints., , , und . Embedded Software for SoC, Kluwer / Springer, (2003)State Minimization of Pseudo Non-Deterministic FSM's., und . EDAC-ETC-EUROASIC, Seite 184-191. IEEE Computer Society, (1994)Case Studies of Model Checking for Embedded System Designs., , , und . ACSD, Seite 20-28. IEEE Computer Society, (2003)Functional Model Exploration for Multimedia Applications via Algebraic Operators., , , , und . ACSD, Seite 229-238. IEEE Computer Society, (2006)Schedulability Analysis of Petri Nets Based on Structural Properties., , , , und . ACSD, Seite 69-78. IEEE Computer Society, (2006)A structural approach to quasi-static schedulability analysis of communicating concurrent programs., , , und . EMSOFT, Seite 10-16. ACM, (2005)Separation of concerns: overhead in modeling and efficient simulation techniques., , , und . EMSOFT, Seite 44-53. ACM, (2004)Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets., , , und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 208-227. Springer, (1999)Formal verification of embedded system designs at multiple levels of abstraction., , , , und . HLDVT, Seite 125-130. IEEE Computer Society, (2002)