@misc{421, author = {{Lippert, Jan}}, publisher = {{Universität Paderborn}}, title = {{{Fujisaki-Okamoto Transformation}}}, year = {{2014}}, } @misc{422, author = {{Sanati, Maryam}}, publisher = {{Universität Paderborn}}, title = {{{Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions}}}, year = {{2014}}, } @misc{423, author = {{Jojiju, Suman}}, publisher = {{Universität Paderborn}}, title = {{{Finding Optimal Self-Adaption Rules by Design-Space Exploration}}}, year = {{2014}}, } @misc{424, author = {{Finkensiep, Christoph}}, publisher = {{Universität Paderborn}}, title = {{{Fast and Flexible Automatic Composition of Semantic Web Services}}}, year = {{2014}}, } @inproceedings{425, abstract = {{In this paper, we evaluate the robustness of our color-based segmentation approach in combination with different color spaces, namely RGB, L*a*b*, HSV, and log-chromaticity (LCCS). For this purpose, we describe our deterministic segmentation algorithm including its gradually transformation of pixel-precise image data into a less error-prone and therefore more robust statistical representation in terms of moments. To investigate the robustness of a specific segmentation setting, we introduce our evaluation framework that directly works on the statistical representation. It is based on two different types of robustness measures, namely relative and absolute robustness. While relative robustness measures stability of segmentation results over time, absolute robustness measures stability regarding varying illumination by comparing results with ground truth data. The significance of these robustness measures is shown by evaluating our segmentation approach with different color spaces. For the evaluation process, an artificial scene was chosen as representative for application scenarios based on artificial landmarks.}}, author = {{Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}}, pages = {{648--655}}, title = {{{Evaluation of Color Spaces for Robust Image Segmentation}}}, year = {{2014}}, } @misc{426, author = {{Dornseifer, Veit}}, publisher = {{Universität Paderborn}}, title = {{{Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network}}}, year = {{2014}}, } @misc{427, author = {{Bulk, Benjamin}}, publisher = {{Universität Paderborn}}, title = {{{Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction}}}, year = {{2014}}, } @inproceedings{428, abstract = {{Services are self-contained software components that can be used platform independent and that aim at maximizing software reuse. A basic concern in service oriented architectures is to measure the reusability of services. One of the most important qualities is the functional reusability, which indicates how relevant the task is that a service solves. Current metrics for functional reusability of software, however, either require source code analysis or have very little explanatory power. This paper gives a formally described vision statement for the estimation of functional reusability of services and sketches an exemplary reusability metric that is based on the service descriptions.}}, author = {{Mohr, Felix}}, booktitle = {{Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)}}, pages = {{411--418}}, title = {{{Estimating Functional Reusability of Services}}}, year = {{2014}}, } @misc{429, author = {{Herbort, Maik}}, publisher = {{Universität Paderborn}}, title = {{{Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters}}}, year = {{2014}}, } @misc{430, author = {{Krakau, Andreas}}, publisher = {{Universität Paderborn}}, title = {{{Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT}}}, year = {{2014}}, } @phdthesis{431, abstract = {{In meiner Dissertation besch{\"a}ftige ich mich mit dem Entwurf und der Analyse energieeffizienter Schedulingalgorithmen, insbesondere f{\"u}r sogenannte Speed-Scaling Modelle. Diese stellen das theoretische Pendant von Techniken wie AMDs PowerNOW! und Intels SpeedStep dar, welche es erlauben die Geschwindigkeit von Prozessoren zur Laufzeit an die derzeitigen Bedingungen anzupassen. Theoretische Untersuchungen solcher Modelle sind auf eine Arbeit von Yao, Demers und Shenker (FOCS'95) zur{\"u}ckzuf{\"u}hren. Hier kombinieren die Autoren klassisches Deadline-Scheduling mit einem Prozessor der Speed-Scaling beherrscht. Es gilt Jobs verschiedener Gr{\"o}ße fristgerecht abzuarbeiten und die dabei verwendete Energie zu minimieren. Der Energieverbrauch des Prozessors wird durch eine konvexe Funktion $\POW\colon\R_{\geq0}\to\R_{\geq0}$ modelliert, welche die Geschwindigkeit auf den Energieverbrauch abbildet.Meine Dissertation betrachtet verschiedene Varianten des urspr{\"u}nglichen Speed-Scaling Modells. Forschungsrelevante Ergebnisse sind in den Kapiteln 3 bis 6 zu finden und erstrecken sich {\"u}ber die im Folgenden beschriebenen Aspekte:- Kapitel 3 und 4 betrachten verschiedene \emph{Price-Collecting} Varianten des Originalproblems. Hier d{\"u}rfen einzelne Deadlines verfehlt werden, sofern eine jobabh{\"a}ngige Strafe gezahlt wird. Ich entwerfe insbesondere Online-Algorithmen mit einer beweisbar guten Competitiveness. Dabei liefern meine Ergebnisse substantielle Verbesserungen bestehender Arbeiten und erweitern diese unter Anderem auf Szenarien mit mehreren Prozessoren.- In Kapitel 5 wird statt des klassischen Deadline-Schedulings eine Linearkombination der durchschnittlichen Antwortzeit und des Energieverbrauchs betrachtet. Die Frage, ob dieses Problem NP-schwer ist, stellt eine der zentralen Forschungsfragen in diesem Gebiet dar. F{\"u}r eine relaxierte Form dieser Frage entwerfe ich einen effizienter Algorithmus und beweise seine Optimalit{\"a}t.- Das letzte Kapitel betrachtet ein Modell, welches – auf den ersten Blick – nicht direkt zur Speed-Scaling Literatur z{\"a}hlt. Hier geht es stattdessen um ein allgemeines Resource-Constrained Scheduling, in dem sich die Prozessoren zusammen eine gemeinsame, beliebig aufteilbare Ressource teilen. Ich untersuche die Komplexit{\"a}t des Problems und entwerfe verschiedene Approximationsalgorithmen.}}, author = {{Kling, Peter}}, publisher = {{Universität Paderborn}}, title = {{{Energy-efficient Scheduling Algorithms}}}, year = {{2014}}, } @inproceedings{4315, abstract = {{We simulate numerically light scattering by random irregular particles of two classes of shape: Gaussian random field particles and agglomerated debri particles. Comparison of the angular dependencies of the scattering matrix elements for the case of non-absorbing material shows qualitative similarity of optical properties of both types despite different morphology of scatterers. Absorbing particles result in the difference in linear polarization. However, a strong similarty remains for the intensity curves.}}, author = {{Grynko, Yevgen and Zubko, Evgenij}}, location = {{Marseille (France)}}, title = {{{Light Scattering By Random Irregular Particles With Different Morphology}}}, year = {{2014}}, } @misc{432, author = {{Bredenbals, Nico}}, publisher = {{Universität Paderborn}}, title = {{{Energy-Efficient Queuing with Delayed Deactivation}}}, year = {{2014}}, } @inproceedings{433, abstract = {{Virtual FPGAs are overlay architectures realized on top of physical FPGAs. They are proposed to enhance or abstract away from the physical FPGA for experimenting with novel architectures and design tool flows. In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip. Such an embedding is required to fully harness the potential of virtual FPGAs, in particular to give the virtual circuits access to main memory and operating system services, and to enable a concurrent operation of virtualized and non-virtualized circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS operating system for hardware/software systems. Furthermore, we present an open source tool flow to synthesize configurations for the virtual FPGA.}}, author = {{Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}}, booktitle = {{Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)}}, pages = {{1--6 }}, title = {{{Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA}}}, doi = {{10.1109/ReConFig.2014.7032514}}, year = {{2014}}, } @article{4335, abstract = {{We explore the impact of ∼500 MHz surface acoustic waves traveling across a commensurable plasmonic grating coupler. A stroboscopic technique involving surface acoustic waves synchronized to a modelocked optical source allows to time-resolve the dynamical impact of the electromechanically induced perturbation. The surface acoustic wave periodically enhances or decreases the surface ripple of the static grating. Most remarkably, the dynamic surface deformation deliberately modulates the coupler’s efficiency by ±2% during the ∼2 ns acoustic cycle.}}, author = {{Ruppert, Claudia and Förster, Frederike and Zrenner, Artur and Kinzel, Jörg B. and Wixforth, Achim and Krenner, Hubert J. and Betz, Markus}}, issn = {{2330-4022}}, journal = {{ACS Photonics}}, keywords = {{nanomechanics, plasmonics, surface acoustic waves, surface plasmon polaritons}}, number = {{2}}, pages = {{91--95}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Radio Frequency Electromechanical Control over a Surface Plasmon Polariton Coupler}}}, doi = {{10.1021/ph400022u}}, volume = {{1}}, year = {{2014}}, } @misc{434, author = {{Luo, Linghui}}, publisher = {{Universität Paderborn}}, title = {{{Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen}}}, year = {{2014}}, } @inproceedings{435, abstract = {{We give a polynomial time algorithm to compute an optimal energy and fractional weighted flow trade-off schedule for a speed-scalable processor with discrete speeds.Our algorithm uses a geometric approach that is based on structural properties obtained from a primal-dual formulation of the problem.}}, author = {{Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele}}, booktitle = {{Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)}}, pages = {{63----74}}, title = {{{Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules}}}, doi = {{10.4230/LIPIcs.STACS.2014.63}}, year = {{2014}}, } @misc{436, author = {{Damschen, Marvin}}, publisher = {{Universität Paderborn}}, title = {{{Easy-to-use on-the-fly binary program acceleration on many-cores}}}, year = {{2014}}, } @misc{437, author = {{Wemhöner, Vanessa}}, publisher = {{Universität Paderborn}}, title = {{{Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells}}}, year = {{2014}}, } @misc{438, author = {{Kokoschka, Andreas}}, publisher = {{Universität Paderborn}}, title = {{{Designing an Anonymous and Secure Reputation System Using a Group Signature Variant}}}, year = {{2014}}, }