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
2013 | Conference Paper | LibreCat-ID: 25612
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen
F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
2013 | Conference Paper | LibreCat-ID: 25614
SC OVM: An Advanced SystemC Library for OVM-based Verification
C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.
2013 | Newspaper Article | LibreCat-ID: 25615
Informationstechnik spart Ressourcen
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn (2013).
LibreCat
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn (2013).
2013 | Journal Article | LibreCat-ID: 25616
Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues
S. Grösbrink, Production Engineering Research & Development 7(1) (2013) 69–79.
LibreCat
S. Grösbrink, Production Engineering Research & Development 7(1) (2013) 69–79.
2013 | Journal Article | LibreCat-ID: 25618
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
2013 | Conference Paper | LibreCat-ID: 25620
Systematic Application of UCIS to Improve the Automation on Verification Closure
C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.
LibreCat
C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.
2013 | Book Chapter | LibreCat-ID: 25625
A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D. Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg, 2013, pp. 103–113.
LibreCat
| Download (ext.)
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D. Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg, 2013, pp. 103–113.
2013 | Conference Paper | LibreCat-ID: 25632
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded Systems Symposium (IESS) 2013, Springer, 2013.
LibreCat
K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded Systems Symposium (IESS) 2013, Springer, 2013.
2013 | Journal Article | LibreCat-ID: 19981
Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds
B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference on Robotics and Biomimetics (ROBIO) (2013) 661–667.
LibreCat
B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference on Robotics and Biomimetics (ROBIO) (2013) 661–667.
2013 | Journal Article | LibreCat-ID: 20148
Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning
H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013) 1181–1206.
LibreCat
| DOI
H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013) 1181–1206.