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
2012 | Book Chapter | LibreCat-ID: 10153
Hüllermeier, Eyke. “Fuzzy Rules in Data Mining: From Fuzzy Associations to Gradual Dependencies.” Combining Experimentation and Theory, edited by E. Trillas et al., vol. 271, Springer, 2012, pp. 123–35.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, et al. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu et al., 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, et al. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE, 2012, doi:10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., et al. “Towards an Enhanced UVM for SystemC.” Proceedings of the Design & Verification Conference (DVCon), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” Proceedings of SOCC2012, IEEE, 2012, doi:10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” Proceedings of the MeCoES’12, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8169 | 
Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” International Colloquium on Automata, Languages, and Programming (ICALP 2012), edited by Artur Czumaj et al., Springer Berlin Heidelberg, 2012, pp. 387–98, doi:10.1007/978-3-642-31594-7_33.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8175 |
Gharibian, Sevag, and Julia Kempe. “Approximation Algorithms for QMA-Complete Problems.” SIAM Journal on Computing, vol. 41, no. 4, Society for Industrial & Applied Mathematics (SIAM), 2012, pp. 1028–50, doi:10.1137/110842272.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8174 |
Gharibian, Sevag. “Quantifying Nonclassicality with Local Unitary Operations.” Physical Review A, vol. 86, American Physical Society, 2012, p. 042106, doi:10.1103/PhysRevA.86.042106.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Conference Paper | LibreCat-ID: 2106
Meyer, Björn, et al. “Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort?” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 189–96, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2108
Schumacher, Tobias, et al. “IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators.” Microprocessors and Microsystems, vol. 36, no. 2, 2012, pp. 110–26, doi:10.1016/j.micpro.2011.04.002.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, et al. “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), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter, Tobias, et al. “Pragma Based Parallelization - Trading Hardware Efficiency for Ease of Use?” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416773.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe, Markus, et al. “Hardware/Software Platform for Self-Aware Compute Nodes.” Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio, Pablo, et al. “Turning Control Flow Graphs into Function Calls: Code Generation for Heterogeneous Architectures.” Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–65, doi:10.1109/HPCSim.2012.6266973.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, Christoph, et al. “Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs.” Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–62, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 2180
Beisel, Tobias, et al. “Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux.” Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS), 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2177
Grad, Mariusz, and Christian Plessl. “On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-Based Reconfigurable Processors.” Int. Journal of Reconfigurable Computing (IJRC), Hindawi Publishing Corp., 2012, doi:10.1155/2012/418315.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
Brockhoff, Dimo, et al. “On the Properties of the R2 Indicator.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 465–472, doi:10.1145/2330163.2330230.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
Bischl, Bernd, et al. “Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 313–320, doi:10.1145/2330163.2330209.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, edited by Youssef Hamadi and Marc Schoenauer, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:https://doi.org/10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46399
Bischl, B., et al. “Resampling Methods in Model Validation.” Evolutionary Computation Journal, vol. 20, no. 2, 2012, pp. 249–275, doi:10.1162/EVCO_a_00069.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46400
Rudolph, G., et al. “Homogene Approximation Der Paretofront Bei Mehrkriteriellen Kontrollproblemen.” At-Automatisierungstechnik, vol. 60, 2012, pp. 610–621, doi:10.1524/auto.2012.1033.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 48890
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, Springer-Verlag, 2012, pp. 115–129.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48888
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, vol. 7219, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, et al. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Dissertation | LibreCat-ID: 19619
Korzeniowski, Miroslaw. Dynamic Load Balancing in Peer-to-Peer Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Journal Article | LibreCat-ID: 19677
Briest, Patrick, et al. “Stackelberg Network Pricing Games.” Algorithmica, vol. 62, 2011, pp. 733–753, doi:10.1007/s00453-010-9480-3.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
Jähn, Claudius, et al. “PADrend: Platform for Algorithm Development and Rendering.” Augmented & Virtual Reality in Der Produktentstehung, vol. 295, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 159--170.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20180
Hamann, Heiko, et al. “Coupled Inverted Pendulums: A Benchmark for Evolving Decentral Controllers in Modular Robotics.” Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, 2011, pp. 195--202, doi:10.1145/2001576.2001604.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
Hamann, Heiko, et al. “Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann.” IEEE Symposium on Artificial Life (IEEE ALIFE 2011), 2011, pp. 62--69, doi:10.1109/ALIFE.2011.5954660.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
Hamann, Heiko, et al. “Evolving for Creativity: Maximizing Complexity in a Self-Organized Multi-Particle System.” 10th European Conference on Artificial Life (ECAL’09), vol. 5777, 2011, pp. 442--449, doi:10.1007/978-3-642-21283-3_55.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
Hamann, Heiko, et al. “Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers.” Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20193
Hamann, Heiko, and Thomas Schmickl. “{BEECLUST}: {A} Swarm Algorithm Derived from Honeybees.” Bio-Inspired Computing and Communication Networks, edited by Yang Xiao, CRC Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20194
Hamann, Heiko, et al. “Evolving a Novel Bio-Inspired Controller in Reconfigurable Robots.” Advances in Artificial Life, 10th European Conference, ECAL 2009, 2011, pp. 132--139.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20195
Hamann, Heiko, et al. “Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm.” 10th European Conference on Artificial Life (ECAL’09), 2011, doi:10.1007/978-3-642-21314-4_9.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
Hamann, Heiko, et al. “Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem.” Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems, edited by Tom Lenaerts et al., MIT Press, 2011, pp. 302--309.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20214
Hamann, Heiko, et al. “Major Feedback Loops Supporting Artificial Evolution in Multi-Modular Robotics.” New Horizons in Evolutionary Robotics, Springer, 2011, doi:10.1007/978-3-642-18272-3_13.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 20215
Schmickl, Thomas, et al. “Modelling a Hormone-Inspired Controller for Individual- and Multi-Modular Robotic Systems.” Mathematical and Computer Modelling of Dynamical Systems, vol. 17, no. 3, 2011, pp. 221–42, doi:10.1080/13873954.2011.557862.
LibreCat
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger, Timm. Bicriteria-Approximation Für Das k-Median-Clustering Mit Bregman-Divergenzen. 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, Christian, and et al. “How to Manage and Search/Retrieve Information Objects.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz, Christian, and et al. “Integrating Generic Paths and NetInf.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat