@article{34564, abstract = {{To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation.}}, author = {{Schäfer, Robbie and Müller, Wolfgang}}, journal = {{Journal on Multimodal User Interfaces}}, keywords = {{Interaction architecture Abstract interaction objects Dialogue model Transformations Multimodality Multi-device Design principles}}, number = {{1}}, pages = {{25--41}}, publisher = {{Springer-Verlag}}, title = {{{Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}}}, doi = {{10.1007/s12193-008-0003-3}}, volume = {{2}}, year = {{2008}}, } @inbook{33815, abstract = {{Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation Desk, National Instruments Teststand) and almost each test system requests its own proprietary test description language. The exchange of tests between different test systems and the reuse of tests between different test levels is normally not possible. Efforts to integrate these heterogeneous test environments, to address test exchange in a general manner and to standardize and harmonize the existing language environment are still at the beginning and not tailored towards the requirements of the automotive domain. To keep the whole development and test process efficient and manageable, the definition of an integrated and seamless approach is required. TestML – the test exchange language we present in this article – is defined to overcome the technological obstacles (different test language syntax and semantics, different data formats and interface descriptions) that almost automatically accompany the application of heterogeneous test tools and test infrastructures. TestML supports the exchange of tests between different test notations in a heterogeneous tool environment. In this paper, we introduce the XML schema of TestML and demonstrate the efficiency of the interchange format by giving examples from the model-based development of electronic control units. Tool support is illustrated by an application with Simulink/Stateflow.}}, author = {{Großmann, Jürgen and Fey, Ines and Krupp, Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}}, booktitle = {{ASWSD 2006: Model-Driven Development of Reliable Automotive Services}}, editor = {{Broy, Manfred and Krüger, Ingolf H. and Meisinger, Michael}}, isbn = {{978-3-540-70929-9}}, keywords = {{Test Behavior, Test Exchange, System Under Test, Hybrid Automaton, Test Execution}}, pages = {{98--117}}, publisher = {{Springer Verlag}}, title = {{{TestML – A Test Exchange Language for Model-based Testing of Embedded Software}}}, doi = {{10.1007/978-3-540-70930-5_7}}, year = {{2008}}, } @misc{47685, author = {{Schrieb, Jonas}}, keywords = {{Diplomarbeit}}, title = {{{Construction and Applications of Identity-Based Encryption without Pairings}}}, year = {{2008}}, } @inproceedings{46419, author = {{Mehnen, J and Trautmann, Heike}}, booktitle = {{Proceedings of the 6$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’08)}}, editor = {{Teti, R}}, publisher = {{Copyright C.O.C. Com. org. Conv.}}, title = {{{Robust Multi-objective Optimisation of Weld Bead Geometry for Additive Manufacturing}}}, year = {{2008}}, } @inproceedings{46420, abstract = {{A systematic approach for determining the generation number at which a specific Multi-Objective Evolutionary Algorithm (MOEA) has converged for a given optimization problem is introduced. Convergence is measured by the performance indicators Generational Distance, Spread and Hypervolume. The stochastic nature of the MOEA is taken into account by repeated runs per generation number which results in a highly robust procedure. For each generation number the MOEA is repeated a fixed number of times, and the Kolmogorow-Smirnov-Test is used in order to decide if a significant change in performance is gained in comparison to preceding generations. A comparison of different MOEAs on a problem with respect to necessary generation numbers becomes possible, and the understanding of the algorithm’s behaviour is supported by analysing the development of the indicator values. The procedure is illustrated by means of standard test problems.}}, author = {{Trautmann, Heike and Ligges, Uwe and Mehnen, Jörn and Preuss, Mike}}, booktitle = {{Parallel Problem Solving from Nature – PPSN X}}, editor = {{Rudolph, Günter and Jansen, Thomas and Beume, Nicola and Lucas, Simon and Poloni, Carlo}}, isbn = {{978-3-540-87700-4}}, pages = {{825–836}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing}}}, year = {{2008}}, } @inproceedings{37075, abstract = {{Complex control oriented embedded systems with hard real-time constraints require real-time operation system (RTOS) for predictable timing behavior. To support the evaluation of different scheduling strategies and task priorities, we use an abstract RTOS model based on SystemC. In this article, we present an annotation method for time estimation that supports flexible simulation and validation of real-time-constraints for task migration between different target processors without loss of simulation performance and less memory overhead.}}, author = {{Zabel, Henning and Müller, Wolfgang}}, editor = {{Kleinjohann, L. and Kleinjohann, B.}}, isbn = {{978-0-387-09660-5}}, keywords = {{Execution Time Schedule Strategy Simulation Speed Task Migration Atomic Block}}, publisher = {{Springer Verlag}}, title = {{{An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}}}, doi = {{10.1007/978-0-387-09661-2_18}}, volume = {{271}}, year = {{2008}}, } @inproceedings{37072, abstract = {{Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs- zeiten und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis- sen und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis von SystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen allerdings nur unzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling und ihren hard- wareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte Scheduler für Softwa- re Task und Interrupt Service Routinen. Diese Trennung erlaubt die präzise Modellierung von Interrupt Prioritäten und Interrupt Scheduling unabhängig von dem eigentlichen RTOS Scheduler.}}, author = {{Zabel, Henning and Müller, Wolfgang}}, booktitle = {{Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System}}, editor = {{Scholl, Ch. and Disch, S.}}, publisher = {{Shaker Verlag}}, title = {{{Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC}}}, year = {{2008}}, } @inproceedings{2370, author = {{Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}}, booktitle = {{IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)}}, isbn = {{978-0-7695-3158-8}}, keywords = {{WSN, testing, verification}}, pages = {{201--208}}, publisher = {{IEEE Computer Society}}, title = {{{EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks}}}, doi = {{10.1109/SUTC.2008.24}}, year = {{2008}}, } @inproceedings{2364, author = {{Schumacher, Tobias and Meiche, Robert and Kaufmann, Paul and Lübbers, Enno and Plessl, Christian and Platzner, Marco}}, booktitle = {{Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}}, isbn = {{1-60132-064-7}}, pages = {{245--251}}, publisher = {{CSREA Press}}, title = {{{A Hardware Accelerator for k-th Nearest Neighbor Thinning}}}, year = {{2008}}, } @inproceedings{2372, author = {{Schumacher, Tobias and Plessl, Christian and Platzner, Marco}}, booktitle = {{Many-core and Reconfigurable Supercomputing Conference (MRSC)}}, keywords = {{IMORC, IP core, interconnect}}, title = {{{IMORC: An infrastructure for performance monitoring and optimization of reconfigurable computers}}}, year = {{2008}}, } @inproceedings{10698, author = {{Knieper, Tobias and Defo, Bertrand and Kaufmann, Paul and Platzner, Marco}}, booktitle = {{Biologically Inspired Collaborative Computing (BICC)}}, pages = {{213--222}}, publisher = {{Springer}}, title = {{{On Robust Evolution of Digital Hardware}}}, doi = {{10.1007/978-0-387-09655-1_19}}, volume = {{268}}, year = {{2008}}, } @inproceedings{824, author = {{S. Lichte, Hermann and Valentin, Stefan and Karl, Holger and Aad, Imad and Loyola, Luis and Widmer, Jörg}}, booktitle = {{INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, {USA}}}, pages = {{1858--1866}}, title = {{{Design and Evaluation of a Routing-Informed Cooperative MAC Protocol for Ad Hoc Networks}}}, doi = {{10.1109/INFOCOM.2008.249}}, year = {{2008}}, } @book{17566, author = {{Meyer auf der Heide, Friedhelm}}, isbn = {{ISBN 978-3-939350-41-5}}, publisher = {{Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}}, title = {{{The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)"}}}, volume = {{222}}, year = {{2008}}, } @techreport{2515, author = {{Eitzen, Falk and Valentin, Stefan and Gossens, Kai and Karl, Holger and Rolfes, Oliver}}, title = {{{Experimental evaluation of IEEE 802.11a-based WLANs for medium range communication}}}, year = {{2007}}, } @inproceedings{19689, author = {{Briest, Patrick and Krysta, Piotr}}, booktitle = {{Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA)}}, title = {{{Buying Cheap is Expensive: Hardness of Non-Parametric Multi-Product Pricing}}}, year = {{2007}}, } @inproceedings{19725, author = {{Bonorden, Olaf}}, booktitle = {{2007 IEEE International Parallel and Distributed Processing Symposium}}, isbn = {{1424409098}}, title = {{{Load Balancing in the Bulk-Synchronous-Parallel Setting using Process Migrations}}}, doi = {{10.1109/ipdps.2007.370330}}, year = {{2007}}, } @inproceedings{19809, abstract = {{For the first time, the problem of optimizing energy for communication and motion is investigated. We consider a single mobile robot with continuous high bandwidth wireless communication, e.g. caused by a multimedia application like video surveillance. This robot is connected to a radio base station and moves with constant speed from a given starting point on the plane to a target point. The task is to find the best path such that the energy consumption for mobility and the communication is optimized. This is motivated by the fact that the energy consumption of radio devices increases polynomially (at least to the power of two) with the transmission distance. We introduce efficient approximation algorithms finding the optimal path given the starting point, the target point and the position of the radio stations. We exemplify the influence of the communication cost by a starting scenario with one radio station. We study the performance of the proposed algorithm in simulation, compare it with the scenario without applying our approach, and present the results.}}, author = {{Ooi, Chia Ching and Schindelhauer, Christian}}, booktitle = {{ROBOCOMM'07: Proc. of the 1st International Conference on Robot Communication and Coordination}}, issn = {{1383-469X}}, pages = {{309--321}}, title = {{{Minimal Energy Path Planning for Wireless Robots}}}, doi = {{10.1007/s11036-008-0150-5}}, year = {{2007}}, } @inproceedings{19853, author = {{Schomaker, Gunnar}}, booktitle = {{Advanced Information Networking and Applications (AINA-07)}}, isbn = {{0769528465}}, issn = {{1550-445X}}, pages = {{331--339}}, title = {{{DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments}}}, doi = {{10.1109/aina.2007.59}}, volume = {{21}}, year = {{2007}}, } @article{2017, author = {{Bagchi, Amitabha and Chaudhary, Amitabh and Scheideler, Christian and Kolman, Petr}}, journal = {{SIAM J. Discrete Math.}}, number = {{1}}, pages = {{141----157}}, title = {{{Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks}}}, doi = {{10.1137/S0895480102419743}}, year = {{2007}}, } @inproceedings{2020, author = {{Onus, Melih and W. Richa, Andrea and Scheideler, Christian}}, booktitle = {{Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007}}, isbn = {{978-1-61197-287-0}}, title = {{{Linearization: Locally Self-Stabilizing Sorting in Graphs}}}, doi = {{10.1137/1.9781611972870.10}}, year = {{2007}}, }