Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Sebastian Offermann


BÜCHER


BUCHBEITRÄGE
» SyReC: A Programming Language for Synthesis of Reversible Circuits
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010 Autor:

Robert Wille, Sebastian Offermann, Rolf Drechsler

Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:207-222
Erscheinungsjahr:2012
Format:Hardcover



ZEITSCHRIFTEN


KONFERENZEN


» Efficient Realization of Control Logic in Reversible Circuits




Autor:

Sebastian Offermann, Robert Wille, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Oldenburg, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» SyReC: A Programming Language for Synthesis of Reversible Circuits




Autor:

Robert Wille, Sebastian Offermann, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

pp. 184-189, Southampton, 2010
Received Best Paper Award
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesizing Multiplier in Reversible Logic




Autor:

Sebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Konferenz:
13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

pp. 335-340, Vienna, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» SyReC: A Programming Language for Synthesis of Reversible Circuits




Autor:

Robert Wille, Sebastian Offermann, Rolf Drechsler
Workshop:
International Workshop on Logic Synthesis (IWLS)
Referenz:

Irvine, 2010
Hyperlink:

[Link zum Workshop]


» SyReC: A Programming Language for Synthesis of Reversible Circuits




Autor:

Robert Wille, Sebastian Offermann, Rolf Drechsler
Workshop:
13. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Referenz:

Dresden, 2010
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt