[{"has_accepted_license":"1","citation":{"apa":"Scheideler, C., Salzwedel, K., Meyer auf der Heide, F., Brinkmann, A., Vodisek, M., &#38; Rückert, U. (2003). Storage Management as Means to cope with Exponential Information Growth. In <i>Proceedings of SSGRR 2003</i>.","bibtex":"@inproceedings{Scheideler_Salzwedel_Meyer auf der Heide_Brinkmann_Vodisek_Rückert_2003, title={Storage Management as Means to cope with Exponential Information Growth}, booktitle={Proceedings of SSGRR 2003}, author={Scheideler, Christian and Salzwedel, Kay and Meyer auf der Heide, Friedhelm and Brinkmann, André and Vodisek, Mario and Rückert, Ulrich}, year={2003} }","short":"C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.","mla":"Scheideler, Christian, et al. “Storage Management as Means to Cope with Exponential Information Growth.” <i>Proceedings of SSGRR 2003</i>, 2003.","chicago":"Scheideler, Christian, Kay Salzwedel, Friedhelm Meyer auf der Heide, André Brinkmann, Mario Vodisek, and Ulrich Rückert. “Storage Management as Means to Cope with Exponential Information Growth.” In <i>Proceedings of SSGRR 2003</i>, 2003.","ieee":"C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, and U. Rückert, “Storage Management as Means to cope with Exponential Information Growth,” in <i>Proceedings of SSGRR 2003</i>, 2003.","ama":"Scheideler C, Salzwedel K, Meyer auf der Heide F, Brinkmann A, Vodisek M, Rückert U. Storage Management as Means to cope with Exponential Information Growth. In: <i>Proceedings of SSGRR 2003</i>. ; 2003."},"year":"2003","author":[{"full_name":"Scheideler, Christian","id":"20792","last_name":"Scheideler","first_name":"Christian"},{"first_name":"Kay","last_name":"Salzwedel","full_name":"Salzwedel, Kay"},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"full_name":"Brinkmann, André","last_name":"Brinkmann","first_name":"André"},{"last_name":"Vodisek","full_name":"Vodisek, Mario","first_name":"Mario"},{"full_name":"Rückert, Ulrich","last_name":"Rückert","first_name":"Ulrich"}],"date_created":"2020-09-30T12:04:14Z","date_updated":"2022-01-06T06:54:12Z","title":"Storage Management as Means to cope with Exponential Information Growth","publication":"Proceedings of SSGRR 2003","type":"conference","status":"public","file":[{"date_updated":"2020-09-30T12:03:57Z","creator":"koala","date_created":"2020-09-30T12:03:57Z","file_size":499057,"file_name":"pub-hni-908.pdf","access_level":"closed","file_id":"19793","content_type":"application/pdf","success":1,"relation":"main_file"}],"abstract":[{"lang":"eng","text":"The advances in Internet technology have led to tremendous improvements in business, education, and science and have changed the way we think, live, and communicate. Information exchange has become ubiquitous by the possibilities offered through modern technologies. We are able to offer information 24 hours a day through our web sites and can leave messages every time and from anywhere in the world. This change in communication has led to new challenges. Enterprises have to deal with an information amount that doubles every year. The technological foundation to cope with this information explosion is given by Storage Area Networks (SANs), which are able to connect a great number of storage systems over a fast interconnection network. However, to be able to use the benefits of a SAN, an easy-to-use and efficient management support has to be given to the storage administrator. In this paper, we will suggest new storage management concepts and we will introduce a new management environment that is able to significantly reduce management costs and increases the performance and resource utilization of the given SAN infrastructure."}],"department":[{"_id":"63"},{"_id":"58"},{"_id":"79"}],"user_id":"15415","_id":"19790","language":[{"iso":"eng"}],"file_date_updated":"2020-09-30T12:03:57Z","ddc":["000"]},{"publication_identifier":{"isbn":["0769519261"]},"publication_status":"published","year":"2003","citation":{"bibtex":"@inproceedings{Rührup_Schindelhauer_Volbert_Grünewald_2003, title={Performance of distributed algorithms for topology control in wireless networks}, DOI={<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>}, booktitle={Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)}, author={Rührup, Stefan and Schindelhauer, Christian  and Volbert, Klaus and Grünewald, M.}, year={2003} }","short":"S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.","mla":"Rührup, Stefan, et al. “Performance of Distributed Algorithms for Topology Control in Wireless Networks.” <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>, 2003, doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>.","apa":"Rührup, S., Schindelhauer, C., Volbert, K., &#38; Grünewald, M. (2003). Performance of distributed algorithms for topology control in wireless networks. <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>. <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">https://doi.org/10.1109/ipdps.2003.1213107</a>","ieee":"S. Rührup, C. Schindelhauer, K. Volbert, and M. Grünewald, “Performance of distributed algorithms for topology control in wireless networks,” 2003, doi: <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>.","chicago":"Rührup, Stefan, Christian  Schindelhauer, Klaus Volbert, and M. Grünewald. “Performance of Distributed Algorithms for Topology Control in Wireless Networks.” In <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>, 2003. <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">https://doi.org/10.1109/ipdps.2003.1213107</a>.","ama":"Rührup S, Schindelhauer C, Volbert K, Grünewald M. Performance of distributed algorithms for topology control in wireless networks. In: <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>. ; 2003. doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>"},"date_updated":"2022-01-06T06:54:13Z","date_created":"2020-09-30T12:51:22Z","author":[{"first_name":"Stefan","full_name":"Rührup, Stefan","last_name":"Rührup"},{"first_name":"Christian ","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian "},{"last_name":"Volbert","full_name":"Volbert, Klaus","first_name":"Klaus"},{"first_name":"M.","full_name":"Grünewald, M.","last_name":"Grünewald"}],"title":"Performance of distributed algorithms for topology control in wireless networks","doi":"10.1109/ipdps.2003.1213107","publication":"Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)","type":"conference","abstract":[{"lang":"eng","text":"We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoretically well-analyzed sparse graphs, i.e. the Yao-graph, the SparsY-graph, and the SymmY-graph.  We present distributed algorithms that can be used to build up these graphs in time $O(log n)$ per node without the use of any geo-graphical positioning system. Our algorithms are based only on local knowledge and local decisions and make use of power control to establish communication links with low energy-cost.  We compare these algorithms with respect to congestion, dilation, and energy. For congestion we introduce different measures that allow us to investigate the difference between real-world wireless networks and models for wireless communication at a high level of abstraction. For more realistic simulations we extend our simulation  environment SAHNE. We use a realistic transmission model for directed communication that uses sector subdivision.  Finally, our experimental results show that our topologies and algorithms work well in a distributed environment and we give some recommendations for the topology control based on our simulations."}],"status":"public","_id":"19806","department":[{"_id":"63"},{"_id":"58"}],"user_id":"15415","language":[{"iso":"eng"}]},{"_id":"19828","user_id":"15415","department":[{"_id":"63"}],"language":[{"iso":"eng"}],"type":"mastersthesis","status":"public","date_updated":"2022-01-06T06:54:13Z","author":[{"full_name":"Mahlmann, Peter","last_name":"Mahlmann","first_name":"Peter"}],"date_created":"2020-10-01T09:55:38Z","title":"Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web","year":"2003","citation":{"apa":"Mahlmann, P. (2003). <i>Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web</i>.","mla":"Mahlmann, Peter. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>. 2003.","bibtex":"@book{Mahlmann_2003, title={Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web}, author={Mahlmann, Peter}, year={2003} }","short":"P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.","ieee":"P. Mahlmann, <i>Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web</i>. 2003.","chicago":"Mahlmann, Peter. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>, 2003.","ama":"Mahlmann P. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>.; 2003."}},{"type":"conference","publication":"Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment","abstract":[{"lang":"eng","text":"Communication facilities are important in Robotics if several robots have to work together. In this paper, we describe problems and solutions encountered while designing an infrared-based communication device for the mini robot Khepera. In contrast to traditional omnidirectional systems, it features directed, power-variable transmission in eight directions at unit[23.4]kbps up to a range of unit[1m]. It can differentiate incoming data signals from interference from adjacent sectors and can estimate their direction-of-arrival. We model the transmission over the infrared channel and show how interference influences the reception of the data signals. We also describe methods how to reduce these effects. We have tested the performance of the resulted signal processing in a worst case scenario by simulations and in experiments with a prototype implementation. The resulted module is  especially suited for experimental evaluation of ad hoc network protocols and for position estimation."}],"status":"public","_id":"19833","user_id":"15415","department":[{"_id":"63"},{"_id":"58"}],"language":[{"iso":"eng"}],"year":"2003","citation":{"apa":"Volbert, K., Grünewald, M., Schindelhauer, C., &#38; Rückert, U. (2003). Directed power-variable infrared communication for the mini robot Khepera. In <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i> (pp. 113–122).","bibtex":"@inproceedings{Volbert_Grünewald_Schindelhauer_Rückert_2003, title={Directed power-variable infrared communication for the mini robot Khepera}, booktitle={Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment}, author={Volbert, Klaus and Grünewald, Matthias and Schindelhauer, Christian and Rückert, Ulrich}, year={2003}, pages={113–122} }","mla":"Volbert, Klaus, et al. “Directed Power-Variable Infrared Communication for the Mini Robot Khepera.” <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 2003, pp. 113–22.","short":"K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.","ama":"Volbert K, Grünewald M, Schindelhauer C, Rückert U. Directed power-variable infrared communication for the mini robot Khepera. In: <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>. ; 2003:113-122.","chicago":"Volbert, Klaus, Matthias Grünewald, Christian Schindelhauer, and Ulrich Rückert. “Directed Power-Variable Infrared Communication for the Mini Robot Khepera.” In <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 113–22, 2003.","ieee":"K. Volbert, M. Grünewald, C. Schindelhauer, and U. Rückert, “Directed power-variable infrared communication for the mini robot Khepera,” in <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 2003, pp. 113–122."},"page":"113-122","date_updated":"2022-01-06T06:54:13Z","author":[{"first_name":"Klaus","full_name":"Volbert, Klaus","last_name":"Volbert"},{"first_name":"Matthias","last_name":"Grünewald","full_name":"Grünewald, Matthias"},{"full_name":"Schindelhauer, Christian","last_name":"Schindelhauer","first_name":"Christian"},{"full_name":"Rückert, Ulrich","last_name":"Rückert","first_name":"Ulrich"}],"date_created":"2020-10-01T11:20:47Z","title":"Directed power-variable infrared communication for the mini robot Khepera"},{"type":"conference","publication":"Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)","status":"public","abstract":[{"lang":"eng","text":"We present a novel framework for hierarchical collision detection that can be applied to virtually all bounding volume (BV) hierarchies. It allows an application to trade quality for speed. Our algorithm yields an estimation of the quality, so that applications can specify the desired quality. In a timecritical system, applications can specify the maximum time budget instead, and quantitatively assess the quality of the results returned by the collision detection afterwards."}],"user_id":"15415","department":[{"_id":"63"}],"_id":"19874","language":[{"iso":"eng"}],"citation":{"mla":"Klein, Jan, and Gabriel Zachmann. “ADB-Trees: Controlling the Error of Time-Critical Collision Detection.” <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 2003, pp. 37–45.","bibtex":"@inproceedings{Klein_Zachmann_2003, title={ADB-Trees: Controlling the Error of Time-Critical Collision Detection}, booktitle={Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)}, author={Klein, Jan and Zachmann, Gabriel}, year={2003}, pages={37–45} }","short":"J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.","apa":"Klein, J., &#38; Zachmann, G. (2003). ADB-Trees: Controlling the Error of Time-Critical Collision Detection. In <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i> (pp. 37–45).","ama":"Klein J, Zachmann G. ADB-Trees: Controlling the Error of Time-Critical Collision Detection. In: <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>. ; 2003:37-45.","ieee":"J. Klein and G. Zachmann, “ADB-Trees: Controlling the Error of Time-Critical Collision Detection,” in <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 2003, pp. 37–45.","chicago":"Klein, Jan, and Gabriel Zachmann. “ADB-Trees: Controlling the Error of Time-Critical Collision Detection.” In <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 37–45, 2003."},"page":"37-45","year":"2003","author":[{"full_name":"Klein, Jan","last_name":"Klein","first_name":"Jan"},{"full_name":"Zachmann, Gabriel","last_name":"Zachmann","first_name":"Gabriel"}],"date_created":"2020-10-05T10:30:07Z","date_updated":"2022-01-06T06:54:14Z","title":"ADB-Trees: Controlling the Error of Time-Critical Collision Detection"},{"publication":" Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)","type":"conference","status":"public","department":[{"_id":"63"}],"user_id":"15415","_id":"19900","language":[{"iso":"eng"}],"page":"22-31","citation":{"apa":"Klein, J., &#38;  Zachmann, G. (2003). Time-Critical Collision Detection Using an Average-Case Approach. In <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i> (pp. 22–31). <a href=\"https://doi.org/10.1145/1008653.1008660\">https://doi.org/10.1145/1008653.1008660</a>","bibtex":"@inproceedings{Klein_ Zachmann_2003, title={Time-Critical Collision Detection Using an Average-Case Approach}, DOI={<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>}, booktitle={ Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)}, author={Klein, Jan and  Zachmann, Gabriel}, year={2003}, pages={22–31} }","short":"J. Klein, G.  Zachmann, in:  Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.","mla":"Klein, Jan, and Gabriel  Zachmann. “Time-Critical Collision Detection Using an Average-Case Approach.” <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 2003, pp. 22–31, doi:<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>.","ama":"Klein J,  Zachmann G. Time-Critical Collision Detection Using an Average-Case Approach. In: <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>. ; 2003:22-31. doi:<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>","chicago":"Klein, Jan, and Gabriel  Zachmann. “Time-Critical Collision Detection Using an Average-Case Approach.” In <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 22–31, 2003. <a href=\"https://doi.org/10.1145/1008653.1008660\">https://doi.org/10.1145/1008653.1008660</a>.","ieee":"J. Klein and G.  Zachmann, “Time-Critical Collision Detection Using an Average-Case Approach,” in <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 2003, pp. 22–31."},"year":"2003","author":[{"full_name":"Klein, Jan","last_name":"Klein","first_name":"Jan"},{"first_name":"Gabriel","full_name":" Zachmann, Gabriel","last_name":" Zachmann"}],"date_created":"2020-10-06T08:31:35Z","date_updated":"2022-01-06T06:54:14Z","doi":"10.1145/1008653.1008660","title":"Time-Critical Collision Detection Using an Average-Case Approach"},{"publication_status":"published","publication_identifier":{"issn":["0097-5397","1095-7111"]},"citation":{"ieee":"F. V. Fomin and D. M. Thilikos, “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up,” in <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003.","chicago":"Fomin, Fedor V., and Dimitrios M. Thilikos. “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up.” In <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003. <a href=\"https://doi.org/10.1137/s0097539702419649\">https://doi.org/10.1137/s0097539702419649</a>.","ama":"Fomin FV, Thilikos DM. Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up. In: <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>. ; 2003. doi:<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>","apa":"Fomin, F. V., &#38; Thilikos, D. M. (2003). Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up. In <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>. <a href=\"https://doi.org/10.1137/s0097539702419649\">https://doi.org/10.1137/s0097539702419649</a>","short":"F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.","bibtex":"@inproceedings{Fomin_Thilikos_2003, title={Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up}, DOI={<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>}, booktitle={Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)}, author={Fomin, Fedor V. and Thilikos, Dimitrios M.}, year={2003} }","mla":"Fomin, Fedor V., and Dimitrios M. Thilikos. “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up.” <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003, doi:<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>."},"year":"2003","author":[{"last_name":"Fomin","full_name":"Fomin, Fedor V.","first_name":"Fedor V."},{"first_name":"Dimitrios M.","last_name":"Thilikos","full_name":"Thilikos, Dimitrios M."}],"date_created":"2020-10-08T10:31:48Z","date_updated":"2022-01-06T06:54:16Z","doi":"10.1137/s0097539702419649","title":"Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up","type":"conference","publication":"Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)","status":"public","abstract":[{"text":"Graph minors theory, developed by Robertson & Seymour, provides a list of powerful theoretical results and tools. However, the wide spread opinion in Graph Algorithms community about this theory is that it is mainly of theoretical importance. The main purpose of this paper is to show how very deep min-max and duality theorems from Graph Minors can be used to obtain essential speed-up to many known algorithms on different domination problems.","lang":"eng"}],"user_id":"15415","department":[{"_id":"63"}],"_id":"19952","language":[{"iso":"eng"}]},{"user_id":"24135","department":[{"_id":"518"},{"_id":"78"}],"_id":"2418","keyword":["coprocessor","DIMM","memory bus","FPGA","high performance computing"],"type":"conference","publication":"Proc. Int. Conf. on Field Programmable Technology (ICFPT)","status":"public","abstract":[{"text":" This paper presents TKDM, a PC-based high-performance reconfigurable computing environment. The TKDM hardware consists of an FPGA module that uses the DIMM (dual inline memory module) bus for high-bandwidth and low-latency communication with the host CPU. The system's firmware is integrated with the Linux host operating system and offers functions for data communication and FPGA reconfiguration. The intended use of TKDM is that of a dynamically reconfigurable co-processor for data streaming applications. The system's firmware can be customized for specific application domains to facilitate simple and easy-to-use programming interfaces. ","lang":"eng"}],"date_created":"2018-04-17T15:03:34Z","author":[{"first_name":"Christian","full_name":"Plessl, Christian","id":"16153","orcid":"0000-0001-5728-9982","last_name":"Plessl"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:56:09Z","doi":"10.1109/FPT.2003.1275755","title":"TKDM – A Reconfigurable Co-processor in a PC's Memory Slot","citation":{"chicago":"Plessl, Christian, and Marco Platzner. “TKDM – A Reconfigurable Co-Processor in a PC’s Memory Slot.” In <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, 252–59. IEEE Computer Society, 2003. <a href=\"https://doi.org/10.1109/FPT.2003.1275755\">https://doi.org/10.1109/FPT.2003.1275755</a>.","ieee":"C. Plessl and M. Platzner, “TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot,” in <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, 2003, pp. 252–259.","ama":"Plessl C, Platzner M. TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot. In: <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>. IEEE Computer Society; 2003:252-259. doi:<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>","bibtex":"@inproceedings{Plessl_Platzner_2003, title={TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot}, DOI={<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>}, booktitle={Proc. Int. Conf. on Field Programmable Technology (ICFPT)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={252–259} }","mla":"Plessl, Christian, and Marco Platzner. “TKDM – A Reconfigurable Co-Processor in a PC’s Memory Slot.” <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, IEEE Computer Society, 2003, pp. 252–59, doi:<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>.","short":"C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.","apa":"Plessl, C., &#38; Platzner, M. (2003). TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot. In <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i> (pp. 252–259). IEEE Computer Society. <a href=\"https://doi.org/10.1109/FPT.2003.1275755\">https://doi.org/10.1109/FPT.2003.1275755</a>"},"page":"252-259","year":"2003"},{"status":"public","abstract":[{"lang":"eng","text":"Wearable computers are embedded into the mobile environment of their users. A design challenge for wearable systems is to combine the high performance required for tasks such as video decoding with the low energy consumption required to maximise battery runtimes and the flexibility demanded by the dynamics of the environment and the applications. In this paper, we demonstrate that reconfigurable hardware technology is able to answer this challenge. We present the concept and the prototype implementation of an autonomous wearable unit with reconfigurable modules (WURM). We discuss experiments that show the uses of reconfigurable hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we present an experiment with an operating system layer for WURM."}],"type":"journal_article","publication":"Personal and Ubiquitous Computing","language":[{"iso":"eng"}],"extern":"1","user_id":"398","department":[{"_id":"518"},{"_id":"78"}],"_id":"2419","citation":{"ama":"Plessl C, Enzler R, Walder H, et al. The Case for Reconfigurable Hardware in Wearable Computing. <i>Personal and Ubiquitous Computing</i>. 2003;7(5):299-308. doi:<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>","ieee":"C. Plessl <i>et al.</i>, “The Case for Reconfigurable Hardware in Wearable Computing,” <i>Personal and Ubiquitous Computing</i>, vol. 7, no. 5, pp. 299–308, 2003.","chicago":"Plessl, Christian, Rolf Enzler, Herbert Walder, Jan Beutel, Marco Platzner, Lothar Thiele, and Gerhard Tröster. “The Case for Reconfigurable Hardware in Wearable Computing.” <i>Personal and Ubiquitous Computing</i> 7, no. 5 (2003): 299–308. <a href=\"https://doi.org/10.1007/s00779-003-0243-x\">https://doi.org/10.1007/s00779-003-0243-x</a>.","short":"C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.","mla":"Plessl, Christian, et al. “The Case for Reconfigurable Hardware in Wearable Computing.” <i>Personal and Ubiquitous Computing</i>, vol. 7, no. 5, Springer, 2003, pp. 299–308, doi:<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>.","bibtex":"@article{Plessl_Enzler_Walder_Beutel_Platzner_Thiele_Tröster_2003, title={The Case for Reconfigurable Hardware in Wearable Computing}, volume={7}, DOI={<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>}, number={5}, journal={Personal and Ubiquitous Computing}, publisher={Springer}, author={Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel, Jan and Platzner, Marco and Thiele, Lothar and Tröster, Gerhard}, year={2003}, pages={299–308} }","apa":"Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., Thiele, L., &#38; Tröster, G. (2003). The Case for Reconfigurable Hardware in Wearable Computing. <i>Personal and Ubiquitous Computing</i>, <i>7</i>(5), 299–308. <a href=\"https://doi.org/10.1007/s00779-003-0243-x\">https://doi.org/10.1007/s00779-003-0243-x</a>"},"intvolume":"         7","page":"299-308","year":"2003","issue":"5","doi":"10.1007/s00779-003-0243-x","title":"The Case for Reconfigurable Hardware in Wearable Computing","date_created":"2018-04-17T15:04:47Z","author":[{"first_name":"Christian","id":"16153","full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl"},{"first_name":"Rolf","last_name":"Enzler","full_name":"Enzler, Rolf"},{"first_name":"Herbert","full_name":"Walder, Herbert","last_name":"Walder"},{"full_name":"Beutel, Jan","last_name":"Beutel","first_name":"Jan"},{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"},{"last_name":"Thiele","full_name":"Thiele, Lothar","first_name":"Lothar"},{"first_name":"Gerhard","last_name":"Tröster","full_name":"Tröster, Gerhard"}],"volume":7,"publisher":"Springer","date_updated":"2022-01-06T06:56:09Z"},{"extern":"1","department":[{"_id":"518"},{"_id":"78"}],"user_id":"398","_id":"2420","status":"public","type":"journal_article","doi":"10.1023/a:1024443416592","volume":26,"author":[{"first_name":"Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","full_name":"Plessl, Christian","id":"16153"},{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"}],"date_updated":"2022-01-06T06:56:10Z","intvolume":"        26","page":"109-129","citation":{"ama":"Plessl C, Platzner M. Instance-Specific Accelerators for Minimum Covering. <i>Journal of Supercomputing</i>. 2003;26(2):109-129. doi:<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>","chicago":"Plessl, Christian, and Marco Platzner. “Instance-Specific Accelerators for Minimum Covering.” <i>Journal of Supercomputing</i> 26, no. 2 (2003): 109–29. <a href=\"https://doi.org/10.1023/a:1024443416592\">https://doi.org/10.1023/a:1024443416592</a>.","ieee":"C. Plessl and M. Platzner, “Instance-Specific Accelerators for Minimum Covering,” <i>Journal of Supercomputing</i>, vol. 26, no. 2, pp. 109–129, 2003.","mla":"Plessl, Christian, and Marco Platzner. “Instance-Specific Accelerators for Minimum Covering.” <i>Journal of Supercomputing</i>, vol. 26, no. 2, Kluwer Academic Publishers, 2003, pp. 109–29, doi:<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>.","short":"C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.","bibtex":"@article{Plessl_Platzner_2003, title={Instance-Specific Accelerators for Minimum Covering}, volume={26}, DOI={<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>}, number={2}, journal={Journal of Supercomputing}, publisher={Kluwer Academic Publishers}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={109–129} }","apa":"Plessl, C., &#38; Platzner, M. (2003). Instance-Specific Accelerators for Minimum Covering. <i>Journal of Supercomputing</i>, <i>26</i>(2), 109–129. <a href=\"https://doi.org/10.1023/a:1024443416592\">https://doi.org/10.1023/a:1024443416592</a>"},"publication_identifier":{"issn":["0920-8542"]},"language":[{"iso":"eng"}],"keyword":["reconfigurable computing","instance-specific acceleration","minimum covering"],"abstract":[{"text":" This paper presents the acceleration of minimum-cost covering problems by instance-specific hardware. First, we formulate the minimum-cost covering problem and discuss a branch \\& bound algorithm to solve it. Then we describe instance-specific hardware architectures that implement branch \\& bound in 3-valued logic and use reduction techniques similar to those found in software solvers. We further present prototypical accelerator implementations and a corresponding design tool flow. Our experiments reveal significant raw speedups up to five orders of magnitude for a set of smaller unate covering problems. Provided that hardware compilation times can be reduced, we conclude that instance-specific acceleration of hard minimum-cost covering problems will lead to substantial overall speedups. ","lang":"eng"}],"publication":"Journal of Supercomputing","title":"Instance-Specific Accelerators for Minimum Covering","date_created":"2018-04-17T15:10:00Z","publisher":"Kluwer Academic Publishers","year":"2003","issue":"2"},{"date_updated":"2022-01-06T06:56:13Z","publisher":"Springer","volume":2778,"author":[{"last_name":"Enzler","full_name":"Enzler, Rolf","first_name":"Rolf"},{"full_name":"Plessl, Christian","id":"16153","orcid":"0000-0001-5728-9982","last_name":"Plessl","first_name":"Christian"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"date_created":"2018-04-17T15:11:25Z","title":"Virtualizing Hardware with Multi-Context Reconfigurable Arrays","doi":"10.1007/b12007","year":"2003","page":"151-160","intvolume":"      2778","citation":{"chicago":"Enzler, Rolf, Christian Plessl, and Marco Platzner. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2778:151–60. Lecture Notes in Computer Science (LNCS). Springer, 2003. <a href=\"https://doi.org/10.1007/b12007\">https://doi.org/10.1007/b12007</a>.","ieee":"R. Enzler, C. Plessl, and M. Platzner, “Virtualizing Hardware with Multi-Context Reconfigurable Arrays,” in <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2003, vol. 2778, pp. 151–160.","ama":"Enzler R, Plessl C, Platzner M. Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In: <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>. Vol 2778. Lecture Notes in Computer Science (LNCS). Springer; 2003:151-160. doi:<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>","apa":"Enzler, R., Plessl, C., &#38; Platzner, M. (2003). Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i> (Vol. 2778, pp. 151–160). Springer. <a href=\"https://doi.org/10.1007/b12007\">https://doi.org/10.1007/b12007</a>","bibtex":"@inproceedings{Enzler_Plessl_Platzner_2003, series={Lecture Notes in Computer Science (LNCS)}, title={Virtualizing Hardware with Multi-Context Reconfigurable Arrays}, volume={2778}, DOI={<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>}, booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={151–160}, collection={Lecture Notes in Computer Science (LNCS)} }","short":"R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.","mla":"Enzler, Rolf, et al. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, vol. 2778, Springer, 2003, pp. 151–60, doi:<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>."},"_id":"2421","department":[{"_id":"518"},{"_id":"78"}],"series_title":"Lecture Notes in Computer Science (LNCS)","user_id":"24135","keyword":["Zippy","multi-context","FPGA"],"publication":"Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)","type":"conference","abstract":[{"lang":"eng","text":"In contrast to processors, current reconfigurable devices totally lack programming models that would allow for device independent compilation and forward compatibility. The key to overcome this limitation is hardware virtualization. In this paper, we resort to a macro-pipelined execution model to achieve hardware virtualization for data streaming applications. As a hardware implementation we present a hybrid multi-context architecture that attaches a coarse-grained reconfigurable array to a host CPU. A co-simulation framework enables cycle-accurate simulation of the complete architecture. As a case study we map an FIR filter to our virtualized hardware model and evaluate different designs. We discuss the impact of the number of contexts and the feature of context state on the speedup and the CPU load."}],"status":"public"},{"date_created":"2018-04-17T15:12:56Z","author":[{"last_name":"Enzler","full_name":"Enzler, Rolf","first_name":"Rolf"},{"id":"16153","full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","first_name":"Christian"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"date_updated":"2022-01-06T06:56:13Z","publisher":"CSREA Press","title":"Co-simulation of a Hybrid Multi-Context Architecture","publication_identifier":{"isbn":["1-932415-05-X"]},"page":"174-180","citation":{"chicago":"Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 174–80. CSREA Press, 2003.","ieee":"R. Enzler, C. Plessl, and M. Platzner, “Co-simulation of a Hybrid Multi-Context Architecture,” in <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2003, pp. 174–180.","ama":"Enzler R, Plessl C, Platzner M. Co-simulation of a Hybrid Multi-Context Architecture. In: <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press; 2003:174-180.","apa":"Enzler, R., Plessl, C., &#38; Platzner, M. (2003). Co-simulation of a Hybrid Multi-Context Architecture. In <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i> (pp. 174–180). CSREA Press.","bibtex":"@inproceedings{Enzler_Plessl_Platzner_2003, title={Co-simulation of a Hybrid Multi-Context Architecture}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={174–180} }","mla":"Enzler, Rolf, et al. “Co-Simulation of a Hybrid Multi-Context Architecture.” <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, CSREA Press, 2003, pp. 174–80.","short":"R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180."},"year":"2003","department":[{"_id":"518"},{"_id":"78"}],"user_id":"24135","_id":"2422","keyword":["Zippy","co-simulation"],"publication":"Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Reconfigurable computing architectures aim to dynamically adapt their hardware to the application at hand. As research shows, the time it takes to reconfigure the hardware forms an overhead that can significantly impair the benefits of hardware customization. Multi-context devices are one promising approach to overcome the limitations posed by long reconfiguration times. In contrast to more traditional reconfigurable architectures, multi-context devices hold several configurations on-chip. On demand, the device can quickly switch to another context. In this paper we present a co-simulation environment to investigate design trade-offs for hybrid multi-context architectures. Our architectural model comprises a reconfigurable unit closely coupled to a CPU core. As a case study, we discuss the implementation of a FIR filter partitioned into several contexts. We outline the mapping process and present simulation results for single- and multi-context reconfigurable units coupled with both embedded and high-end CPUs."}]},{"title":"Verteiltes Rendern durch dynamische Bildaufteilung","author":[{"first_name":"Martina","full_name":"Terbahl, Martina","last_name":"Terbahl"},{"first_name":"Jens","full_name":"Krokowski, Jens","last_name":"Krokowski"}],"date_created":"2021-09-13T12:06:43Z","date_updated":"2022-01-06T06:56:13Z","citation":{"bibtex":"@inproceedings{Terbahl_Krokowski_2003, place={Bad Schussenried, Germany}, title={Verteiltes Rendern durch dynamische Bildaufteilung}, booktitle={Proceedings of 5. GI-Informatiktage 2003}, author={Terbahl, Martina and Krokowski, Jens}, year={2003} }","short":"M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.","mla":"Terbahl, Martina, and Jens Krokowski. “Verteiltes Rendern Durch Dynamische Bildaufteilung.” <i>Proceedings of 5. GI-Informatiktage 2003</i>, 2003.","apa":"Terbahl, M., &#38; Krokowski, J. (2003). Verteiltes Rendern durch dynamische Bildaufteilung. <i>Proceedings of 5. GI-Informatiktage 2003</i>.","chicago":"Terbahl, Martina, and Jens Krokowski. “Verteiltes Rendern Durch Dynamische Bildaufteilung.” In <i>Proceedings of 5. GI-Informatiktage 2003</i>. Bad Schussenried, Germany, 2003.","ieee":"M. Terbahl and J. Krokowski, “Verteiltes Rendern durch dynamische Bildaufteilung,” 2003.","ama":"Terbahl M, Krokowski J. Verteiltes Rendern durch dynamische Bildaufteilung. In: <i>Proceedings of 5. GI-Informatiktage 2003</i>. ; 2003."},"year":"2003","place":"Bad Schussenried, Germany","language":[{"iso":"eng"}],"department":[{"_id":"63"}],"user_id":"15415","_id":"24273","status":"public","publication":"Proceedings of 5. GI-Informatiktage 2003","type":"conference"},{"title":"Stability versus Speed in a Computable Algebraic Model","author":[{"first_name":"Martin","full_name":"Ziegler, Martin","last_name":"Ziegler"}],"date_created":"2021-10-15T11:00:14Z","date_updated":"2022-01-06T06:57:18Z","citation":{"mla":"Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 2003, pp. 47–64.","bibtex":"@inproceedings{Ziegler_2003, title={Stability versus Speed in a Computable Algebraic Model}, booktitle={Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA}, author={Ziegler, Martin}, year={2003}, pages={47–64} }","short":"M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.","apa":"Ziegler, M. (2003). Stability versus Speed in a Computable Algebraic Model. <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 47–64.","ama":"Ziegler M. Stability versus Speed in a Computable Algebraic Model. In: <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>. ; 2003:47-64.","chicago":"Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” In <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 47–64, 2003.","ieee":"M. Ziegler, “Stability versus Speed in a Computable Algebraic Model,” in <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 2003, pp. 47–64."},"page":"47-64","year":"2003","language":[{"iso":"eng"}],"user_id":"15415","department":[{"_id":"63"},{"_id":"26"}],"_id":"26263","status":"public","type":"conference","publication":"Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA"},{"year":"2003","page":"389-406","citation":{"chicago":"Ziegler, Martin. “Computable Operators on Regular Sets.” In <i>Computability and Complexity in Analysis</i>, 302-8/2003:389–406. Informatik Berichte, 2003.","ieee":"M. Ziegler, “Computable Operators on Regular Sets,” in <i>Computability and Complexity in Analysis</i>, 2003, vol. 302–8/2003, pp. 389–406.","ama":"Ziegler M. Computable Operators on Regular Sets. In: <i>Computability and Complexity in Analysis</i>. Vol 302-8/2003. Informatik Berichte. ; 2003:389-406.","bibtex":"@inproceedings{Ziegler_2003, series={Informatik Berichte}, title={Computable Operators on Regular Sets}, volume={302–8/2003}, booktitle={Computability and Complexity in Analysis}, author={Ziegler, Martin}, year={2003}, pages={389–406}, collection={Informatik Berichte} }","short":"M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.","mla":"Ziegler, Martin. “Computable Operators on Regular Sets.” <i>Computability and Complexity in Analysis</i>, vol. 302-8/2003, 2003, pp. 389–406.","apa":"Ziegler, M. (2003). Computable Operators on Regular Sets. <i>Computability and Complexity in Analysis</i>, <i>302-8/2003</i>, 389–406."},"date_updated":"2022-01-06T06:57:18Z","volume":"302-8/2003","author":[{"last_name":"Ziegler","full_name":"Ziegler, Martin","first_name":"Martin"}],"date_created":"2021-10-15T12:13:22Z","title":"Computable Operators on Regular Sets","publication":"Computability and Complexity in Analysis","type":"conference","status":"public","_id":"26277","department":[{"_id":"63"},{"_id":"26"}],"series_title":"Informatik Berichte","user_id":"15415","language":[{"iso":"eng"}]},{"publication":"Formal Methods in System Design","type":"journal_article","status":"public","_id":"3236","department":[{"_id":"77"}],"user_id":"29719","issue":"2","year":"2003","page":"143--170","citation":{"apa":"Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>, (2), 143--170. <a href=\"https://doi.org/10.1023/A:1024764232069\">https://doi.org/10.1023/A:1024764232069</a>","bibtex":"@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }","mla":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2, 2003, pp. 143--170, doi:<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>.","short":"H. Wehrheim, Formal Methods in System Design (2003) 143--170.","chicago":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2 (2003): 143--170. <a href=\"https://doi.org/10.1023/A:1024764232069\">https://doi.org/10.1023/A:1024764232069</a>.","ieee":"H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” <i>Formal Methods in System Design</i>, no. 2, pp. 143--170, 2003.","ama":"Wehrheim H. Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>. 2003;(2):143--170. doi:<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>"},"date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:49:57Z","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Behavioral Subtyping Relations for Active Objects","doi":"10.1023/A:1024764232069"},{"editor":[{"last_name":"S. de Boer","full_name":"S. de Boer, Frank","first_name":"Frank"},{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"first_name":"Susanne","last_name":"Graf","full_name":"Graf, Susanne"},{"first_name":"Willem","last_name":"P. de Roever","full_name":"P. de Roever, Willem"}],"status":"public","type":"conference","publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","_id":"3237","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"year":"2003","citation":{"chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>.","ieee":"H. Wehrheim, “Preserving Properties Under Change,” in <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, 2003, pp. 330--343.","ama":"Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2003:330--343. doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>","apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i> (pp. 330--343). <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Preserving Properties Under Change.” <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>.","short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343."},"page":"330--343","title":"Preserving Properties Under Change","doi":"10.1007/978-3-540-30101-1_16","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:51:09Z","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}]},{"department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3238","status":"public","editor":[{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"},{"full_name":"Nestmann, Uwe","last_name":"Nestmann","first_name":"Uwe"},{"last_name":"Stevens","full_name":"Stevens, Perdita","first_name":"Perdita"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","type":"conference","doi":"10.1007/978-3-540-39958-2_6","title":"Inheritance of Temporal Logic Properties","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T06:52:17Z","date_updated":"2022-01-06T06:59:06Z","page":"79--93","citation":{"mla":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 79--93, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>.","short":"H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 79--93). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>","ama":"Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:79--93. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>","chicago":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>.","ieee":"H. Wehrheim, “Inheritance of Temporal Logic Properties,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 79--93."},"year":"2003"},{"status":"public","editor":[{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"},{"first_name":"Uwe","last_name":"Nestmann","full_name":"Nestmann, Uwe"},{"first_name":"Perdita","last_name":"Stevens","full_name":"Stevens, Perdita"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","type":"conference","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3239","page":"229--243","citation":{"mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 229--243, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>.","short":"H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }","apa":"Rasch, H., &#38; Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 229--243). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 229--243.","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>.","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:229--243. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>"},"year":"2003","doi":"10.1007/978-3-540-39958-2_16","title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","author":[{"full_name":"Rasch, Holger","last_name":"Rasch","first_name":"Holger"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T06:53:24Z","date_updated":"2022-01-06T06:59:06Z"},{"citation":{"chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>.","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, 2003, pp. 127--147.","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:127--147. doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert et al., 2003, pp. 127--147, doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","apa":"Derrick, J., &#38; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &#38; M. A. Wald{\\’{e}}n (Eds.), <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i> (pp. 127--147). <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>"},"page":"127--147","year":"2003","doi":"10.1007/3-540-44880-2_10","title":"Using Coupled Simulations in Non-atomic Refinement","date_created":"2018-06-14T06:54:54Z","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:07Z","status":"public","editor":[{"first_name":"Didier","last_name":"Bert","full_name":"Bert, Didier"},{"first_name":"Jonathan","last_name":"P. Bowen","full_name":"P. Bowen, Jonathan"},{"full_name":"King, Steve","last_name":"King","first_name":"Steve"},{"first_name":"Marina","full_name":"A. Wald{\\'{e}}n, Marina","last_name":"A. Wald{\\'{e}}n"}],"type":"conference","publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"_id":"3240"}]