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, editors. 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. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
Grösbrink, Stefan, et al. “Fair Bandwidth Sharing among Virtual Machines in a Multi-Criticality Scope.” 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, Mona, et al. “Accelerating Online Model Checking.” 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
Stern, Claudius, et al. “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen.” 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, et al. “Statistisches Planen in einem realen Roboterszenario.” Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, vol. 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–46.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
Grösbrink, Stefan, et al. “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems.” ACM SIGBED Review, Band 10, ACM, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, Christoph, et al. “SystemC Verification Components - An Enhanced OVM/UVM for SystemC.” 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.” Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, Christoph, et al. “SC OVM: An Advanced SystemC Library for OVM-Based Verification.” Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, Gregor, et al. “ Informationstechnik spart Ressourcen.” ForschungsForum Paderborn , 2013.
LibreCat