[{"user_id":"5786","department":[{"_id":"672"}],"_id":"39421","language":[{"iso":"eng"}],"keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"type":"conference","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","status":"public","abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL."}],"author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"},{"full_name":"Hoffmann, D. W.","last_name":"Hoffmann","first_name":"D. W."},{"full_name":"Gerlach, Joachim","last_name":"Gerlach","first_name":"Joachim"},{"last_name":"Kropf","full_name":"Kropf, Thomas","first_name":"Thomas"},{"last_name":"Rosenstiehl","full_name":"Rosenstiehl, W.","first_name":"W."}],"date_created":"2023-01-24T10:39:33Z","publisher":"IEEE","date_updated":"2023-01-24T10:39:38Z","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"doi":"10.1109/DATE.2001.915002","title":"The Simulation Semantics of SystemC","publication_identifier":{"isbn":["0-7695-0993-2"]},"citation":{"chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>"},"place":"Munich, Germany ","year":"2001"},{"date_updated":"2023-01-24T11:49:01Z","author":[{"first_name":"M.","last_name":"Dücker","full_name":"Dücker, M."},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"full_name":"Hunstock, R.","last_name":"Hunstock","first_name":"R."},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-24T11:48:57Z","title":"Visual-Textual Prototyping of 4D Scenes","doi":"10.1109/VL.1997.626601","conference":{"name":"1997 IEEE Symposium on Visual Languages"},"publication_identifier":{"isbn":["0-8186-8144-6"]},"place":"Capri, Italy","year":"1997","citation":{"apa":"Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &#38; Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. 1997 IEEE Symposium on Visual Languages. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>","short":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","mla":"Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","bibtex":"@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }","chicago":"Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>.","ieee":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","ama":"Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>"},"_id":"39505","user_id":"5786","department":[{"_id":"672"}],"keyword":["Prototypes","Layout","Animation","Command languages","Application software","Libraries","Virtual reality","Computer graphics","Hardware","Context modeling"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","abstract":[{"lang":"eng","text":"3D-graphics are becoming popular in a steadily increasing number of areas such as entertainment, scientific visualization, simulation, and virtual reality. Despite this rapid growth the generation of animated 3D scenes is by no means trivial. Since animated 3D objects evolve over time the authors denote these objects as 4D. The article presents a novel approach to the rapid prototyping of 4D models. They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL) for the specification of the dynamics in 4D scenes. AAL provides support for different levels of abstraction: primitives, structured objects, animated objects, and animated (autonomous) agents."}],"status":"public"},{"status":"public","abstract":[{"lang":"eng","text":"Investigates the integration of an interactive constraint solver into an existing 2D real-time animation environment in order to achieve a better observability, traceability and stability of the individual graphical objects. We present two approaches for assigning constraints to the objects. The first approach assigns constraints to the objects when they are created, keeping them stable during their entire life-time. The second approach dynamically changes constraints before the computation of each frame. The investigation is based on our practical experience with the complete visual programming language Pictorial Janus and the parallel constraint solver Parcon."}],"type":"conference","publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","language":[{"iso":"eng"}],"keyword":["Animation","Layout","Computer languages","Visualization","Observability","Stability","Runtime","Costs","Graphics","Hardware"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39521","citation":{"mla":"Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","bibtex":"@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }","short":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.","apa":"Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., &#38; Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>","ama":"Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>","ieee":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","chicago":"Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder CO, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>."},"year":"1996","place":"Boulder CO","publication_identifier":{"isbn":["0-8186-7508-X"]},"doi":"10.1109/VL.1996.545262","title":"Integrating a Constraint Solver into a Real-Time Animation Environment","date_created":"2023-01-24T11:56:25Z","author":[{"full_name":"Griebel, P.","last_name":"Griebel","first_name":"P."},{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."},{"first_name":"H.","full_name":"Uhr, H.","last_name":"Uhr"}],"date_updated":"2023-01-24T11:56:30Z"}]