@proceedings{1844, editor = {{Scheideler, Christian and Gilbert, Seth}}, isbn = {{978-1-4503-4210-0}}, title = {{{Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016}}}, doi = {{10.1145/2935764}}, year = {{2016}}, } @inbook{1845, author = {{W. Richa, Andrea and Scheideler, Christian}}, booktitle = {{Encyclopedia of Algorithms}}, pages = {{999----1002}}, title = {{{Jamming-Resistant MAC Protocols for Wireless Networks}}}, doi = {{10.1007/978-1-4939-2864-4_593}}, year = {{2016}}, } @misc{185, author = {{Schmidt, Christopher}}, publisher = {{Universität Paderborn}}, title = {{{Kundenbewertungen im Online-Handel – Alles Betrug?}}}, year = {{2016}}, } @inproceedings{186, abstract = {{Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing.To enable standard testing to profit from previous, partial verification, we use a summary of the verification effort to simplify the program for subsequent testing. Our techniques use this summary to construct a residual program which only contains program paths with unproven assertions. Afterwards, the residual program can be used with standard testing tools.Our first experiments show that testing profits from the partial verification.The test effort is reduced and combined verification and testing is faster than a complete verification.}}, author = {{Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{Software Engineering 2016}}, editor = {{Jens Knoop, Uwe Zdun}}, pages = {{17--18}}, title = {{{Just test what you cannot verify!}}}, year = {{2016}}, } @techreport{221, author = {{Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}}, publisher = {{Universität Paderborn}}, title = {{{An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}}}, year = {{2016}}, } @inproceedings{22107, abstract = {{Die Zielsetzung beim Radfahren ist das Leistungspotential des Fahrers vollständig auszunutzen. Dabei muss das Fahrrad optimal an die Körpermaße des Fahrers angepasst werden. Besonders im Radrennsport ist neben dem hohen Leichtbaupotential eine aerodynamische Sitzhaltung von enormer Bedeutung. Unter Berücksichtigung dieser Anforderungen sind individuelle Bauteile und Strukturen zu entwickeln, da nicht in allen Fällen die Abmessungen der Standardbauteile eine optimale Anpassung zulassen. Im Hinblick auf einen groß gewachsenen Fahrer ist ein verlängerter Vorbau – Gabel-Lenker-Verbindung – für eine aerodynamische Sitzhaltung und somit einen geringen Luftwiderstand unumgänglich. Für die Herstellung solcher maßgeschneiderten Strukturen ist die additive Fertigung aufgrund der hohen gestalterischen Freiheiten und des hohen Individualisierungsgrades besonders geeignet. Im Rahmen dieses Beitrags wird ein Fahrradvorbau für einen überdurchschnittlich langen Fahrer festigkeits- und leichtbauoptimiert konstruiert und nach der Norm DIN EN ISO4210 unter Berücksichtigung der verfahrensspezifischen Randbedingungen beziehungsweise Gestaltungsrichtlinien des Laserstrahlschmelzens ausgelegt. Ausgangsbasis für die Geometriegestaltung sind die Grundlagen der Festigkeitsberechnung. Ein CAD-Modell wird erstellt und aufgrund der komplexen Belastungssituation mit Hilfe der Finite-Elemente-Methode numerisch untersucht sowie optimiert. Nach mehreren Iterationsschritten wird für den Werkstoff TiAl6V4 ein gewichtsreduzierter überlanger Fahrradvorbau von 140mm entwickelt und generativ hergestellt. Der anschließende Vergleich zu einem handelsüblichen Vorbau zeigt eine Gewichtsreduktion von ca. 30%.}}, author = {{Brüggemann, J.P. and Reschetnik, W. and Richard, H.A. and Kullmer, G. and Schramm, B.}}, booktitle = {{Rapid Tech - International Trade Show & Conference for Additive Manufacturing}}, isbn = {{978-3-446-45060-8}}, pages = {{290--300}}, title = {{{Festigkeits- und leichtbauoptimierte Konstruktion und Auslegung eines additiv gefertigten Fahrradvorbaus}}}, doi = {{10.3139/9783446450608.025}}, year = {{2016}}, } @inproceedings{22109, author = {{Reschetnik, W. and Grylls, R. and Bauer, B. and Richard, H.A. and Kullmer, G.}}, title = {{{Fatigue Life Manipulation of SLM Parts}}}, year = {{2016}}, } @inproceedings{22128, author = {{Brüggemann, J.P. and Riemer, A. and Reschetnik, W. and Aydinöz, M.E. and Kullmer, G. and Richard, H.A. and Schaper, M.}}, booktitle = {{DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{101--112}}, title = {{{Optimierung von Fahrradtretkurbeln mittels additiver Fertigung}}}, year = {{2016}}, } @inproceedings{22130, author = {{Reschetnik, W. and Brüggemann, J.P. and Aydinöz, M.E. and Kullmer, G. and Richard, H.A. and Schaper, M.}}, booktitle = {{DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{131--140}}, title = {{{Lebensdauerbeeinflussung durch Additive Fertigung}}}, year = {{2016}}, } @inproceedings{22132, author = {{Riemer, A. and Leuders, L. and Kullmer, G. and Richard, H.A.}}, booktitle = {{DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{161--174}}, title = {{{Materialkennwerte lasergeschmolzener Werkstoffe}}}, year = {{2016}}, } @inproceedings{22146, abstract = {{manufacturing in electrical engineering applications.}}, author = {{Reschetnik, W. and Brüggemann, J.P. and Aydinöz, M.E. and Grydin, O. and Hoyer, K.P. and Kullmer, G. and Richard, H.A.}}, booktitle = {{Procedia Structural Integrity}}, pages = {{3040--3048}}, title = {{{Fatigue crack growth behavior and mechanical properties of additively processed EN AW-7075 aluminium alloy}}}, year = {{2016}}, } @inproceedings{22149, author = {{Riemer, A. and Richard, H.A.}}, booktitle = {{Procedia Structural Integrity}}, pages = {{1229--1236}}, title = {{{Crack Propagation in Additive Manufactured Materials and Structures}}}, year = {{2016}}, } @inproceedings{22180, abstract = {{The implementation of lattice structures into additive manufactured parts is an important method to decrease part weight maintaining a high specific payload. However, the manufacturability of lattice structures and mechanical properties for polymer laser sintering are quite unknown yet. To examine the manufacturability, sandwich structures with different cell types, cell sizes and lattice bar widths were designed, manufactured and evaluated. A decisive criterion is for example a sufficient powder removal. In a second step, manufacturable structures were analyzed using four-point-bending tests. Experimental data is compared to the density of the lattice structures and allows for a direct comparison of different cell types with varied geometrical attributes. The results of this work are guidelines for the design and dimensioning of laser sintered lattice structures.}}, author = {{Josupeit, Stefan and Delfs, Patrick and Menge, Dennis and Schmid, Hans-Joachim}}, booktitle = {{27th Annual International Solid Freeform Fabrication Symposium }}, pages = {{2077--2086}}, title = {{{Manufacturability and Mechanical Characterization of Laser Sintered Lattice Structures}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2016/166-Josupeit.pdf}}, volume = {{27}}, year = {{2016}}, } @article{22185, abstract = {{The layered structure of Additive Manufacturing processes results in a stair- stepping effect of the surface topographies. In general, the impact of this effect strongly depends on the build angle of a surface, whereas the overall surface roughness is additionally caused by the resolution of the specific AM process. The aim of this work is the prediction of the surface quality in dependence of the building orientation of a part. These results can finally be used to optimize the orientation to get a desired surface quality. As not all parts of the component surface are equally important, a preselection of areas can be used to improve the overall surface quality of relevant areas. The model uses the digital AMF format of a part. Each triangle is assigned with a roughness value and by testing different orientations the best one can be found. This approach needs a database for the surface qualities. This must be done separately for each Additive Manufacturing process and is shown exemplarily with a surface topography simulation for the laser sintering process.}}, author = {{Delfs, Patrick and Tows, Marcel and Schmid, Hans-Joachim}}, isbn = {{2214-8604}}, journal = {{Additive Manufacturing}}, number = {{12, Part B}}, pages = {{214--320}}, publisher = {{Elsevier}}, title = {{{Optimized build orientation of additive manufactured parts for improved surface quality and build time}}}, doi = {{10.1016/j.addma.2016.06.003}}, volume = {{2}}, year = {{2016}}, } @inproceedings{22190, author = {{Delfs, Patrick and Schmid, Hans-Joachim}}, booktitle = {{Fraunhofer Direct Digital Manufacturing Conference}}, isbn = {{978-3-8396-1001-5}}, pages = {{411--414}}, title = {{{Extended Analysis of the Surface Topography of Laser Sintered Polymer Parts }}}, doi = {{https://www.bookshop.fraunhofer.de/buch/fraunhofer-direct-digital-manufacturing-conference-ddmc-2016/245111#}}, volume = {{3}}, year = {{2016}}, } @inproceedings{22194, author = {{Josupeit, Stefan and Schmid, Hans-Joachim}}, booktitle = {{International Congress on Particle Technology (PARTEC) }}, title = {{{Thermal properties of polyamide 12 powder for application in laser sintering}}}, year = {{2016}}, } @article{222, abstract = {{Virtual field programmable gate arrays (FPGA) 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, along with an analysis of the area and delay overheads involved.}}, author = {{Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}}, journal = {{Computers & Electrical Engineering}}, pages = {{112----122}}, publisher = {{Elsevier}}, title = {{{An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}}}, doi = {{10.1016/j.compeleceng.2016.04.005}}, year = {{2016}}, } @inproceedings{22200, abstract = {{In the polymer laser sinter process, part quality depends on many influencing factors along the process chain. For application of the technology in series production and an integration of laser sintered parts into a technical environment, the dimensional accuracy of parts has to be taken into account. Therefore, occuring deviatons and their scattering have to be reduced and homogenized based on process parameters and build job layout. In this work, the dimensional accuracy of laser sintered parts is analyzed for varied parameter values. Influences of different process and geometrical build job parameters on dimensional deviatons are figured out. The experimental results allow an evaluation of more and less important influences. Finally, measures are deduced to reduce and homogenize dimensional deviations.}}, author = {{Josupeit, Stefan and Delfs, Patrick and Lieneke, Tobias and Adam, Guido and Gessler, Monika and Pfisterer, H. and Schmid, Hans-Joachim}}, booktitle = {{Rapid Tech - International Trade Show & Conference for Additive Manufacturing }}, isbn = {{978-3-446-45060-8}}, pages = {{107--120}}, title = {{{Dimensional accuracy of polymer laser sintered parts: Influences and measures}}}, doi = {{10.3139/9783446450608.009}}, year = {{2016}}, } @misc{223, abstract = {{We consider the problem of aggregation in overlay networks. We use a synchronous time model in which each node has polylogarithmic memory and can send at most a polylogarithmic number of messages per round. We investigate how to quickly compute the result of an aggregate functionf over elements that are distributed among the nodes of the network such that the result is eventually known by a selected root node. We show how to compute distributive aggregate functions such as SUM, MAX, and OR in time $O(\log n / \log\log n)$ using a tree that is created in a pre-processing phase. If only a polylogarithmic number of data items need to be aggregated, we show how to compute the result in time $O(\sqrt{\log n / \log\log n})$. Furthermore, we show how to compute holistic aggregate functions such as DISTINCT, SMALLEST(k) and MODE(k) in time $O(\log n / \log\log n)$. Finally, we show a lower bound of $\Omega(\sqrt{\log n / \log\log n})$ for deterministic algorithms that compute any of the aggregate functions in the scope of the thesis.}}, author = {{Hinnenthal, Kristian}}, publisher = {{Universität Paderborn}}, title = {{{Aggregation in Overlay Networks}}}, year = {{2016}}, } @inproceedings{224, abstract = {{In modern software development, paradigms like component-based software engineering (CBSE) and service-oriented architectures (SOA) emphasize the construction of large software systems out of existing components or services. Therein, a service is a self-contained piece of software, which adheres to a specified interface. In a model-based software design, this interface constitutes our sole knowledge of the service at design time, while service implementations are not available. Therefore, correctness checks or detection of potential errors in service compositions has to be carried out without the possibility of executing services. This challenges the usage of standard software error localization techniques for service compositions. In this paper, we review state-of-the-art approaches for error localization of software and discuss their applicability to service compositions.}}, author = {{Krämer, Julia and Wehrheim, Heike}}, booktitle = {{Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}}, pages = {{248----262}}, title = {{{A short survey on using software error localization for service compositions}}}, doi = {{10.1007/978-3-319-44482-6_16}}, year = {{2016}}, }