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.

1566 Publications


2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable Real-Time Systems.” In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–61. IEEE Computer Society, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation of Artificial Immune Systems.” In Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). Shenzhen, China, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26029
Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical Systems.” In 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48. Ouro Preto, Brazil: SBC, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26030
Mathews, Emi. “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, Da, and Wolfgang Müller. “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, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann. “Efficient Alignment of Aerial Images Based on Virtual Forces.” In Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). St. Maarten, Netherlands Antilles: IEEE Xplore, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26034
Jungmann, Alexander, Bernd Kleinjohann, Lisa Kleinjohann, and Maarten Bieshaar. “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, Stefan, Simon Oberthür, and Daniel Baldin. “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, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26037
Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, 19–33.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26046
Stefszky, Michael, C M Mow-Lowry, S S Y Chua, D A Shaddock, B C Buchler, H Vahlbruch, A Khalaidovski, R Schnabel, P K Lam, and D E McClelland. “Balanced Homodyne Detection of Optical Quantum States at Audio-Band Frequencies and Below.” Classical and Quantum Gravity, 2012. https://doi.org/10.1088/0264-9381/29/14/145015.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 26079
Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi, G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” In Design, Automation and Test in Europe (DATE 2012). Dresden, 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 2608
Betz, Stefan. “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains.” In Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 2nd ed., 49–72. Hamburg, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26080
Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In Design, Automation and Test in Europe DATE. University Booth, Dresden, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, Wolfgang, Gernot Hillier, Jan Sawallisch, Stefan Hönick, and Simon Oberthür. “Real-Time Android: Deterministic Ease of Use.” In Proceedings of Embedded World Conference, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26086
Jungmann, Alexander, Thomas Schierbaum, and Bernd Kleinjohann. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” In Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), 441–44. INSTICC PRESS, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” In 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.” In Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 2nd ed., 105–32. Hamburg, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26090
Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” In 13th International Conference On Distributed Computing And Networking (ICDCN). The Hong Kong Polytechnic University, Hong Kong, China: 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, 175–92.
LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed