Search Results - "Neubauer, Kai"
-
1
Evolutionary System Design with Answer Set Programming
Published in Algorithms (01-04-2023)“…We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design…”
Get full text
Journal Article -
2
Exact multi-objective design space exploration using ASPmT
Published in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01-03-2018)“…An efficient Design Space Exploration (DSE) is imperative for the design of modern, highly complex embedded systems in order to steer the development towards…”
Get full text
Conference Proceeding -
3
-
4
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (01-03-2017)“…The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined…”
Get full text
Conference Proceeding -
5
Work-in-Progress: On Leveraging Approximations for Exact System-level Design Space Exploration
Published in 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (01-09-2018)“…In order to find good design points for embedded systems, an efficient exploration of the design space is imperative. The ever-increasing complexity of…”
Get full text
Conference Proceeding -
6
Supporting composition in symbolic system synthesis
Published in 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) (01-07-2016)“…Typically, state-of-the-art approaches in system synthesis do not consider the trend in embedded systems design towards systems-of-systems where optimized…”
Get full text
Conference Proceeding -
7
On leveraging approximations for exact system-level design space exploration: work-in-progress
Published in Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (30-09-2018)“…In order to find good design points for embedded systems, an efficient exploration of the design space is imperative. The ever-increasing complexity of…”
Get full text
Conference Proceeding
-
8
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation
Published in 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) (01-01-2018)“…Recently, it has been shown that constraint-based symbolic solving techniques offer an efficient way for deciding binding and routing options in order to…”
Get full text
Conference Proceeding -
9
Analysis of driving data for autonomous vehicle applications
Published in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01-10-2017)“…Autonomous vehicle technology has been rapidly expanding through the incorporation of advanced driver assistance systems in many new vehicles. The integration…”
Get full text
Conference Proceeding -
10
The Highways and Byways of Heine Research Today
Published in German Studies Review (01-10-2002)Get full text
Book Review Journal Article -
11
Intensified intravitreal bevacizumab treatment regime for type 1 and 2 idiopathic macular telangiectasia
Published in International journal of ophthalmology (18-07-2016)“…Dear Sir,I am Dr.Christos Chryssafis,from the Knappschafts Eye Clinic,Sulzbach,Saar,Germany.I write to present the results of our study about an intensified…”
Get full text
Journal Article -
12
Design Space Exploration with Answer Set Programming
Published in KI. Künstliche Intelligenz (Oldenbourg) (01-08-2018)“…The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds…”
Get full text
Magazine Article -
13
Heinrich Heines heroische Leidenschaften: Anthropologie der Sinnlichkeit von Bruno bis Feuerbach
Published in German studies review (01-10-2002)Get full text
Book Review