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.
9784 Publications
2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. 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), 2012, pp. 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,” in Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
H. Wachsmuth and B. Stein, “Optimal Scheduling of Information Extraction Algorithms,” in Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2919
S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,” in Advances in Cryptology – EUROCRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)