@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}},
}

@inproceedings{30307,
  author       = {{Schafmeister, Frank and Kolar, Johann}},
  booktitle    = {{Proc. IEEE Annual Industrial Electronics Society Conference (IECON)}},
  location     = {{Roanoke, VA, USA}},
  pages        = {{2085 -- 2090}},
  publisher    = {{IEEE}},
  title        = {{{Novel Modulation Schemes Minimizing the Switching Losses of Sparse Matrix Converters}}},
  year         = {{2003}},
}

@article{30306,
  author       = {{Schafmeister, Frank and Baumann, Martina and Kolar, Johann}},
  journal      = {{EPE Journal}},
  number       = {{1}},
  pages        = {{5 -- 14}},
  publisher    = {{EPE}},
  title        = {{{Analytically Closed Calculation of the Conduction Losses of Three-Phase AC-AC Sparse Matrix Converters}}},
  volume       = {{13}},
  year         = {{2003}},
}

@inproceedings{30418,
  author       = {{Schafmeister, F. and Herold, S. and Kolar, J.W.}},
  booktitle    = {{Eighteenth Annual IEEE Applied Power Electronics Conference and Exposition, 2003. APEC '03.}},
  publisher    = {{IEEE}},
  title        = {{{Evaluation of 1200 V-Si-IGBTs and 1300 V-SiC-JFETs for application in three-phase very sparse matrix AC-AC converter systems}}},
  doi          = {{10.1109/apec.2003.1179222}},
  year         = {{2003}},
}

@inproceedings{30421,
  author       = {{Njiende, H. and Fröhleke, N. and Cronje, W.A.}},
  booktitle    = {{IEEE 34th Annual Conference on Power Electronics Specialist, 2003. PESC '03.}},
  publisher    = {{IEEE}},
  title        = {{{Modeling and analysis of integrated magnetic components}}},
  doi          = {{10.1109/pesc.2003.1218307}},
  year         = {{2003}},
}

@inproceedings{30426,
  author       = {{Yang, B. and Meyer, M. and Grotstollen, H. }},
  booktitle    = {{ISICT 2003, 5th International Symposium on Instrumentation and Control Technology}},
  location     = {{Beijing, China}},
  title        = {{{Coupled Pitch and Velocity Control of a Doubly-Fed Linear Motor, Beijing, China}}},
  year         = {{2003}},
}

@inproceedings{30423,
  author       = {{Yang, B. and Grotstollen, H.}},
  booktitle    = {{The 4th International Symposium on LINEAR DRIVES FOR INDUSTRY APPLICATIONS (LDIA 2003), Austin Court, Birmingham, UK.}},
  title        = {{{Direct Torque Control of a Singled-sided Linear Induction Motor based on Sliding Mode}}},
  year         = {{2003}},
}

@inproceedings{30422,
  author       = {{Njiende, H. and Wetzel, H. and Fröhleke, N.  and Cronje, W. A.}},
  booktitle    = {{10th European Conference on Power Electronis and Applications (EPE 2003), Toulouse, France}},
  location     = {{Toulouse, France}},
  title        = {{{Models of integrated magnetic components for simulation based design of SMPS with SIMPLORER}}},
  year         = {{2003}},
}

@inproceedings{30425,
  author       = {{Njiende, H. and Fröhleke, N. and Cronje, W. A.}},
  booktitle    = {{EMF 2003, The 6th International Symposium on Electric and Magnetic Fields, Aachen, Germany}},
  location     = {{Aachen, Germany}},
  title        = {{{Modelling of Integrated Magnetic Components for Power Electronics}}},
  year         = {{2003}},
}

@inproceedings{30427,
  author       = {{Pottharst, A. and Grotstollen, H.}},
  booktitle    = {{ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China}},
  location     = {{Beijing, China}},
  title        = {{{Radio Based Control of a Linear Motor for the NBP Railway System}}},
  year         = {{2003}},
}

@inproceedings{30431,
  author       = {{Wetzel, H. and Fröhleke, N. and Grotstollen, H.}},
  booktitle    = {{ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China}},
  location     = {{Beijing, China}},
  title        = {{{Topologies for Low-voltage Regulator Modules}}},
  year         = {{2003}},
}

@inproceedings{30424,
  author       = {{Schulz, B. and Yang, B. and Pottharst, A.  and Grotstollen, H. }},
  booktitle    = {{ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk}},
  location     = {{Novocherkassk}},
  title        = {{{Das Linearantriebssystem der NBP-Versuchsanlage}}},
  year         = {{2003}},
}

@phdthesis{30428,
  author       = {{Schütte, F.}},
  isbn         = {{978-3-8322-1226-1}},
  title        = {{{Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik}}},
  year         = {{2003}},
}

@phdthesis{30429,
  author       = {{Ide, P.}},
  isbn         = {{978-3-8322-1682-5}},
  title        = {{{Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen}}},
  year         = {{2003}},
}

@phdthesis{30430,
  author       = {{Henke, M.}},
  isbn         = {{978-3-18-353312-1}},
  title        = {{{Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug}}},
  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}},
}

@inproceedings{13002,
  author       = {{Wuertenberger, Armin and S. Tautermann, Christofer and Hellebrand, Sybille}},
  booktitle    = {{IEEE International Test Conference (ITC'03)}},
  pages        = {{451--459}},
  publisher    = {{IEEE}},
  title        = {{{A Hybrid Coding Strategy for Optimized Test Data Compression}}},
  doi          = {{10.1109/test.2003.1270870}},
  year         = {{2003}},
}