@inproceedings{OrejasBoronatGolasetal.2013, author = {Orejas, Fernando and Boronat, Artur and Golas, Ulrike and Mylonakis, Nikos}, title = {Checking Bisimilarity for Attributed Graph Transformation}, volume = {7794}, booktitle = {Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013}, editor = {Pfenning, Frank}, publisher = {Springer}, doi = {10.1007/978-3-642-37075-5_8}, pages = {113 -- 128}, year = {2013}, language = {en} } @article{Berlin2013, author = {Berlin, Michael}, title = {Consistent and Partition-Tolerant File Replication in the Cloud File System Xtreem FS}, volume = {36}, journal = {Praxis der Informationsverarbeitung und Kommunikation}, number = {1}, doi = {10.1515/pik-2012-0144}, pages = {39}, year = {2013}, language = {en} } @inproceedings{SchaeferDressler2013, author = {Sch{\"a}fer, Patrick and Dreßler, Sebastian}, title = {Shooting Audio Recordings of Insects with SFA}, booktitle = {AmiBio Workshop, Bonn, Germany}, year = {2013}, language = {en} } @misc{Reinbacher2013, type = {Master Thesis}, author = {Reinbacher, Uwe}, title = {Implementierung und Evaluierung eines FPGA-basierten statischen Paketfilters}, year = {2013}, language = {de} } @masterthesis{Borgers2012, type = {Bachelor Thesis}, author = {Borgers, Philipp}, title = {Erweiterung eines verteilten Key-Value-Stores (Riak) um einen r{\"a}umlichen Index}, year = {2012}, language = {de} } @article{KreisbeckKramerMolina2017, author = {Kreisbeck, Christoph and Kramer, Tobias and Molina, Rafael}, title = {Time-dependent wave packet simulations of transport through Aharanov-Bohm rings with an embedded quantum dot}, volume = {29}, journal = {Journal of Physics: Condensed Matter}, number = {15}, doi = {10.1088/1361-648X/aa605d}, pages = {155301}, year = {2017}, abstract = {We have performed time-dependent wave packet simulations of realistic Aharonov-Bohm (AB) devices with a quantum dot embedded in one of the arms of the interferometer. The AB ring can function as a measurement device for the intrinsic transmission phase through the quantum dot, however, care has to be taken in analyzing the influence of scattering processes in the junctions of the interferometer arms. We consider a harmonic quantum dot and show how the Darwin-Fock spectrum emerges as a unique pattern in the interference fringes of the AB oscillations.}, language = {en} } @inproceedings{RitterBaumannFelsenberg2010, author = {Ritter, Zully and Baumann, Wolfgang and Felsenberg, Dieter}, title = {In vivo tibial compressive stiffness variations after HR-pQCT measurements of 60 days immobility during the Berlin bed rest study II using μfinite element analysis}, volume = {31}, booktitle = {6th World Congress of Biomechanics (WCB 2010), August 1-6, 2010 Singapore: In Conjunction with 14th International Conference on Biomedical Engineering (ICBME) and 5th Asia Pacific Conference on Biomechanics (APBiomech)}, doi = {10.1007/978-3-642-14515-5_209}, pages = {823 -- 826}, year = {2010}, language = {en} } @article{KramerRodriguezZelinskyi2017, author = {Kramer, Tobias and Rodriguez, Mirta and Zelinskyi, Yaroslav}, title = {Modeling of Transient Absorption Spectra in Exciton Charge-Transfer Systems}, volume = {121}, journal = {Journal of Physical Chemistry B}, arxiv = {http://arxiv.org/abs/1811.10683}, doi = {10.1021/acs.jpcb.6b09858}, pages = {463 -- 470}, year = {2017}, abstract = {Time-resolved spectroscopy provides the main tool for analyzing the dynamics of excitonic energy transfer in light-harvesting complexes. To infer time-scales and effective coupling parameters from experimental data requires to develop numerical exact theoretical models. The finite duration of the laser-molecule interactions and the reorganization process during the exciton migration affect the location and strength of spectroscopic signals. We show that the non-perturbative hierarchical equations of motion (HEOM) method captures these processes in a model exciton system, including the charge transfer state.}, language = {en} } @misc{NoackWendeZitzlsbergeretal.2016, author = {Noack, Matthias and Wende, Florian and Zitzlsberger, Georg and Klemm, Michael and Steinke, Thomas}, title = {KART - A Runtime Compilation Library for Improving HPC Application Performance}, issn = {1438-0064}, doi = {10.1007/978-3-319-67630-2_29}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-60730}, year = {2016}, abstract = {The effectiveness of ahead-of-time compiler optimization heavily depends on the amount of available information at compile time. Input-specific information that is only available at runtime cannot be used, although it often determines loop counts, branching predicates and paths, as well as memory-access patterns. It can also be crucial for generating efficient SIMD-vectorized code. This is especially relevant for the many-core architectures paving the way to exascale computing, which are more sensitive to code-optimization. We explore the design-space for using input-specific information at compile-time and present KART, a C++ library solution that allows developers to compile, link, and execute code (e.g., C, C++ , Fortran) at application runtime. Besides mere runtime compilation of performance-critical code, KART can be used to instantiate the same code multiple times using different inputs, compilers, and options. Other techniques like auto-tuning and code-generation can be integrated into a KART-enabled application instead of being scripted around it. We evaluate runtimes and compilation costs for different synthetic kernels, and show the effectiveness for two real-world applications, HEOM and a WSM6 proxy.}, language = {en} } @inproceedings{KrzikallaWendeHoehnerbach2016, author = {Krzikalla, Olaf and Wende, Florian and H{\"o}hnerbach, Markus}, title = {Dynamic SIMD Vector Lane Scheduling}, volume = {9945}, booktitle = {High Performance Computing, ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS}, doi = {10.1007/978-3-319-46079-6_25}, pages = {354 -- 365}, year = {2016}, abstract = {A classical technique to vectorize code that contains control flow is a control-flow to data-flow conversion. In that approach statements are augmented with masks that denote whether a given vector lane participates in the statement's execution or idles. If the scheduling of work to vector lanes is performed statically, then some of the vector lanes will run idle in case of control flow divergences or varying work intensities across the loop iterations. With an increasing number of vector lanes, the likelihood of divergences or heavily unbalanced work assignments increases and static scheduling leads to a poor resource utilization. In this paper, we investigate different approaches to dynamic SIMD vector lane scheduling using the Mandelbrot set algorithm as a test case. To overcome the limitations of static scheduling, idle vector lanes are assigned work items dynamically, thereby minimizing per-lane idle cycles. Our evaluation on the Knights Corner and Knights Landing platform shows, that our approaches can lead to considerable performance gains over a static work assignment. By using the AVX-512 vector compress and expand instruction, we are able to further improve the scheduling.}, language = {en} }