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, Axel-Cyrille, and George Paliouras, 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} Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters. “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, Mona, Sufyan Samara, and Yuhong Zhao. “Accelerating Online Model Checking.” In 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “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, Christoph, Maarten Bieshaar, Alexander Jungmann, Lisa Kleinjohann, and Bernd Kleinjohann. “Statistisches Planen in einem realen Roboterszenario.” In Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 310:133–46. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink, Stefan, Daniel Baldin, and Simon Oberthür. “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, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” In EdaWorkshop 13, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, Fabian, and Wolfgang Müller. “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, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “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, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and Wolfgang Müller. “ Informationstechnik spart Ressourcen.” ForschungsForum Paderborn , 2013.
LibreCat