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