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, Ana Cristina Costa, et al. “Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications.” Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03), 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13612
Walder, Herbert, and Marco Platzner. “Online Scheduling for Block-Partitioned Reconfigurable Devices.” Proceedings Design, Automation and Test in Europe Conference (DATE), IEEE CS Press, 2003, pp. 290–95, doi:10.1109/date.2003.1253622.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13613
Walder, Herbert, et al. “Fast Online Task Placement on FPGAs: Free Space Partitioning and 2D-Hashing.” 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, Herbert, and Marco Platzner. “Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations.” Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 284–87.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13615
Steiger, Christoph, et al. “Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices.” Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 575–84, doi:10.1007/978-3-540-45234-8_56.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13617
Steiger, Christoph, et al. “Online Scheduling and Placement of Real-Time Tasks to Partially Reconfigurable Devices.” Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS), IEEE CS Press, 2003, pp. 252–235, doi:10.1109/real.2003.1253269.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” SystemC - Methodologies and Applications, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” Proceedings of CE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” Proceedings of HICCS-36, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” Proceedings of DATE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47641
Ernst, Matthias. Asymptotische Optimalität von LZ77 bei beschränktem Speicher. 2003.
LibreCat