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.
1572 Publications
2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–61.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, 2012, pp. 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in Realistic Wireless Networks.” Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems.” 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, Claudius, et al. “Efficient Alignment of Aerial Images Based on Virtual Forces.” Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” 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, Stefan, et al. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.” Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento, Francisco A. M., et al. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, pp. 19–33.
LibreCat
2012 | Journal Article | LibreCat-ID: 26046
Stefszky, Michael, et al. “Balanced Homodyne Detection of Optical Quantum States at Audio-Band Frequencies and Below.” Classical and Quantum Gravity, 145015, 2012, doi:10.1088/0264-9381/29/14/145015.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 26079
Becker, Markus, et al. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” Design, Automation and Test in Europe (DATE 2012), 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 2608
Betz, Stefan. “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains.” Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 2nd ed., 2012, pp. 49–72.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, et al. “XEMU: A QEMU Based Binary Mutation Testing Framework.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.” Proceedings of Embedded World Conference, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann, Alexander, et al. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–44.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 2609
Betz, Stefan. “Analyse des Bullwhip-Effekts in einer Supply Chain von KMU.” Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 2nd ed., 2012, pp. 105–32.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” International Journal of Computer Networks and Communications 4(1), 2012, pp. 175–92.
LibreCat