|
Alle Publikationen im BibTex-Format
2012 April 2012 - S. Huster
Verifying declarative specications of
object-oriented software using Why3 Wilhelm-Schickard-Institute of Computer Science Department of Computer Engineering University of Tübingen
2010 März 2010 - B. Rakitsch, A. Bernauer, O. Bringmann, W. Rosenstiel
Pruning population size in XCS for complex problems
Wilhelm-Schickard-Institut, Sand 13, 72076 Tübingen, Germany
2008- M. Müller
Modellierung von Echtzeitbetriebssystemen - Eine Konzeptstudie basierend auf SystemC Universität Tübingen
2006- Ruf, J., Weiss, R., Lettnin, D. V., Lämmermann, S., Kropf, T., Rosenstiel, W.
SystemC Temporal Checker Tübingen: Department of Computer Engineering
2005 Forschungsbericht 2004-2005
2003 Forschungsbericht 2001-2003
1999 November 1999 - J. Gerlach, W. Rosenstiel
Ein modularer Ansatz zur Transformationssteuerung WSI-99-20, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen - J. Gerlach, W. Rosenstiel
Transformationale Optimierung von Entwurfsdarstellungen der algorithmischen Ebene WSI-99-19, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
1998 November 1998 - J. Gerlach, W. Rosenstiel
Development of a High-Level Design Space Exploration Methodology WSI-98-13, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen - J. Gerlach, W. Rosenstiel
Software Modules for Format Conversion, Transformation and Synthesis Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
1997- J. Gerlach, W. Rosenstiel.
Ein hierarchischer Evaluierungsansatz zur Steuerung von High-Level Transformationen SFB 358-B3-2/97, TU Dresden - J. Gerlach, W. Rosenstiel.
Transformationale Optimierung des Vollraten-Sprachtranscodierers GSM 06.10. SFB 358-B3-5/97, TU Dresden - J. Gerlach, W. Rosenstiel.
Verfahren zur Kostenabschätzung bei der Synthese digitaler Schaltungen: Stand der Technik SFB 358-B3-4/97, TU Dresden
1996- J. Gerlach, W. Hardt, H. Eikerling.
A Script Environment for the HDL Advisor Evaluation SFB 358-B3-10/96, TU Dresden - J. Gerlach, H. Eikerling, W. Hardt
HW/SW-Codesign und High-Level Synthese des Vollraten-Sprach-Transcodierers GSM 06.10. SFB 358-B3-8/96, TU Dresden - J. Gerlach, W. Hardt, H. Eikerling
Transformation-Based High Level Design Space Exploration SFB 358-B3-9/96, TU Dresden
|