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.
1633 Publications
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.
2012 | Journal Article | LibreCat-ID: 26046
Balanced homodyne detection of optical quantum states at audio-band frequencies and below
M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).
LibreCat
| DOI
M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).
2012 | Conference Paper | LibreCat-ID: 26079
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
2012 | Book Chapter | LibreCat-ID: 2608
Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.
LibreCat
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.
2012 | Conference Paper | LibreCat-ID: 26080
XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26081
Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
2012 | Conference Paper | LibreCat-ID: 26086
Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
LibreCat
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
2012 | Conference Paper | LibreCat-ID: 26089
Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
2012 | Book Chapter | LibreCat-ID: 2609
Analyse des Bullwhip-Effekts in einer Supply Chain von KMU
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 105–132.
LibreCat
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 105–132.
2012 | Conference Paper | LibreCat-ID: 26090
A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
LibreCat
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
2012 | Journal Article | LibreCat-ID: 26091
Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.