@inproceedings{666, abstract = {{Reconfigurable systems on chip are increasingly deployed in security and safety critical contexts. When downloading and configuring new hardware functions, we want to make sure that modules adhere to certain security specifications and do not, for example, contain hardware Trojans. As a possible approach to achieving hardware security we propose and demonstrate the concept of proof-carrying hardware, a concept inspired by previous work on proof-carrying code techniques in the software domain. In this paper, we discuss the hardware trust and threat models behind proof-carrying hardware and then present our experimental setup. We detail the employed open-source tool chain for the runtime verification of combinational equivalence and our bitstream format for an abstract FPGA architecture that allows us to experimentally validate the feasibility of our approach.}}, author = {{Drzevitzky, Stephanie and Platzner, Marco}}, booktitle = {{Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}}, pages = {{58--65}}, title = {{{Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach}}}, doi = {{10.1109/ReCoSoC.2011.5981499}}, year = {{2011}}, } @proceedings{667, editor = {{Meyer auf der Heide, Friedhelm and Rajaraman, Rajmohan }}, title = {{{23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures}}}, doi = {{10.1145/1989493}}, year = {{2011}}, } @inproceedings{6740, author = {{Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}}, booktitle = {{Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers}}, pages = {{209--220}}, publisher = {{Springer Berlin/Heidelberg}}, title = {{{Computing Compressed XML Data from Relational Databases}}}, volume = {{7051}}, year = {{2011}}, } @inproceedings{16410, abstract = {{Gathering n mobile robots in one single point in the Euclidean plane is a widely studied problem from the area of robot formation problems. Classically, the robots are assumed to have no physical extent, and they are able to share a position with other robots. We drop these assumptions and investigate a similar problem for robots with (a spherical) extent: the goal is to gather the robots as close together as possible. More exactly, we want the robots to form a sphere with minimum radius around a predefined point. We propose an algorithm for this problem which synchronously moves the robots towards the center of the sphere unless they block each other. In this case, if possible, the robots spin around the center of the sphere. We analyze this algorithm experimentally in the plane. If R is the distance of the farthest robot to the center of the sphere, the simulations indicate a runtime which is linear in n and R. Additionally, we prove a theoretic upper bound for the runtime of O(nR) for a discrete version of the problem. Simulations also suggest a runtime of O(n + R) for the discrete version.}}, author = {{Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and Meyer auf der Heide, Friedhelm and Raupach, Christoph and Swierkot, Kamil and Warner, Daniel and Weddemann, Christoph and Wonisch, Daniel}}, booktitle = {{37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011)}}, isbn = {{9783642183805}}, issn = {{0302-9743}}, number = {{6543}}, pages = {{178--189}}, publisher = {{Springer}}, title = {{{Collisionless Gathering of Robots with an Extent}}}, doi = {{10.1007/978-3-642-18381-2_15}}, year = {{2011}}, } @inbook{16412, author = {{Gehweiler, Joachim and Meyer auf der Heide, Friedhelm}}, booktitle = {{Algorithms Unplugged}}, isbn = {{9783642153273}}, pages = {{367--374}}, title = {{{Bin Packing - How Do I Get My Stuff into the Boxes}}}, doi = {{10.1007/978-3-642-15328-0_38}}, year = {{2011}}, } @inproceedings{16428, author = {{Rajaraman, Rajmohan and Meyer auf der Heide, Friedhelm}}, isbn = {{9781450307437}}, title = {{{Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11}}}, doi = {{10.1145/1989493}}, year = {{2011}}, } @article{16447, author = {{Degener, Bastian and Fekete, Sándor P. and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, issn = {{1574-0137}}, journal = {{Computer Science Review}}, pages = {{57--68}}, title = {{{A survey on relay placement with runtime and approximation guarantees}}}, doi = {{10.1016/j.cosrev.2010.09.005}}, year = {{2011}}, } @inproceedings{16451, author = {{Brandes, Philipp and Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, booktitle = {{SIROCCO '11: Proc. of the 18th International Colloquium on Structural Information and Communication Complexity}}, pages = {{138--149}}, title = {{{Energy-efficient strategies for building short chains of mobile robots locally}}}, doi = {{10.1016/j.tcs.2012.10.056}}, year = {{2011}}, } @inproceedings{16453, author = {{Degener, Bastian and Kempkes, Barbara and Langner, Tobias and Meyer auf der Heide, Friedhelm and Pietrzyk, Peter and Wattenhofer, Roger}}, booktitle = {{Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11}}, isbn = {{9781450307437}}, title = {{{A tight runtime bound for synchronous gathering of autonomous robots with limited visibility}}}, doi = {{10.1145/1989493.1989515}}, year = {{2011}}, } @inproceedings{16454, author = {{Kling, Peter and Meyer auf der Heide, Friedhelm}}, booktitle = {{Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11}}, isbn = {{9781450307437}}, title = {{{Convergence of local communication chain strategies via linear transformations}}}, doi = {{10.1145/1989493.1989517}}, year = {{2011}}, } @article{16455, author = {{Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, issn = {{1877-0509}}, journal = {{Procedia Computer Science}}, pages = {{153--155}}, title = {{{Building Simple Formations in Large Societies of Tiny Mobile Robots}}}, doi = {{10.1016/j.procs.2011.09.049}}, year = {{2011}}, } @inbook{16456, author = {{Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, booktitle = {{Organic Computing — A Paradigm Shift for Complex Systems}}, isbn = {{9783034801294}}, title = {{{Energy-Awareness in Self-organising Robotic Exploration Teams}}}, doi = {{10.1007/978-3-0348-0130-0_35}}, year = {{2011}}, } @inbook{16459, author = {{Brandes, Philipp and Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, booktitle = {{Structural Information and Communication Complexity}}, isbn = {{9783642222115}}, issn = {{0302-9743}}, title = {{{Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally}}}, doi = {{10.1007/978-3-642-22212-2_13}}, year = {{2011}}, } @inproceedings{16762, author = {{Arens, S. and Isenberg, T. and Bolte, M. and Domik, Gitta and Weise, R. and Holzinger, J. and Fricke, H. and Burchert, W.}}, booktitle = {{Tagungsband Jahrestagung Nuklearmedizin}}, location = {{Bregenz}}, title = {{{Räumliche Wahrnehmung ct-angiographischer Koronararterien in einer Curved Planar Reformation mittels Direct Volume Rendering}}}, year = {{2011}}, } @inproceedings{16798, author = {{Ebert, Achim and Domik, Gitta and D. Gershon, Nahum and C. van der Veer, Gerrit}}, booktitle = {{Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part {IV}}}, editor = {{F. Campos, Pedro and C. Nicholas Graham, T. and A. Jorge, Joaquim and Jardim Nunes, Nuno and A. Palanque, Philippe and Winckler, Marco}}, pages = {{722--723}}, publisher = {{Springer}}, title = {{{Building Bridges - HCI and Visualization}}}, doi = {{10.1007/978-3-642-23768-3\_133}}, volume = {{6949}}, year = {{2011}}, } @article{17009, author = {{Hsu, D. Frank and Magga, Bruce M. and Ho, Howard C. T. and Hromkovic, Juraj and Lau, Francis C. M. and Meyer auf der Heide, Friedhelm}}, issn = {{0219-2659}}, journal = {{Journal of Interconnection Networks}}, pages = {{vii--viii}}, title = {{{EDITORIAL}}}, doi = {{10.1142/s0219265911002885}}, year = {{2011}}, } @inproceedings{10637, author = {{Boschmann, Alexander and Kaufmann, Paul and Platzner, Marco}}, booktitle = {{Proc. IEEE Int. Conf. Bioinformatics and Biomedical Technology (ICBBT)}}, title = {{{Accurate gait phase detection using surface electromyographic signals and support vector machines}}}, year = {{2011}}, } @inproceedings{10638, author = {{Boschmann, Alexander and Platzner, Marco and Robrecht, Michael and Hahn, Martin and Winkler, Michael}}, booktitle = {{Proc. MyoElectric Controls Symposium (MEC)}}, title = {{{Development of a pattern recognition-based myoelectric transhumeral prosthesis with multifunctional simultaneous control using a model-driven ppproach for mechatronic systems}}}, year = {{2011}}, } @misc{10678, author = {{Ikonomakis, Nikolaos}}, publisher = {{Paderborn University}}, title = {{{PinSim: Schnelle Simulation mit Pintools}}}, year = {{2011}}, } @misc{10680, author = {{Kassner, Hendrik}}, publisher = {{Paderborn University}}, title = {{{MPI-CUDA Codegenerierung für Nanophoton Simulationen auf Clustern}}}, year = {{2011}}, }