Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5711 Publications
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr F. Estimating Functional Reusability of Services. In: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). LNCS. ; 2014:411-418.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). ; 2014:1-6. doi:10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis A, Barcelo N, Consuegra M, et al. Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS). LIPIcs. ; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen L. A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers). University of Bordeaux, France; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 6728
Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi:10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1647
Dräxler M, Karl H. Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity. In: Proceedings of 20th European Wireless Conference . ; 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1654
Herlich M, Karl H. Analytic quantification of outage probability and radiated power of cooperative base stations. In: 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014. IEEE; 2014. doi:10.1109/wiopt.2014.6850365
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 16760
Arens S, Domik G, Weise R, Holzinger J, Burchert W. Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 16870
Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013. Vol 8243. Berlin, Heidelberg: Springer; 2014. doi:10.1007/978-3-642-45346-5
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10602
Schaefers L, Platzner M. A Novel Technique and its Application to Computer Go. IEEE Transactions on Computational Intelligence and AI in Games. 2014;6(3):361-374. doi:10.1109/TCIAIG.2014.2346997
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10603
Giefers H, Platzner M. An FPGA-based Reconfigurable Mesh Many-Core. IEEE Transactions on Computers. 2014;63(12):2919-2932. doi:10.1109/TC.2013.174
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10621
Anwer J, Platzner M, Meisner S. FPGA Redundancy Configurations: An Automated Design Space Exploration. In: Reconfigurable Architectures Workshop (RAW). RAW. ; 2014. doi:10.1109/IPDPSW.2014.37
LibreCat
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 10627
Bockhorn A. Echtzeit Klassifikation von SEMG Signalen Mit Einem Low-Cost DSP Evaluation Board. Paderborn University; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10632
Boschmann A, Platzner M. A computer vision-based approach to high density EMG pattern recognition using structural similarity. In: Proc. MyoElectric Controls Symposium (MEC). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10633
Boschmann A, Platzner M. Towards robust HD EMG pattern recognition: Reducing electrode displacement effect using structural similarity. In: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC). ; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10640
Brand M. A Generalized Loop Accelerator Implemented as a Coarse-Grained Array. Paderborn University; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10645
Damschen M. Easy-to-Use-on-the-Fly Binary Program Acceleration on Many-Cores. Paderborn University; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10654
Glette K, Kaufmann P. Lookup Table Partial Reconfiguration for an Evolvable Hardware Classifier System. In: IEEE Congress on Evolutionary Computation (CEC). ; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 10665
Hagedorn C. Entwicklung Einer Codegrößenoptimierten Softwarebibliothek Für 8-Bit Mikrocontroller in Netzunabhängigen Notleuchten. Paderborn University; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10674
Ho N, Kaufmann P, Platzner M. A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL). ; 2014:1-4. doi:10.1109/FPL.2014.6927437
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
Ho N, Kaufmann P, Platzner M. Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In: 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES). ; 2014:31-37. doi:10.1109/ICES.2014.7008719
LibreCat
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 10679
König F. EMG-Basierte Simultane Und Proportionale Online-Steuerung Einer Virtuellen Prothese. Paderborn University; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10701
Koch B. Hardware Acceleration of Mechatronic Controllers on a Zynq Platform FPGA. Paderborn University; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10715
Mittendorf R. Advanced AES-Key Recovery from Decayed RAM Using Multi-Threading and FPGAs. Paderborn University; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 10732
Rüthing C. The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores. Paderborn University; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 10733
Schäfers L. Parallel Monte-Carlo Tree Search for HPC Systems and Its Application to Computer Go. Berlin: Logos Verlag Berlin GmbH; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10738
Shen C, Kaufmann P, Braun M. Optimizing the Generator Start-up Sequence After a Power System Blackout. In: IEEE Power and Energy Society General Meeting (IEEE GM). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10739
Shen C, Kaufmann P, Braun M. A New Distribution Network Reconfiguration and Restoration Path Selection Algorithm. In: Power Systems Computation Conference (PSCC). IEEE; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 10744
Surmund S. Multithreaded Parallelization of Mechatronic Controllers on a Zynq Platform FPGA. Paderborn University; 2014.
LibreCat
2014 | Book | LibreCat-ID: 10756
I. Esparcia-Alc{\’a}zar A, Eiben AE, Agapitos A, et al. Applications of Evolutionary Computation - 17th European Conference, EvoApplications. Vol 8602. Granada, Spain: Springer; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 10764
Anwer J, Platzner M. Analytic reliability evaluation for fault-tolerant circuit structures on FPGAs. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). IEEE; 2014:177-184. doi:10.1109/DFT.2014.6962108
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10773
Ghasemzadeh Mohammadi H, Gaillardon P-E, Yazdani M, De Micheli G. Fast process variation analysis in nano-scaled technologies using column-wise sparse parameter selection. In: 2014 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE; 2014:163-168. doi:10.1109/NANOARCH.2014.6880479
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11974
Berger M, Erlacher F, Sommer C, Dressler F. Adaptive load allocation for combining Anomaly Detectors using controlled skips. In: 2014 International Conference on Computing, Networking and Communications (ICNC). ; 2014. doi:10.1109/iccnc.2014.6785438
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11978
Bloessl B, Segata M, Sommer C, Dressler F. Towards an Open Source IEEE 802.11p stack: A full SDR-based transceiver in GNU Radio. In: 2013 IEEE Vehicular Networking Conference. ; 2014. doi:10.1109/vnc.2013.6737601
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11979
Bloessl B, Puschmann A, Sommer C, Dressler F. Timings matter. In: Proceedings of the 9th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization - WiNTECH ’14. ; 2014. doi:10.1145/2643230.2643240
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11994
Dressler F, Handle P, Sommer C. Towards a vehicular cloud - using parked vehicles as a temporary network and storage infrastructure. In: Proceedings of the 2014 ACM International Workshop on Wireless and Mobile Technologies for Smart Cities - WiMobCity ’14. ; 2014. doi:10.1145/2633661.2633671
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 11996
Eckert J, Sommer C, Eckhoff D. Towards a simulation framework for paraglider networks. In: Proceedings of the 11th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks - PE-WASUN ’14. ; 2014. doi:10.1145/2653481.2655754
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 12002
Eckhoff D, Dressler F, Sommer C. SmartRevoc: An efficient and privacy preserving revocation system using parked vehicles. In: 38th Annual IEEE Conference on Local Computer Networks. ; 2014. doi:10.1109/lcn.2013.6761338
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 12003
Eckhoff D, Sommer C. Driving for Big Data? Privacy Concerns in Vehicular Networking. IEEE Security & Privacy. 2014:77-79. doi:10.1109/msp.2014.2
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 12008
Erlacher F, Klingler F, Sommer C, Dressler F. On the impact of street width on 5.9 GHz radio signal propagation in vehicular networks. In: 2014 11th Annual Conference on Wireless On-Demand Network Systems and Services (WONS). ; 2014. doi:10.1109/wons.2014.6814735
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 12038
Malandrino F, Casetti C, Chiasserini C-F, Sommer C, Dressler F. The Role of Parked Cars in Content Downloading for Vehicular Networks. IEEE Transactions on Vehicular Technology. 2014:4606-4617. doi:10.1109/tvt.2014.2316645
LibreCat
| DOI