Yosinori Watanabe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
7
Active years
1991–2013
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2012 | DATE | Exploiting area/delay tradeoffs in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2012 | MEMOCODE | Clearing the clutter: Unified modeling and verification methodology for system level hardware design. | Yosinori Watanabe, Stuart Swan |
| 2011 | DATE | Realistic performance-constrained pipelining in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2010 | ASPDAC | Incremental high-level synthesis. | Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama |
| 2005 | DAC | Simulation based deadlock analysis for system level designs. | Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
| 2005 | DATE | A Time Slice Based Scheduler Model for System Level Design. | Luciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe |
| 2005 | EMSOFT | A structural approach to quasi-static schedulability analysis of communicating concurrent programs. | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | Eliminating False Positives in Crosstalk Noise Analysis. | Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska |
| 2004 | EMSOFT | Separation of concerns: overhead in modeling and efficient simulation techniques. | Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin |
| 2003 | DAC | Temporofunctional crosstalk noise analysis. | Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska |
| 2003 | DAC | Automatic trace analysis for logic of constraints. | Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
| 2003 | DAC | Gain-based technology mapping for discrete-size cell libraries. | Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska |
| 2003 | DATE | Automatic Generation of Simulation Monitors from Quantitative Constraint Formula. | Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
| 2003 | DATE | An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. | Antonio G. Lomea, Marisa Luisa Lpez-Vallejo, Yosinori Watanabe, Alex Kondratyev |
| 2002 | DATE | False Path Elimination in Quasi-Static Scheduling. | G. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe |
| 2002 | EMSOFT | Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. | Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
| 2001 | DATE | Generation of minimal size code for scheduling graphs. | Claudio Passerone, Yosinori Watanabe, Luciano Lavagno |
| 2000 | DAC | Task generation and compile-time scheduling for mixed data-control embedded software. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DAC | Area and search space control for technology mapping. | Dirk-Jan Jongeneel, Yosinori Watanabe, Robert K. Brayton, Ralph H. J. M. Otten |
| 1995 | ICCAD | A delay model for logic synthesis of continuously-sized networks. | Joel Grodstein, Eric Lehman, Heather Harkness, Bill Grundmann, Yosinori Watanabe |
| 1995 | ICCAD | Logic decomposition during technology mapping. | Eric Lehman, Yosinori Watanabe, Joel Grodstein, Heather Harkness |
| 1993 | ICCAD | The maximum set of permissible behaviors for FSM networks. | Yosinori Watanabe, Robert K. Brayton |
| 1993 | ICCD | Heuristic Minimization of Synchronous Relations. | Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton |
| 1993 | ICCD | Logic Optimization with Multi-Output Gates. | Yosinori Watanabe, Lisa M. Guerra, Robert K. Brayton |
| 1991 | ICCAD | Heuristic Minimazation of Multiple-Valued Relations. | Yosinori Watanabe, Robert K. Brayton |
| 1991 | ICCD | Incremental Synthesis for Engineering Changes. | Yosinori Watanabe, Robert K. Brayton |