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.
10555 Publications
2010 | Conference Paper | LibreCat-ID: 46410
Online convergence detection for evolutionary multi-objective algorithms revisited
T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
LibreCat
| DOI
T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation, 2010, pp. 1–8.
2010 | Journal Article | LibreCat-ID: 11892 | 
Online Diarization of Streaming Audio-Visual Data for Smart Environments
J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal Processing 4 (2010) 845–856.
LibreCat
| DOI
| Download (ext.)
J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal Processing 4 (2010) 845–856.
2010 | Journal Article | LibreCat-ID: 51402
Chevalley's Restriction Theorem for Reductive Symmetric Superpairs
J. Hilgert, M. Zirnbauer, A. Alldridge, J. Algebra 323 (2010) 1159–1185.
LibreCat
J. Hilgert, M. Zirnbauer, A. Alldridge, J. Algebra 323 (2010) 1159–1185.
2010 | Journal Article | LibreCat-ID: 51401
Invariant Berezin integration on homogeneous supermanifolds
J. Hilgert, A. Alldridge, J. Lie Theory 20 (2010) 65–91.
LibreCat
J. Hilgert, A. Alldridge, J. Lie Theory 20 (2010) 65–91.
2010 | Book (Editor) | LibreCat-ID: 53582
Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design
S. Gerard, W. Müller, L. Rioux, B. Selic, eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 2010.
LibreCat
S. Gerard, W. Müller, L. Rioux, B. Selic, eds., Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 2010.
2010 | Book (Editor) | LibreCat-ID: 53581
Proceedings of 13th Design Automation and Test in Europe Conference & Exhibition (DATE)
G. De Micheli, W. Müller, eds., Proceedings of 13th Design Automation and Test in Europe Conference & Exhibition (DATE), IEEE Press, Dresden, Germany, 2010.
LibreCat
G. De Micheli, W. Müller, eds., Proceedings of 13th Design Automation and Test in Europe Conference & Exhibition (DATE), IEEE Press, Dresden, Germany, 2010.
2010 | Book Chapter | LibreCat-ID: 54337
Numerical integration on the sphere
K. Hesse, I. H. Sloan, Robert S. Womersley, in: W. Freeden, Z. Nashed , T. Sonar (Eds.), Handbook of Geomathematics , Springer Verlag, 2010, pp. 1187-1220.
LibreCat
K. Hesse, I. H. Sloan, Robert S. Womersley, in: W. Freeden, Z. Nashed , T. Sonar (Eds.), Handbook of Geomathematics , Springer Verlag, 2010, pp. 1187-1220.
2010 | Journal Article | LibreCat-ID: 53909
Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 2: Geschwindigkeits- und Drehzahlregelung sowie Lageregelung
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010).
LibreCat
| Download (ext.)
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010).
2010 | Journal Article | LibreCat-ID: 53907
Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 1: Grundsätzliche Zusammenhänge
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010) 22–26.
LibreCat
| Download (ext.)
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010) 22–26.
2010 | Journal Article | LibreCat-ID: 53911
Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 3: Einflussgrößen für die erzielbare Bandbreite
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010).
LibreCat
| Download (ext.)
S. Beineke, A. Bähr, J. Böcker, antriebstechnik (2010).
2010 | Conference Paper | LibreCat-ID: 47616
Piko - DO - Lehrerfortbildung zu kontextorientiertem Physikunterricht
G. Jonas-Ahrend, U. Wlotzka, in: 2010.
LibreCat
G. Jonas-Ahrend, U. Wlotzka, in: 2010.
2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37011
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37046
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37044
Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37042
A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37043
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.