@inproceedings{564, abstract = {{We consider the problem of resource discovery in distributed systems. In particular we give an algorithm, such that each node in a network discovers the add ress of any other node in the network. We model the knowledge of the nodes as a virtual overlay network given by a directed graph such that complete knowledge of all nodes corresponds to a complete graph in the overlay network. Although there are several solutions for resource discovery, our solution is the first that achieves worst-case optimal work for each node, i.e. the number of addresses (O(n)) or bits (O(nlogn)) a node receives or sendscoincides with the lower bound, while ensuring only a linearruntime (O(n)) on the number of rounds.}}, author = {{Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}}, booktitle = {{Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO)}}, pages = {{165--176}}, title = {{{A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery}}}, doi = {{10.1007/978-3-319-03578-9_14}}, year = {{2013}}, } @article{6729, author = {{Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}}, issn = {{1570-8683}}, journal = {{Journal of Applied Logic}}, number = {{1}}, pages = {{50--66}}, publisher = {{Elsevier BV}}, title = {{{Relational semantics for full linear logic}}}, doi = {{10.1016/j.jal.2013.07.005}}, volume = {{12}}, year = {{2013}}, } @inproceedings{6730, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, booktitle = {{Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India}}, pages = {{363----375}}, publisher = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}}, title = {{{Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages}}}, doi = {{10.4230/LIPICS.FSTTCS.2013.363}}, volume = {{24}}, year = {{2013}}, } @inproceedings{6732, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, booktitle = {{Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}}, isbn = {{9783642403125}}, issn = {{0302-9743}}, pages = {{729--740}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Separating Regular Languages by Piecewise Testable and Unambiguous Languages}}}, doi = {{10.1007/978-3-642-40313-2_64}}, year = {{2013}}, } @article{10604, author = {{Happe, Markus and Lübbers, Enno and Platzner, Marco}}, journal = {{International Journal of Real-time Image Processing}}, number = {{1}}, pages = {{95 -- 110}}, publisher = {{Springer}}, title = {{{A Self-adaptive Heterogeneous Multi-core Architecture for Embedded Real-time Video Object Tracking}}}, doi = {{doi:10.1007/s11554-011-0212-y}}, volume = {{8}}, year = {{2013}}, } @inproceedings{10620, author = {{Anwer, Jahanzeb and Meisner, Sebastian and Platzner, Marco}}, booktitle = {{Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on}}, keywords = {{fault tolerant computing, field programmable gate arrays, logic design, reliability, BYU-LANL tool, DRM tool flow, FPGA based hardware designs, avionic application, device technologies, dynamic reliability management, fault-tolerant operation, hardware designs, reconfiguring reliability levels, space applications, Field programmable gate arrays, Hardware, Redundancy, Reliability engineering, Runtime, Tunneling magnetoresistance}}, pages = {{1--6}}, title = {{{Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime}}}, doi = {{10.1109/ReConFig.2013.6732280}}, year = {{2013}}, } @misc{10626, author = {{Bick, Christian}}, publisher = {{Paderborn University}}, title = {{{Beschleunigung von Tiefenberechnung aus Stereobildern durch FPGA-basierte Datenflussrechner}}}, year = {{2013}}, } @inproceedings{10634, author = {{Boschmann, Alexander and Nofen, Barbara and Platzner, Marco}}, booktitle = {{Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)}}, title = {{{Improving transient state myoelectric signal recognition in hand movement classification using gyroscopes}}}, year = {{2013}}, } @inproceedings{10635, author = {{Boschmann, Alexander and Platzner, Marco}}, booktitle = {{Proc. IEEE ISSNIP Biosignals and Biorobotics Conference (BRC)}}, title = {{{Reducing the limb position effect in pattern recognition based myoelectric control using a high density electrode array}}}, year = {{2013}}, } @inproceedings{10655, author = {{Glette, Kyrre and Kaufmann, Paul and Assad, Christopher and Wolf, Michael}}, booktitle = {{IEEE Intl. Conf. on Evolvable Systems (ICES)}}, pages = {{1--1}}, publisher = {{Springer}}, title = {{{Investigating Evolvable Hardware Classification for the BioSleeve Electromyographic Interface}}}, volume = {{1}}, year = {{2013}}, } @book{10681, author = {{Kaufmann, Paul}}, publisher = {{Logos Verlag}}, title = {{{Adapting Hardware Systems by Means of Multi-Objective Evolution}}}, year = {{2013}}, } @article{10684, author = {{Kaufmann, Paul and Glette, Kyrre and Gruber, Tiemo and Platzner, Marco and Torresen, Jim and Sick, Bernhard}}, journal = {{IEEE Transactions on Evolutionary Computation}}, number = {{1}}, pages = {{46--63}}, title = {{{Classification of Electromyographic Signals: Comparing Evolvable Hardware to Conventional Classifiers}}}, doi = {{10.1109/TEVC.2012.2185845}}, volume = {{17}}, year = {{2013}}, } @misc{10700, author = {{Knoop, Michael}}, publisher = {{IWES Kassel}}, title = {{{Behavior Models for Electric Vehicles}}}, year = {{2013}}, } @misc{10720, author = {{Nofen, Barbara}}, publisher = {{Paderborn University}}, title = {{{Verbesserung der Erkennungsrate eines Systems zur Klassifikation von EMG-Signalen durch den Einsatz eines hybriden Lagesensors}}}, year = {{2013}}, } @misc{10727, author = {{Pudelko, Daniel}}, publisher = {{Paderborn University}}, title = {{{Überquerung der Styx - Betriebsparametervariation und Fehlerverhalten eines Platform FPGAs}}}, year = {{2013}}, } @misc{10730, author = {{Riebler, Heinrich}}, publisher = {{Paderborn University}}, title = {{{Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs}}}, year = {{2013}}, } @misc{10741, author = {{Sprenger, Alexander}}, publisher = {{Paderborn University}}, title = {{{MiBenchHybrid : Erweiterung eines Benchmarks um Hardwarebeschleunigung}}}, year = {{2013}}, } @misc{10743, author = {{Steppeler, Philipp}}, publisher = {{Paderborn University}}, title = {{{Beschleunigung von Einzelbild-Erkennungsverfahren auf Datenfluss basierenden HPC Systemen}}}, year = {{2013}}, } @inproceedings{10745, author = {{Toebermann, Christian and Geibel, Daniel and Hau, Manuel and Brandl, Ron and Kaufmann, Paul and Ma, Chenjie and Braun, Martin and Degner, Tobias}}, booktitle = {{Real-Time Conference}}, publisher = {{OPAL RT Paris}}, title = {{{Real-Time Simulation of Distribution Grids with high Penetration of Regenerative and Distributed Generation}}}, year = {{2013}}, } @inproceedings{10774, author = {{Ghasemzadeh Mohammadi, Hassan and Gaillardon, Pierre-Emmanuel and Yazdani, Majid and De Micheli, Giovanni}}, booktitle = {{2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS)}}, pages = {{83--88}}, publisher = {{IEEE}}, title = {{{A fast TCAD-based methodology for Variation analysis of emerging nano-devices}}}, doi = {{10.1109/DFT.2013.6653587}}, year = {{2013}}, }