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
Aguiar, A. C. C., Hoene, C., Klaue, J., Karl, H., Miesmer, H., & Wolisz, A. (2003). Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications. In Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03).
LibreCat
2003 | Conference Paper | LibreCat-ID: 13612
Walder, H., & Platzner, M. (2003). Online scheduling for block-partitioned reconfigurable devices. In Proceedings Design, Automation and Test in Europe Conference (DATE) (pp. 290–295). IEEE CS Press. https://doi.org/10.1109/date.2003.1253622
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13613
Walder, H., Steiger, C., & Platzner, M. (2003). Fast online task placement on FPGAs: free space partitioning and 2D-hashing. In Proceedings International Parallel and Distributed Processing Symposium. IEEE CS Press. https://doi.org/10.1109/ipdps.2003.1213329
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13614
Walder, H., & Platzner, M. (2003). Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations. In Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA) (pp. 284–287). CSREA Press.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13615
Steiger, C., Walder, H., & Platzner, M. (2003). 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) (pp. 575–584). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-45234-8_56
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13617
Steiger, C., Walder, H., Platzner, M., & Thiele, L. (2003). Online scheduling and placement of real-time tasks to partially reconfigurable devices. In Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS) (pp. 252–235). IEEE CS Press. https://doi.org/10.1109/real.2003.1253269
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 34446
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. Proceedings of HICCS-36.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. Proceedings of DATE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47641
Ernst, M. (2003). Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
LibreCat