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.
5719 Publications
2003 | Conference Paper | LibreCat-ID: 1024
A. C. C. Aguiar, C. Hoene, J. Klaue, H. Karl, H. Miesmer, and A. Wolisz, “Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications,” in Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03), 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13614
H. Walder and M. Platzner, “Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations,” in Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2003, pp. 284–287.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13615
C. Steiger, H. Walder, and M. Platzner, “Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices,” in Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL), 2003, pp. 575–584.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47641
M. Ernst, Asymptotische Optimalität von LZ77 bei beschränktem Speicher. 2003.
LibreCat