|
Home « Team « Publikationen
» Publikationen von
Rüdiger Ebendt
|
 |
BÜCHER |
 |
» Advanced BDD Optimization
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer Verlag |
Autor:
|
|
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2005
|
|
» Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
MontAurum Verlag |
Autor:
|
|
Rüdiger Ebendt |
| Format: |
|
Taschenbuch |
Erscheinungsjahr:
|
|
2004
|
|
|
BUCHBEITRÄGE |
|
| » Exact BDD Minimization for Path-Related Objective Functions |
|
Autor:
| Rüdiger Ebendt, Rolf Drechsler
|
| Herausgeber: | Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer |
| Buchtitel: | VLSI-SoC: From Systems to Silicon |
| Verlag: | Springer |
| Seiten: | 299-315 |
| Erscheinungsjahr: | 2007 |
| Format: | gebunden |
|
|
ZEITSCHRIFTEN |
|
» Weighted A* search - unifying view and application
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
Artificial Intelligence |
| Details: |
|
Volume 173, Issue 15, Pages 1367-1456 (September 2009) |
Jahr:
|
|
2009
|
|
» Exact minimisation of path-related objective functions for binary decision diagrams
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
IEE Proceedings Computer & Digital Techniques |
| Details: |
|
Volume 153, Number 4, pp. 231-242, July |
Jahr:
|
|
2006
|
|
» The Effect of Improved Lower Bounds in Dynamic BDD Reordering
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 5, pp. 902-909, May |
Jahr:
|
|
2006
|
|
» Combining Ordered Best-First Search with Branch and Bound for Exact BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 24, Number 10, pp. 1515-1529, October |
Jahr:
|
|
2005
|
|
» An Improved Branch and Bound Algorithm for Exact BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 22, Number 12, pp. 1657-1663, December |
Jahr:
|
|
2003
|
|
|
KONFERENZEN |
|
» Approximate BDD Minimization by Weighted A*
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Circuits and Systems (ISCAS'09) |
Referenz:
|
| Taipei, 2009
| Hyperlink:
|
| [Link zur Konferenz]
|
» Improvements for Constraint Solving in the SystemC Verification Library
|
|
|
|
Autor:
|
|
Daniel Große, Rüdiger Ebendt, Rolf Drechsler |
| Konferenz: |
|
Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| pp. 493-496, Stresa, 2007
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» A Framework for Quasi-Exact Optimization using Relaxed Best-First Search
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Konferenz: |
|
29th Annual German Conference on Artificial Intelligence (KI'06) |
Referenz:
|
| Bremen, 2006
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» On the Sensitivity of BDDs with Respect to Path-Related Objective Functions
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Circuits and Systems (ISCAS'06) |
Referenz:
|
| Kos, 2006
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exact BDD Minimization for Path-Related Objective Functions
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Konferenz: |
|
IFIP International Conference on Very Large Scale Integration (IFIP VLSI-SOC 2005) |
Referenz:
|
| pp. 525-530, Perth, 2005
| Hyperlink:
|
| [Link zur Konferenz]
| PS:
|
| [hier ansehen]
|
» Quasi-Exact BDD Minimization using Relaxed Best-First Search
|
|
|
|
Autor:
|
|
Rüdiger Ebendt and Rolf Drechsler |
| Konferenz: |
|
IEEE Annual Symposium on VLSI (ISVLSI '05) |
Referenz:
|
| pp. 59-64, Tampa, Florida, 2005
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Lower Bounds for Dynamic BDD Reordering
|
|
|
|
Autor:
|
|
Rüdiger Ebendt and Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference 2005 (ASP-DAC 2005) |
Referenz:
|
| pp. 579-582, Shanghai, 2005
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Minimization of the Expected Path Length in BDDs Based on Local Changes
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference 2004 (ASP-DAC 2004)
|
Referenz:
|
| pp. 866-871, Yokohama, 2004
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Combining Ordered Best-First Search with Branch and Bound for Exact BDD Minimization
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference 2004 (ASP-DAC 2004)
|
Referenz:
|
| pp. 876-879, Yokohama, 2004
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reducing the Number of Variable Movements in Exact BDD Minimization
|
|
|
|
Autor:
|
|
Rüdiger Ebendt |
| Konferenz: |
|
IEEE International Symposium on Circuits and Systems (ISCAS'03) |
Referenz:
|
| pp. V:605-V:608, Bangkok, 2003
| PDF:
|
| [hier ansehen]
|
» Combination of Lower Bounds in Exact BDD Minimization
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther and Rolf Drechsler |
| Konferenz: |
|
IEEE Design, Automation and Test in Europe (DATE'03) |
Referenz:
|
| pp. 758-763, Munich, 2003
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
|
WORKSHOPS |
|
» On the Exact Minimization of Path-Related Objective Functions for BDDs
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Workshop: |
|
International Workshop on Logic and Synthesis (IWLS'05) |
Referenz:
|
| pp. 333-400, Lake Arrowhead, California, 2005
| PDF:
|
| [hier ansehen]
|
» A Tight Lower Bound for Dynamic BDD Minimization
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Workshop: |
|
GI/ITG/GMM-Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
Referenz:
|
| pp. 233-242, Kaiserslautern, 2004
| PS:
|
| [hier ansehen]
|
|
|
|
