@inproceedings{1024, author = {{Aguiar, Ana Cristina Costa and Hoene, Christian and Klaue, Jirka and Karl, Holger and Miesmer, Horst and Wolisz, Adam}}, booktitle = {{Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC'03)}}, title = {{{Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications}}}, year = {{2003}}, } @inproceedings{13612, author = {{Walder, Herbert and Platzner, Marco}}, booktitle = {{Proceedings Design, Automation and Test in Europe Conference (DATE)}}, isbn = {{0769518702}}, pages = {{290--295}}, publisher = {{IEEE CS Press}}, title = {{{Online scheduling for block-partitioned reconfigurable devices}}}, doi = {{10.1109/date.2003.1253622}}, year = {{2003}}, } @inproceedings{13613, author = {{Walder, Herbert and Steiger, Christoph and Platzner, Marco}}, booktitle = {{Proceedings International Parallel and Distributed Processing Symposium}}, isbn = {{0769519261}}, publisher = {{IEEE CS Press}}, title = {{{Fast online task placement on FPGAs: free space partitioning and 2D-hashing}}}, doi = {{10.1109/ipdps.2003.1213329}}, year = {{2003}}, } @inproceedings{13614, author = {{Walder, Herbert and Platzner, Marco}}, booktitle = {{Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}}, pages = {{284--287}}, publisher = {{CSREA Press}}, title = {{{Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations}}}, year = {{2003}}, } @inproceedings{13615, author = {{Steiger, Christoph and Walder, Herbert and Platzner, Marco}}, booktitle = {{Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)}}, isbn = {{9783540408222}}, issn = {{0302-9743}}, pages = {{575--584}}, publisher = {{Springer}}, title = {{{Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices}}}, doi = {{10.1007/978-3-540-45234-8_56}}, year = {{2003}}, } @inbook{34446, abstract = {{We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages.}}, author = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, booktitle = {{SystemC - Methodologies and Applications}}, editor = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, isbn = {{978-0-306-48735-4}}, pages = {{97 -- 126}}, publisher = {{Kluwer}}, title = {{{An ASM Based SystemC Simulation Semantics}}}, doi = {{10.1007/0-306-48735-7_4}}, year = {{2003}}, } @article{34565, abstract = {{The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions. This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. }}, author = {{Flake, Stephan and Müller, Wolfgang}}, journal = {{Journal on Software and System Modeling (SoSyM)}}, keywords = {{Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal logics}}, number = {{3}}, pages = {{164--186}}, publisher = {{Springer-Verlag}}, title = {{{Formal Semantics of Static and Temporal State-Oriented OCL Constraints}}}, doi = {{10.1007/s10270-003-0026-x}}, volume = {{2}}, year = {{2003}}, } @misc{47641, author = {{Ernst, Matthias}}, title = {{{Asymptotische Optimalität von LZ77 bei beschränktem Speicher}}}, year = {{2003}}, } @misc{47635, author = {{Voß, Kerstin}}, title = {{{Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen}}}, year = {{2003}}, } @misc{47696, author = {{Hoppe, Ulrich}}, keywords = {{Diplomarbeit}}, title = {{{Markovprozesse zur Modellierung bei Codekompression}}}, year = {{2003}}, } @misc{47636, author = {{Unterkirchner, Claudia}}, title = {{{Implementierung eines arithmetischen Dekodierers in Java}}}, year = {{2003}}, } @misc{47640, author = {{Kuntze, Daniel}}, title = {{{Tabellenbasierte arithmetische Codierung}}}, year = {{2003}}, } @misc{47638, author = {{Soltenborn, Christian}}, title = {{{Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}}}, year = {{2003}}, } @misc{47637, author = {{Todtenbier, Christian}}, title = {{{Implementierung eines arithmetischen Kodierers in Java}}}, year = {{2003}}, } @misc{47634, author = {{Ziegler, Max}}, title = {{{Fehlerangriffe auf spezielle Implementierungen von RSA}}}, year = {{2003}}, } @misc{47639, author = {{Lindner, Marvin}}, title = {{{Verkürzte Huffman-Codierung zur Codekompression}}}, year = {{2003}}, } @misc{47695, author = {{Ackermann, Marcel R.}}, keywords = {{Diplomarbeit}}, title = {{{Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten}}}, year = {{2003}}, } @inproceedings{39357, abstract = {{Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746).}}, author = {{Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}}, booktitle = {{Proceedings of CE 2003}}, title = {{{An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}}}, year = {{2003}}, } @inproceedings{39355, abstract = {{This pap er presents an approach to extend OSGi server based home networks with JXTA's p eer-to- p eer (P2P) technology to a multi-server home envi- ronment connecting multiple private home networks to one true virtual environment for communication, media sharing/exchange, and distributed device con- trol. We elab orate on the basic integration metho d- ology and extend it to a general, security preserv- ing, architectural concept based on a two level inte- gration concept for inhome and interhome networks. The integration is achieved through additional OSGi services for the management of virtual devices, p eer- to-p eer communication, and authentication. The ex- ample of a Quality of Service based video streaming management demonstrates one of the p otential ad- vanced application for which p eer-to-p eer can b e used in addition.}}, author = {{Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}}, booktitle = {{Proceedings of HICCS-36}}, title = {{{Peer-to-Peer for Virtual Home Environments}}}, year = {{2003}}, } @inproceedings{39354, author = {{Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}}, booktitle = {{Proceedings of DATE’03}}, title = {{{Tool Integration and Management in Heterogeneous Computer Networks}}}, year = {{2003}}, }