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