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.
9765 Publications
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1), 69–79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche, C., Stern, C., Kleinjohann, L., & Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, & D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
Mertsching, B., Divband Soorati, M., & Kotthauser, T. (2013). Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds. IEEE International Conference on Robotics and Biomimetics (ROBIO), 661–667.
LibreCat
2013 | Journal Article | LibreCat-ID: 20148
Hamann, H., Karsai, I., & Schmickl, T. (2013). Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning. Bulletin of Mathematical Biology, 75(7), 1181–1206. https://doi.org/10.1007/s11538-013-9851-4
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20150
Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R., & Zahadat, P. (2013). Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems. Chaos, Solitons & Fractals, 50, 100–114. https://doi.org/10.1016/j.chaos.2013.01.011
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20151
Hamann, H., Schmickl, T., Stradner, J., Schwarzer, C., Michiels, N. K., & Esparcia-Alcazar, A. I. (2013). Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013) (Vol. 7835, pp. 579–588). https://doi.org/10.1007/978-3-642-37192-9_58
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20160
Hamann, H. (2013). A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems. In 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013) (pp. 227–236). IEEE Press. https://doi.org/10.1109/SASO.2013.10
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
Hamann, H., Lio, P., Miglino, O., Nicosia, G., Nolfi, S., & Pavone, M. (2013). Speciation Dynamics: Generating Selective Pressure Towards Diversity. In 12th European Conference on Artificial Life (ECAL 2013). MIT Press.
LibreCat
2013 | Journal Article | LibreCat-ID: 20162
Hamann, H. (2013). Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. Swarm Intelligence, 7(3), 145–172. https://doi.org/10.1007/s11721-013-0080-0
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann, S. (2013). Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder, L. (2013). Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat