Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quasi-static Scheduling for Concurrent Architectures.

J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin, and Y. Watanabe. Fundam. Inform., 62 (2): 171-196 (2004)

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

A BMC-based formulation for the scheduling problem of hardware systems.G. Cabodi, A. Kondratyev, L. Lavagno, S. Nocco, S. Quer, and Y. Watanabe. STTT, 7 (2): 102-117 (2005)State Minimization of Pseudo Non-Deterministic FSM's.Y. Watanabe, and R. Brayton. EDAC-ETC-EUROASIC, page 184-191. IEEE Computer Society, (1994)Heuristic minimization of multiple-valued relations.Y. Watanabe, and R. Brayton. IEEE Trans. on CAD of Integrated Circuits and Systems, 12 (10): 1458-1472 (1993)Metropolis: An Integrated Electronic System Design Environment.F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. IEEE Computer, 36 (4): 45-52 (2003)Logic of constraints: a quantitative performance and functional constraint formalism.X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. IEEE Trans. on CAD of Integrated Circuits and Systems, 23 (8): 1243-1255 (2004)Simulation Trace Verification for Quantitative Constraints.X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. Embedded Software for SoC, Kluwer / Springer, (2003)Case Studies of Model Checking for Embedded System Designs.X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. ACSD, page 20-28. IEEE Computer Society, (2003)Functional Model Exploration for Multimedia Applications via Algebraic Operators.S. Kakita, Y. Watanabe, D. Densmore, A. Davare, and A. Sangiovanni-Vincentelli. ACSD, page 229-238. IEEE Computer Society, (2006)Schedulability Analysis of Petri Nets Based on Structural Properties.C. Liu, A. Kondratyev, Y. Watanabe, A. Sangiovanni-Vincentelli, and J. Desel. ACSD, page 69-78. IEEE Computer Society, (2006)Hardware/Software Codesign Across Many Cadence Technologies.G. Martin, F. Schirrmeister, and Y. Watanabe. Handbook of Hardware/Software Codesign, Springer, (2017)

PUMA

Disambiguation of "Watanabe, Yosinori"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quasi-static Scheduling for Concurrent Architectures.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Watanabe, Yosinori"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Quasi-static Scheduling for Concurrent Architectures.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quasi-static Scheduling for Concurrent Architectures.