TY - CHAP A1 - Schölzel, Mario T1 - Globale Registerallokation für irreguläre Registerarchitekturen durch Graphfärbung T2 - Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried Y1 - 2001 PB - Konradin-Verl. Kohlhammer CY - Leinfelden-Echterdingen ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter A1 - Vierhaus, Heinrich Theodor ED - Dabrowski, Adam T1 - Application Specific Processor Design for Digital Signal Processing T2 - Signal processing '2004, workshop proceedings, Poznan, 24th September 2004 Y1 - 2004 SN - 83-913251-5-6 SP - 7 EP - 15 PB - Poznan Univ. of Technology CY - Poznan ER - TY - JOUR A1 - Hofstedt, Petra T1 - CCFL - A Concurrent Constraint Functional Language Y1 - 2008 ER - TY - CHAP A1 - Hofstedt, Petra A1 - Lorenzen, Florian T1 - Constraint Functional Multicore Programming T2 - Informatik 2009 : im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9. - 2.10.2009 in Lübeck Y1 - 2009 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Jeltsch, Wolfgang T1 - Push-Based FRP Y1 - 2008 ER - TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Kleeblatt, Dirk A1 - Pepper, Peter T1 - Safety of Compilers and Translation Techniques - Status quo of Technology and Science T2 - Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 19. und 20. November 2008, Stuttgart Y1 - 2008 SN - 978-3-8322-7681-2 SP - 47 EP - 62 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Jeltsch, Wolfgang T1 - Generic Record Combinators with Static Type Checking T2 - Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010 Y1 - 2010 U6 - https://doi.org/10.1145/1836089.1836108 SP - 143 EP - 154 PB - ACM, Digital Library CY - New York, NY ER - TY - CHAP A1 - Hofstedt, Petra T1 - Realizing evaluation strategies by hierarchical graph rewriting T2 - Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010 Y1 - 2010 UR - http://arxiv.org/abs/1009.3770 ER - TY - CHAP A1 - Hofstedt, Petra T1 - The Multiparadigm Programming Language CCFL T2 - Informatik 2010, Service Science - neue Perspektiven für die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bd. 2 Y1 - 2010 SN - 978-3-88579-270-3 SP - 699 EP - 704 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Jeltsch, Wolfgang ED - Horvath, Zoltan T1 - Signals, Not Generators! T2 - Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009 Y1 - 2010 SN - 978-1-84150-158-1 SN - 978-1-84150-442-1 SP - 145 EP - 160 PB - Intellect CY - Bristol ER - TY - GEN A1 - Hofstedt, Petra T1 - Constraint-Based Object-Oriented Programming T2 - IEEE Computer Society, IEEE Software Y1 - 2010 SN - 0740-7459 VL - 27 IS - 5 SP - 53 EP - 56 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Pepper, Peter A1 - Reckmann, D. T1 - Solution Strategies for Multi-domain Constraint Logic Programs T2 - Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 Y1 - 2007 SN - 978-3-540-70880-3 SP - 209 EP - 222 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Krzikalla, O. T1 - Turtle++ - A CIP-Library for C++ T2 - Declarative programming for knowledge management : revised selected papers, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005 Y1 - 2006 SN - 978-3-540-69233-1 SP - 12 EP - 24 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra T1 - CLFD: A Finite Domain Constraint Solver in Common Lisp Y1 - 2005 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - System Description: Meta-S. Combining Solver Cooperation and programming Languages Y1 - 2005 ER - TY - CHAP A1 - Vörtler, Thilo A1 - Klotz, Thomas A1 - Fordran, Eva A1 - Hofstedt, Petra T1 - Formale Verifikation von Contiki-Anwendungen T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband Y1 - 2011 SN - 978-3-00-033820-5 PB - OFFIS CY - Oldenburg ER - TY - CHAP A1 - Schölzel, Mario T1 - Time-Constrained Clustering for DSE of Clustered VLIW-ASP T2 - 2007 Design, Automation & Test in Europe Conference & Exhibition, Nice, France, 16 - 20 April 2007 Y1 - 2007 SN - 978-3-9810801-2-4 SP - 467 EP - 472 PB - IEEE Service Center CY - Piscataway, NJ ER - TY - CHAP A1 - Pawlowski, P. A1 - Schölzel, Mario T1 - A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario T1 - Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software T2 - Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium für Prof. Dr.-Ing. Günter Elst, 10. - 11. Mai 2006 Y1 - 2006 SP - 19 EP - 24 PB - Fraunhofer-Institut CY - Dresden ER -