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
2010 | Conference Paper | LibreCat-ID: 13640
Giefers, H., & Platzner, M. (2010). A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier. In Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL). IEEE.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
Schäfer, W., Birattari, M., Blömer, J., Dorigo, M., Engels, G., O’Grady, R., … Trächtler, A. (2010). Engineering Self-Coordinating Software Intensive Systems. In Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER) (pp. 321–324).
LibreCat
2010 | Conference Paper | LibreCat-ID: 13642
Giefers, H., & Platzner, M. (2010). A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics. In Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., & Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_7
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, F., Müller, W., & He, D. (2010). A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. Proceedings of the M-BED Workshop.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, A., Müller, W., & Krupp, A. (2010). Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., & Carballeda, M. (2010). The SATURN Approach to SysML-based HW/SW Codesign. Proceedings of the IEEE Computer Society Annual Symposium on VLSI. https://doi.org/10.1007/978-94-007-1488-5_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, T., Defo, G. B., & Müller, W. (2010). An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES). https://doi.org/10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. Proceedings of MoMPES 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 8179 | 
Gharibian, S. (2010). Strong NP-hardness of the quantum separability problem. Quantum Information & Computation, 10(3{\ & }4), 343–360.
LibreCat
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 2223
Lübbers, E., Platzner, M., Plessl, C., Keller, A., & Plattner, B. (2010). Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 225–231.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2216
Grad, M., & Plessl, C. (2010). Pruning the Design Space for Just-In-Time Processor Customization. Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), 67–72. https://doi.org/10.1109/ReConFig.2010.19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2224
Grad, M., & Plessl, C. (2010). An Open Source Circuit Library with Benchmarking Facilities. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 144–150.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2220
Andrews, D., & Plessl, C. (2010). Configurable Processor Architectures: History and Trends. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 165.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 2222
Plaks, T. P., Andrews, D., DeMara, R., Lam, H., Lee, J., Plessl, C., & Stitt, G. (Eds.). (2010). Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2226
Beisel, T., Niekamp, M., & Plessl, C. (2010). Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators. Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), 65–72. https://doi.org/10.1109/ASAP.2010.5540798
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2206
Keller, A., Plattner, B., Lübbers, E., Platzner, M., & Plessl, C. (2010). Reconfigurable Nodes for Future Networks. Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), 372–376. https://doi.org/10.1109/GLOCOMW.2010.5700341
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2227
Woehrle, M., Plessl, C., & Thiele, L. (2010). Rupeas: Ruby Powered Event Analysis DSL. Proc. Int. Conf. Networked Sensing Systems (INSS), 245–248. https://doi.org/10.1109/INSS.2010.5572211
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2228
Kenter, T., Platzner, M., Plessl, C., & Kauschke, M. (2010). Performance Estimation for the Exploration of CPU-Accelerator Architectures. In O. Hammami & S. Larrabee (Eds.), Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA).
LibreCat
2010 | Misc | LibreCat-ID: 47684 |
Postler, T. (2010). Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 46408
Mostaghim, S., Trautmann, H., & Mersmann, O. (2010). Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities. In R. Schaefer, C. Cotta, J. Kołodziej, & G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI (pp. 101–110). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15871-1_11
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46405
Mersmann, O., Preuss, M., & Trautmann, H. (2010). Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis. Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, 73–82.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46406
Mersmann, O., Trautmann, H., Naujoks, B., & Weihs, C. (2010). On the Distribution of EMOA Hypervolumes. In C. Blum & R. Battiti (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy (Vol. 6073, pp. 333–337). Springer.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46407
Mersmann, O., Trautmann, H., Naujoks, B., & Weihs, C. (2010). Benchmarking evolutionary multiobjective optimization algorithms. IEEE Congress on Evolutionary Computation, 1–8. https://doi.org/10.1109/CEC.2010.5586241
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46404
Ding, J., Wessing, S., Trautmann, H., Mehnen, J., & Naujoks, B. (2010). Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing. In R. Teti (Ed.), Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10). Copyright C.O.C. Com. org. Conv.
LibreCat
2010 | Conference Paper | LibreCat-ID: 46409
Voß, T., Trautmann, H., & Igel, C. (2010). New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization. In R. Schaefer, C. Cotta, J. Kołodziej, & G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI (pp. 260–269). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15871-1_27
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46412
Wagner, T., & Trautmann, H. (2010). Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions. IEEE Transactions on Evolutionary Computation, 14(5), 688–701. https://doi.org/10.1109/TEVC.2010.2058119
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46411
Azene, Y. T., Roy, R., Farrugia, D., Onisa, C., Mehnen, J., & Trautmann, H. (2010). Work roll cooling system design optimisation in presence of uncertainty and constrains. CIRP Journal of Manufacturing Science and Technology, 2(4), 290–298. https://doi.org/10.1016/j.cirpj.2010.06.001
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46410
Wagner, T., & Trautmann, H. (2010). Online convergence detection for evolutionary multi-objective algorithms revisited. IEEE Congress on Evolutionary Computation, 1–8. https://doi.org/10.1109/CEC.2010.5586474
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 19605
Lürwer-Brüggemeier, K. (2009). Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division (Vol. 261). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19614
Mense, M. (2009). On Fault-Tolerant Data Placement in Storage Networks (Vol. 260). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19617
Kortenjan, M. (2009). Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes (Vol. 258). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19618
Bonorden, O. (2009). Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip (Vol. 257). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2009 | Report | LibreCat-ID: 19722
Bonorden, O., Degener, B., Pietrzyk, P., & Kempkes, B. (2009). Complexity and approximation of a geometric local robot assignment problem.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 19724
Bonorden, O., Degener, B., Kempkes, B., & Pietrzyk, P. (2009). Complexity and Approximation of a Geometric Local Robot Assignment Problem. In Algorithmic Aspects of Wireless Sensor Networks (pp. 252–262). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-05434-1_25
LibreCat
| DOI
2009 | Report | LibreCat-ID: 19825
Schindelhauer, C., Mahlmann, P., & Janson, T. (2009). 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany.
LibreCat
| Files available
2009 | Journal Article | LibreCat-ID: 19830
Ooi, C. C., & Schindelhauer, C. (2009). Minimal Energy Path Planning for Wireless Robots. Mobile Networks and Applications (MONET), 309–321. https://doi.org/10.1007/s11036-008-0150-5
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 19831
Ooi, C. C., & Schindelhauer, C. (2009). Utilizing detours for energy conservation in mobile wireless networks. Telecommunication Systems, 43, 25–37. https://doi.org/10.1007/s11235-009-9188-3
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19901
Raptopoulos, C. L., Nikoletseas, S. E., & Spirakis, P. G. (2009). Colouring Non-sparse Random Intersection Graphs. In 34st International Symposium on Mathematical Foundations of Computer Science (pp. 600--611). https://doi.org/10.1007/978-1-4939-2864-4_597
LibreCat
| DOI