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.
1601 Publications
2013 | Conference (Editor) | LibreCat-ID: 25472
Ngonga Ngomo A-C, Paliouras G, eds. Proceedings of the First Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 (CLEF 2013) , Valencia, Spain, September 27th, 2013. Vol 1094. CEUR-WS.org; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink S, Almeida L, de Sousa M, Petters SM. Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. In: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: 6’th Latin-American Symposium on Dependable Computing (LADC 2013). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen. In: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
Rasche C, Bieshaar M, Jungmann A, Kleinjohann L, Kleinjohann B. Statistisches Planen in einem realen Roboterszenario. In: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310. Vol 310. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:133-146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink S, Baldin D, Oberthür S. Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. In: ACM SIGBED Review, Band 10. ACM; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An enhanced OVM/UVM for SystemC. In: EdaWorkshop 13. ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik C, F. S. Oliveira M, Müller W. SC OVM: An Advanced SystemC Library for OVM-based Verification. In: Open SANITAS SystemC Verification Workshop. ; 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels G, Gerth C, Kleinjohann L, Kleinjohann B, Müller W. Informationstechnik spart Ressourcen. ForschungsForum Paderborn . 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
Grösbrink S. Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research & Development 7(1). Published online 2013:69-79.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann A, Kleinjohann B, Kleinjohann L. Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4). Published online 2013:284-297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik C, Oliveira MF, Defo B, Müller W. Systematic Application of UCIS to Improve the Automation on Verification Closure. In: Proceedings of DVCON. ; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In: Sen Gupta G, Bailey D, Demidenko S, Carnegie D, eds. Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480. Vol 480. Springer ; 2013:103-113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz K, Jatzkowski J, Rettberg A, Müller W. Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. In: International Embedded Systems Symposium (IESS) 2013. Springer; 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19585
Büker P, Bührmann T, Kordulla A. Die wissenschaftliche Begleitung des Modellprojektes. In: Stadt Paderborn, ed. Hand in Hand durch den Übergang - Neue Wege der Kooperation zwischen Kita und Grundschule im Modellprojekt Kinderbildungshaus Paderborn. Paderborn; 2013:57-80.
LibreCat
2013 | Journal Article | LibreCat-ID: 19587
Büker P. Individualisierung, Integration, Inklusion: KiTas und Grundschulen auf dem Weg. DDS (Zeitschrift der Gewerkschaft Erziehung und Wissenschaft, Landesverband Bayern), H 7/8, Themenheft: Frühkindliche Bildung. 2013;(H. 7/8):10-12.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19862
Büker P, Bührmann T. Forschung und Praxis im Dialog?! Erfahrungen und Probleme der wissenschaftlichen Begleitung von Projekten im Übergang Kita-Grundschule. Keynote an der 18. Jahrestagung des Nordverbunds Schulbegleitforschung, Universität Osnabrück. In: ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19882
Büker P. Individualisierung, Integration, Inklusion: Kitas und (Grund-) Schulen auf dem Weg. Abschlussvortrag im Rahmen des Fachtages des GEW Bezirksverbandes Oberbayern zum Thema “Individuelle Förderung als Grundlage der Inklusion”. GEW Bezirksverband Oberbayern, Freising. In: ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 19884
Büker P, Arndt PA. Verzahnung von Elementar- und Primarbereich in Bildungshäusern: Auswirkungen auf Kinder, Erzieher/innen und Lehrkräfte. Symposium an der 1. Tagung der Gesellschaft für Empirische Bildungsforschung (GEBF) an der Christian-Albrecht-Universität Kiel. In: ; 2013.
LibreCat