(1 - 25 von 25
)
MBMV 2017
www.informatik.uni-bremen.de
Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” ... Patrick Sittel, Martin Kumm, Konrad Möller, Martin Hardieck and Peter Zipf High-Level Synthesis for Model-Based Design with Automatic Folding including Combined Common Subcircuits:
Euro-Par | Conference | International European Conference on...
2019.euro-par.org
Julian Oppermann, Patrick Sittel, Martin Kumm, Melanie Reuter-Oppermann, Andreas Koch, Oliver Sinnen. Many of today's applications in parallel and ...
FG RSS-VERIFY - Gesellschaft für Informatik eVfg-rss-verify.gi.de › veranstaltung › methoden-und-beschreibungssprachen...
fg-rss-verify.gi.de
Universität Ulm; Patrick Sittel, Thomas Schönwälder, Martin Kumm and Peter Zipf ScaLP: A Light-Weighted (MI)LP-Library Universität Kassel. 17: :10.
Euro-Par | Wednesday, | International European...
2019.euro-par.org
Julian Oppermann, Patrick Sittel, Martin Kumm, Melanie Reuter-Oppermann, Andreas Koch and Oliver Sinnen Design-Space Exploration with ...
sortiert nach Relevanz / Datum