Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Programmiersprachen und Compilerbau
Refine
Author
Hofstedt, Petra
(92)
Löffler, Sven
(34)
Liu, Ke
(23)
Becker, Ilja
(10)
Schölzel, Mario
(10)
Frank, Stephan
(9)
Sauer, Peter
(8)
Vörtler, Thilo
(7)
Bachmann, Peter
(6)
Höckner, Benny
(6)
+ more
Year of publication
2023
(4)
2022
(4)
2021
(4)
2020
(6)
2019
(13)
2018
(6)
2017
(6)
2016
(1)
2015
(9)
2014
(3)
+ more
Document Type
Conference Proceeding
(60)
Conference publication peer-reviewed
(32)
Doctoral thesis
(7)
Scientific journal article peer-reviewed
(6)
Scientific journal article not peer-reviewed
(4)
Part of a book (chapter)
(4)
Report
(4)
Book
(3)
Article
(2)
Book (publisher)
(1)
+ more
Language
English
(89)
German
(35)
Multiple languages
(1)
Keywords
Constraint Programming
(17)
Artificial Intelligence
(6)
Constraint Satisfaction Problems
(4)
Constraint Solving
(3)
Constraint Transformation
(2)
Declarative Programming
(2)
Deklarative Programmierung
(2)
Machine Learning
(2)
Optimization
(2)
Beacon Placement
(1)
+ more
Institute
FG Programmiersprachen und Compilerbau
(125)
FG Angewandte Medienwissenschaften
(1)
FG Datenbank- und Informationssysteme
(1)
FG Technische Informatik
(1)
BTU
an der BTU erstellt / created at BTU
(70)
nicht an der BTU erstellt / not created at BTU
(1)
125
search hits
91
to
125
Export
BibTeX
CSV
RIS
XML
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A Flexible Meta-solver Framework for Constraint Solver Collaboration
(2003)
Frank, Stephan
;
Hofstedt, Petra
;
Mai, Pierre R.
Turtle. A Constraint Imperative Programming Language
(2003)
Grabmüller, Martin
;
Hofstedt, Petra
Meta-S: A Strategy-Oriented Meta-Solvet Framework
(2003)
Frank, Stephan
;
Hofstedt, Petra
;
Mai, Pierre R.
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs
(2004)
Frank, Stephan
;
Hofstedt, Petra
;
Reckmann, D.
Workshop Proceedings
(2004)
Design-Space-Exploration Using Simulated Annealing
(2005)
Scholz, Sebastian
;
Schölzel, Mario
DESCOMP: A New Design Space Exploration Approach
(2005)
Schölzel, Mario
;
Bachmann, Peter
Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software
(2006)
Schölzel, Mario
;
Bachmann, Peter
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren
(2006)
Heinig, Andy
;
Schölzel, Mario
Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors
(2006)
Schölzel, Mario
Formal Verification of Event Driven Systems
(2006)
Bachmann, Peter
Time-Constrained Clustering for DSE of Clustered VLIW-ASP
(2007)
Schölzel, Mario
A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy
(2006)
Pawlowski, P.
;
Schölzel, Mario
Formale Verifikation von Contiki-Anwendungen
(2011)
Vörtler, Thilo
;
Klotz, Thomas
;
Fordran, Eva
;
Hofstedt, Petra
System Description: Meta-S. Combining Solver Cooperation and programming Languages
(2005)
Frank, Stephan
;
Hofstedt, Petra
;
Reckmann, D.
CLFD: A Finite Domain Constraint Solver in Common Lisp
(2005)
Frank, Stephan
;
Hofstedt, Petra
Turtle++ - A CIP-Library for C++
(2006)
Hofstedt, Petra
;
Krzikalla, O.
Solution Strategies for Multi-domain Constraint Logic Programs
(2007)
Frank, Stephan
;
Hofstedt, Petra
;
Pepper, Peter
;
Reckmann, D.
Integration of Declarative and Constraint Programming
(2007)
Hofstedt, Petra
;
Pepper, Peter
Einführung in die Constraint-Programmierung
(2007)
Hofstedt, Petra
;
Wolf, Armin
Funktionale Programmierung: Sprachdesign und Programmiertechnik
(2006)
Pepper, Peter
;
Hofstedt, Petra
CCFL - A Concurrent Constraint Functional Language
(2008)
Hofstedt, Petra
Safety of Compilers and Translation Techniques - Status quo of Technology and Science
(2008)
Frank, Stephan
;
Grabmüller, Martin
;
Hofstedt, Petra
;
Kleeblatt, Dirk
;
Pepper, Peter
Push-Based FRP
(2008)
Jeltsch, Wolfgang
Constraint Functional Multicore Programming
(2009)
Hofstedt, Petra
;
Lorenzen, Florian
Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting
(2009)
Hofstedt, Petra
;
Ueda, K.
Signals, Not Generators!
(2010)
Jeltsch, Wolfgang
The Multiparadigm Programming Language CCFL
(2010)
Hofstedt, Petra
Realizing evaluation strategies by hierarchical graph rewriting
(2010)
Hofstedt, Petra
Generic Record Combinators with Static Type Checking
(2010)
Jeltsch, Wolfgang
Constraint-Based Object-Oriented Programming
(2010)
Hofstedt, Petra
A new approach to Event-Driven Programming
(2008)
ELssaedi, Mosbah Mohamed
Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren
(2006)
Schölzel, Mario
Application Specific Processor Design for Digital Signal Processing
(2004)
Schölzel, Mario
;
Bachmann, Peter
;
Vierhaus, Heinrich Theodor
Globale Registerallokation für irreguläre Registerarchitekturen durch Graphfärbung
(2001)
Schölzel, Mario
91
to
125
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.