1597 Publications
2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr, A., Kling, P., & Mallmann Trenn, F. (2012). Slow Down & Sleep for Profit in Online Deadline Scheduling. In G. Even & D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg) (pp. 218–231). https://doi.org/10.1007/978-3-642-34862-4_17
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 581
Drees, M., Hüllmann (married name: Eikel), M., Koutsopoulos, A., & Scheideler, C. (2012). Self-Organizing Particle Systems. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1272–1283). https://doi.org/10.1109/IPDPS.2012.116
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 582
Strothmann, T. F. (2012). Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 583
Drücker, J. (2012). Revenue-maximizing Order of Sale in Sequential Auctions. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 584
Hohenberger, T. (2012). Queuing Latency at Cooperative Base Stations. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 585
Petrlic, R. (2012). Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS) (pp. 194–211). https://doi.org/10.1007/978-3-642-35362-8_16
LibreCat
| Files available
| DOI
2012 | Dissertation | LibreCat-ID: 586 | 
Drzevitzky, S. (2012). Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2012 | Misc | LibreCat-ID: 587
Plessl, C., Platzner, M., Agne, A., Happe, M., & Lübbers, E. (2012). Programming models for reconfigurable heterogeneous multi-cores. Awareness Magazine.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 588
Petrlic, R., & Sorge, C. (2012). Privacy-Preserving DRM for Cloud Computing. In Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA) (pp. 1286–1291). https://doi.org/10.1109/WAINA.2012.92
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 589
Petrlic, R. (2012). Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment. In Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (pp. 958–963). https://doi.org/10.1109/TrustCom.2012.225
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, D., & Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347). https://doi.org/10.1007/978-3-642-34281-3_24
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 592
Celik, A. (2012). Penny Auctions: Design und Strategisches Verhalten. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 593
Rojahn, T. (2012). Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 594
Klerx, T. (2012). Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 595
Mallmann Trenn, F. (2012). On scheduling with multi-core and multi-speed processors using power down. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 596
Becker, M., Luckey, M., & Becker, S. (2012). Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12) (pp. 117–122). https://doi.org/10.1145/2304696.2304716
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas, M., & Monien, B. (2012). Minimizing Expectation Plus Variance. In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT) (pp. 239–250). https://doi.org/10.1007/978-3-642-33996-7_21
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 598
Mammadov, F. (2012). Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 599
Löwen, X. (2012). Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 600
Feldkord, B. (2012). Lokale Swaps und überholte Informationen in Basic Network Creation Games. Universität Paderborn.
LibreCat
2012 | Dissertation | LibreCat-ID: 601
Kempkes, B. (2012). Local strategies for robot formation problems (Vol. 302). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 602
Brangewitz, S. (2012). Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 603
Wette, P., & Karl, H. (2012). Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios. Universität Paderborn.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 604
Seier, H. (2012). Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 605
Isenberg, F. (2012). Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 606
Löken, N. (2012). Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 607
Haarhoff, T. (2012). Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
Timm, N., Wehrheim, H., & Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363). https://doi.org/10.1007/978-3-642-34281-3_25
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 610
Mohr, M. (2012). Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis. Universität Paderborn.
LibreCat
| Files available
2012 | Bachelorsthesis | LibreCat-ID: 611
Hangmann, H. (2012). Generating Adjustable Temperature Gradients on modern FPGAs. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 613
Wohlfarth, S. (2012). Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig, S. (2012). Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 616
Kluczniok, S. (2012). Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 617
Jungmann, A., Kleinjohann, B., Kleinjohann, E., & Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE) (pp. 22–29).
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 618
Kurras, S. (2012). Distributed Sampling of Regular Graphs. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 619
Brandes, P., & Meyer auf der Heide, F. (2012). Distributed Computing in Fault-Prone Dynamic Networks. In Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS) (pp. 9–14). https://doi.org/10.1145/2414815.2414818
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 620
Mittendorf, R. (2012). Datenschutzgerechtes DRM im Cloud Computing. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 621
Sekula, S. (2012). Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, S., Engels, G., & Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). https://doi.org/10.14279/tuj.eceasst.47.718
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2012). Competitive and fair throughput for co-existing networks under adversarial interference. In Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC) (pp. 291–300). https://doi.org/10.1145/2332432.2332488
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs, M.-C. (2012). Change and Validity Analysis in Deductive Program Verification. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
Schmid, S., Avin, C., Scheideler, C., Häupler, B., & Lotker, Z. (2012). Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 439–440). https://doi.org/10.1007/978-3-642-33651-5_47
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges, S., & Scheideler, C. (2012). Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 435–436). https://doi.org/10.1007/978-3-642-33651-5_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533). https://doi.org/10.1007/978-3-642-28756-5_41
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr, A., Huellmann (married name: Eikel), M., Kling, P., & Setzer, A. (2012). Basic Network Creation Games with Communication Interests. In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT) (pp. 72--83). https://doi.org/10.1007/978-3-642-33996-7_7
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter, P. (2012). Attribute-basierte Verschlüsselung. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264). https://doi.org/10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
von Detten, M. (2012). Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE) (pp. 503–504). https://doi.org/10.1109/WCRE.2012.61
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 632
Kolman, P., & Scheideler, C. (2012). Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA) (pp. 800–810). https://doi.org/10.1137/1.9781611973099.64
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 633
Pischel, D. (2012). Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
Kratzmann, J. (2012). Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) , C., & Suhl, L. (2012). An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems. In Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD) (pp. 404–408).
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide, F., Pietrzyk, P., & Kling, P. (2012). An Algorithm for Facility Leasing. In Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO) (pp. 61–72). https://doi.org/10.1007/978-3-642-31104-8_6
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 637
Dawirs, F. (2012). Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens, F. (2012). Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2012). A UML-based Rich Service Description for Automatic Service Discovery. In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering (pp. 90--97).
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2012). A Self-Stabilization Process for Small-World Networks. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1261--1271). https://doi.org/10.1109/IPDPS.2012.115
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 641
Schluessler, J. (2012). A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
Besova, G., Walther, S., Wehrheim, H., & Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS) (pp. 776–792). https://doi.org/10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 566
Hilger, I. (2012). Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken. Universität Paderborn.
LibreCat
2012 | Misc | LibreCat-ID: 13462
Lewis, P., Platzner, M., & Yao, X. (2012). An outlook for self-awareness in computing systems. Awareness Magazine.
LibreCat
2012 | Dissertation | LibreCat-ID: 34169
Brangewitz, S. (2012). Coalitional and Strategic Market Games.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 615
Happe, M., Hangmann, H., Agne, A., & Plessl, C. (2012). Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2012.6416745
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter, T., Plessl, C., & Schmitz, H. (2012). Pragma based parallelization - Trading hardware efficiency for ease of use? Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2012.6416773
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe, M., Agne, A., Plessl, C., & Platzner, M. (2012). Hardware/Software Platform for Self-aware Compute Nodes. Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 8–9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio, P., Carreras, C., Sierra, R., Kenter, T., & Plessl, C. (2012). Turning control flow graphs into function calls: Code generation for heterogeneous architectures. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), 559–565. https://doi.org/10.1109/HPCSim.2012.6266973
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, C., Happe, M., Agne, A., & Plessl, C. (2012). Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), 559–562. https://doi.org/10.1109/FPL.2012.6339370
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov, D., & Haake, C.-J. (2011). Proportionality and the power of unequal parties. International Journal of Economic Theory, 7(2), 189–200. https://doi.org/10.1111/j.1742-7363.2011.00158.x
LibreCat
| Files available
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 17997
Setzer, A. (2011). Lokale Online-Strategien zur linearen Anordnung von Teilnehmern in einem Peer-to-Peer Netzwerk. Universität Paderborn.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 642
Diehl, M. (2011). Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 643
Welp, D. (2011). User-space Scheduling for Heterogeneous System under Linux. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 644
von Detten, M. (2011). Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE) (pp. 17–20). https://doi.org/10.1145/2024569.2024573
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 645
Doerr, B., Goldberg, L. A., Minder, L., Sauerwald, T., & Scheideler, C. (2011). Stabilizing consensus with the power of two choices. In Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 149–158). https://doi.org/10.1145/1989493.1989516
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 646
Richa, A. W., & Scheideler, C. (2011). Self-Stabilizing DeBruijn Networks. In Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 416–430). https://doi.org/10.1007/978-3-642-24550-3_31
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 648
Brandes, P. (2011). Robust Distributed Computation in Dynamic Networks. Universität Paderborn.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
Besova, G., Wehrheim, H., & Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16. https://doi.org/10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
Stroh-Maraun, N. (2011). Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC) (pp. 218--225). https://doi.org/10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig, S., & Zolynski, T. (2011). Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In Proceedings of the Palladio Days 2011 (pp. 15–22). https://doi.org/10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
Graffi, K. (2011). PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP) (pp. 154–155). https://doi.org/10.1109/P2P.2011.6038673
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer, J. (2011). Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
Abshoff, S., Cord-Landwehr, A., Degener, B., Kempkes, B., & Pietrzyk, P. (2011). Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks. In Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS) (pp. 13–27). https://doi.org/10.1007/978-3-642-28209-6_3
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske, G. (2011). Fault attacks in pairing-based cryptography. Universität Paderborn.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster, M. (2011). Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina, S. (2011). Coverage Criteria for Testing DMM Specifications. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko, M., Mohd, R., & Scheideler, C. (2011). Corona: A Stabilizing Deterministic Message-Passing Skip List. In Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 356--370). https://doi.org/10.1007/978-3-642-24550-3_27
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 663
Swierkot, K. (2011). Complexity Classes for Local Computation. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler, J., Kling, P., & Meyer auf der Heide, F. (2011). An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment. In Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM) (pp. 31--40). https://doi.org/10.1007/978-3-642-31500-8_4
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 665
Wette, P. (2011). Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky, S., & Platzner, M. (2011). Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) (pp. 58–65). https://doi.org/10.1109/ReCoSoC.2011.5981499
LibreCat
| Files available
| DOI
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide, F., & Rajaraman, R. (Eds.). (2011). 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures. https://doi.org/10.1145/1989493
LibreCat
| DOI
2011 | Report | LibreCat-ID: 668
Kaimann, D. (2011). “To infinity and beyond!” - A genre-specific film analysis of movie success mechanisms. Universität Paderborn.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 656
Happe, M., Agne, A., & Plessl, C. (2011). Measuring and Predicting Temperature Distributions on FPGAs at Run-Time. Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), 55–60. https://doi.org/10.1109/ReConFig.2011.59
LibreCat
| Files available
| DOI