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.
5774 Publications
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B. Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications. IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China. IEEE Computer Society; 2012:154-161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat