@inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Globale Registerallokation f{\"u}r irregul{\"a}re Registerarchitekturen durch Graphf{\"a}rbung}, series = {Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried}, booktitle = {Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried}, publisher = {Konradin-Verl. Kohlhammer}, address = {Leinfelden-Echterdingen}, language = {de} } @inproceedings{SchoelzelBachmannVierhaus, author = {Sch{\"o}lzel, Mario and Bachmann, Peter and Vierhaus, Heinrich Theodor}, title = {Application Specific Processor Design for Digital Signal Processing}, series = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, booktitle = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, editor = {Dabrowski, Adam}, publisher = {Poznan Univ. of Technology}, address = {Poznan}, isbn = {83-913251-5-6}, pages = {7 -- 15}, language = {en} } @article{Hofstedt, author = {Hofstedt, Petra}, title = {CCFL - A Concurrent Constraint Functional Language}, language = {de} } @inproceedings{HofstedtLorenzen, author = {Hofstedt, Petra and Lorenzen, Florian}, title = {Constraint Functional Multicore Programming}, series = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, booktitle = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, language = {en} } @inproceedings{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Push-Based FRP}, language = {de} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Kleeblatt, Dirk and Pepper, Peter}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, series = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-7681-2}, pages = {47 -- 62}, language = {en} } @inproceedings{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Generic Record Combinators with Static Type Checking}, series = {Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010}, booktitle = {Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010}, publisher = {ACM, Digital Library}, address = {New York, NY}, doi = {10.1145/1836089.1836108}, pages = {143 -- 154}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Realizing evaluation strategies by hierarchical graph rewriting}, series = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, booktitle = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, pages = {15}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {The Multiparadigm Programming Language CCFL}, series = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, booktitle = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-270-3}, pages = {699 -- 704}, language = {de} } @inproceedings{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Signals, Not Generators!}, series = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009}, booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009}, editor = {Horvath, Zoltan}, publisher = {Intellect}, address = {Bristol}, isbn = {978-1-84150-158-1}, pages = {145 -- 160}, language = {en} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Constraint-Based Object-Oriented Programming}, series = {IEEE Computer Society, IEEE Software}, volume = {27}, journal = {IEEE Computer Society, IEEE Software}, number = {5}, issn = {0740-7459}, pages = {53 -- 56}, language = {de} } @inproceedings{FrankHofstedtPepperetal., author = {Frank, Stephan and Hofstedt, Petra and Pepper, Peter and Reckmann, D.}, title = {Solution Strategies for Multi-domain Constraint Logic Programs}, series = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, booktitle = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-70880-3}, pages = {209 -- 222}, language = {en} } @inproceedings{HofstedtKrzikalla, author = {Hofstedt, Petra and Krzikalla, O.}, title = {Turtle++ - A CIP-Library for C++}, series = {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}, booktitle = {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}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-69233-1}, pages = {12 -- 24}, language = {en} } @inproceedings{FrankHofstedt, author = {Frank, Stephan and Hofstedt, Petra}, title = {CLFD: A Finite Domain Constraint Solver in Common Lisp}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {System Description: Meta-S. Combining Solver Cooperation and programming Languages}, language = {en} } @inproceedings{VoertlerKlotzFordranetal., author = {V{\"o}rtler, Thilo and Klotz, Thomas and Fordran, Eva and Hofstedt, Petra}, title = {Formale Verifikation von Contiki-Anwendungen}, series = {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}, booktitle = {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}, publisher = {OFFIS}, address = {Oldenburg}, isbn = {978-3-00-033820-5}, language = {de} } @inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Time-Constrained Clustering for DSE of Clustered VLIW-ASP}, series = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, booktitle = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, publisher = {IEEE Service Center}, address = {Piscataway, NJ}, isbn = {978-3-9810801-2-4}, pages = {467 -- 472}, language = {en} } @inproceedings{PawlowskiSchoelzel, author = {Pawlowski, P. and Sch{\"o}lzel, Mario}, title = {A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy}, language = {de} } @inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors}, language = {en} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {Durchg{\"a}ngiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software}, series = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, booktitle = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, publisher = {Fraunhofer-Institut}, address = {Dresden}, pages = {19 -- 24}, language = {de} }