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.

1657 Publications


2012 | Conference Paper | LibreCat-ID: 25767
He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25776
Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B. Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25777
Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications. IEEE; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25781
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26022
Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 26023
He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26024
Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 26025
Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26027
Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China. IEEE Computer Society; 2012:154-161.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26028
Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26029
Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26030
Mathews E. 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 D, Müller W. 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 C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26034
Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. 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 S, Oberthür S, Baldin D. 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 MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26037
Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8. Published online 2012:19-33.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26046
Stefszky M, Mow-Lowry CM, Chua SSY, et al. Balanced homodyne detection of optical quantum states at audio-band frequencies and below. Classical and Quantum Gravity. Published online 2012. doi:10.1088/0264-9381/29/14/145015
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 26079
Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: Design, Automation and Test in Europe (DATE 2012). ; 2012.
LibreCat
 

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

2012 | Conference Paper | LibreCat-ID: 26080
Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: Design, Automation and Test in Europe DATE. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26081
Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of use. In: Proceedings of Embedded World Conference. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26086
Jungmann A, Schierbaum T, Kleinjohann B. 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). INSTICC PRESS; 2012:441-444.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq F. 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 S. Analyse des Bullwhip-Effekts in einer Supply Chain von KMU. In: Betz S, ed. Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand. 2nd ed. Hamburg; 2012:105-132.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26090
Mathews E, Frey H. A Localized Link Removal and Addition based Planarization Algorithm. In: 13th International Conference On Distributed Computing And Networking (ICDCN). Springer; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26091
Mathews E, Mathew C. Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications 4(1). Published online 2012:175-192.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26092
Müller W, Becker M, Zabel H, Elfeky A, DiPasquale A. Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. ; 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26093
Khaluf Y, Mathews E, Rammig F-J. Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano MT, Brinkschulte U, Rettberg A, eds. Self-Organization in Embedded Real-Time Systems. Springer; 2012:75-92.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26094
Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. Schemata Und Praktiken. Wilhelm Fink Verlag; 2012:141-160.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq F, Korrapati S. 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:263-276.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26132
Kirchhoff N, Schröder C, Stute D, Moritzer E, Schmid H-J. Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess. Chemie Ingenieur Technik. Published online 2012:1584-1589. doi:10.1002/cite.201100223
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26133
Kirchhof MJ, Förster H, Schmid H-J, Peukert W. Sintering kinetics and mechanism of vitreous nanoparticles. Journal of Aerosol Science. 2012;45:26-39. doi:10.1016/j.jaerosci.2011.10.006
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 26181
Jungmann A, Kleinjohann B. 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). Xpert Publishing Services; 2012:43-47.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26190
Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Services Computing (SCC). IEEE; 2012.
LibreCat
 

2012 | Dissertation | LibreCat-ID: 26199
Nordsiek D. Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme. Vol 304. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.
LibreCat
 

2012 | Dissertation | LibreCat-ID: 26200
Kreft S. Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen. Vol 305. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.
LibreCat
 

2012 | Conference (Editor) | LibreCat-ID: 26201
Gausemeier J, ed. Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung. Vol 306. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26212
Khaluf Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm Robotic Systems. In: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26264
Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: Third International Conference on Networks & Communications, LNICST. Springer; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26351
Gehrke C, Sperling J, Vogel W. Quantification of nonclassicality. Physical Review A. Published online 2012. doi:10.1103/physreva.86.052118
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26352
Pagel D, Fehske H, Sperling J, Vogel W. Strongly entangled light from planar microcavities. Physical Review A. Published online 2012. doi:10.1103/physreva.86.052313
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26353
Miranowicz A, Horodecki P, Chhajlany RW, Tuziemski J, Sperling J. Analytical progress on symmetric geometric discord: Measurement-based upper bounds. Physical Review A. Published online 2012. doi:10.1103/physreva.86.042123
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26354
Sperling J, Vogel W, Agarwal GS. Sub-Binomial Light. Physical Review Letters. Published online 2012. doi:10.1103/physrevlett.109.093601
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26355
Sperling J, Vogel W. Entanglement quasiprobabilities of squeezed light. New Journal of Physics. Published online 2012. doi:10.1088/1367-2630/14/5/055026
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26356
Sperling J, Vogel W, Agarwal GS. True photocounting statistics of multiple on-off detectors. Physical Review A. Published online 2012. doi:10.1103/physreva.85.023820
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 2640
Kundisch D. Trading Venue Decision of Private Online Investors. International Journal of Electronic Finance. 2012;6(2):103-120.
LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed