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.

1561 Publications


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

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

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

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

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

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

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

2012 | Conference Paper | LibreCat-ID: 26024
Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
LibreCat | Download (ext.)
 

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

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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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

2012 | Book Chapter | LibreCat-ID: 26093
Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26094
Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26102
Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
 

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

2012 | Journal Article | LibreCat-ID: 26133
Sintering kinetics and mechanism of vitreous nanoparticles
M.J. Kirchhof, H. Förster, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 45 (2012) 26–39.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 26181
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat
 

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

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

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

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

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

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

2012 | Journal Article | LibreCat-ID: 26351
Quantification of nonclassicality
C. Gehrke, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26352
Strongly entangled light from planar microcavities
D. Pagel, H. Fehske, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26353
Analytical progress on symmetric geometric discord: Measurement-based upper bounds
A. Miranowicz, P. Horodecki, R.W. Chhajlany, J. Tuziemski, J. Sperling, Physical Review A (2012).
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26354
Sub-Binomial Light
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review Letters (2012).
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26355
Entanglement quasiprobabilities of squeezed light
J. Sperling, W. Vogel, New Journal of Physics (2012).
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 26356
True photocounting statistics of multiple on-off detectors
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review A (2012).
LibreCat | DOI
 

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

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed