PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Watanabe, Yosinori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Model Exploration for Multimedia Applications via Algebraic Operators.

, , , , und . ACSD, Seite 229-238. IEEE Computer Society, (2006)

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.

Keine Personen gefunden für den Autorennamen Watanabe, Yosinori
Eine Person hinzufügen mit dem Namen Watanabe, Yosinori
 

Weitere Publikationen von Autoren mit dem selben Namen

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