---
_id: '16231'
author:
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
citation:
  ama: 'Hüllermeier E. Machinelles Lernen und Komplexität. In: Haslinger F, Weise
    P, eds. <i>Ökonomie Und Gesellschaft, Jahrbuch 17: Komplexität Und Lernen</i>.
    Metropolis; 2001:255-288.'
  apa: 'Hüllermeier, E. (2001). Machinelles Lernen und Komplexität. In F. Haslinger
    &#38; P. Weise (Eds.), <i>Ökonomie und Gesellschaft, Jahrbuch 17: Komplexität
    und Lernen</i> (pp. 255–288). Metropolis.'
  bibtex: '@inbook{Hüllermeier_2001, title={Machinelles Lernen und Komplexität}, booktitle={Ökonomie
    und Gesellschaft, Jahrbuch 17: Komplexität und Lernen}, publisher={Metropolis},
    author={Hüllermeier, Eyke}, editor={Haslinger, F. and Weise, P.Editors}, year={2001},
    pages={255–288} }'
  chicago: 'Hüllermeier, Eyke. “Machinelles Lernen Und Komplexität.” In <i>Ökonomie
    Und Gesellschaft, Jahrbuch 17: Komplexität Und Lernen</i>, edited by F. Haslinger
    and P. Weise, 255–88. Metropolis, 2001.'
  ieee: 'E. Hüllermeier, “Machinelles Lernen und Komplexität,” in <i>Ökonomie und
    Gesellschaft, Jahrbuch 17: Komplexität und Lernen</i>, F. Haslinger and P. Weise,
    Eds. Metropolis, 2001, pp. 255–288.'
  mla: 'Hüllermeier, Eyke. “Machinelles Lernen Und Komplexität.” <i>Ökonomie Und Gesellschaft,
    Jahrbuch 17: Komplexität Und Lernen</i>, edited by F. Haslinger and P. Weise,
    Metropolis, 2001, pp. 255–88.'
  short: 'E. Hüllermeier, in: F. Haslinger, P. Weise (Eds.), Ökonomie Und Gesellschaft,
    Jahrbuch 17: Komplexität Und Lernen, Metropolis, 2001, pp. 255–288.'
date_created: 2020-03-03T16:41:06Z
date_updated: 2022-01-06T06:52:46Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: F.
  full_name: Haslinger, F.
  last_name: Haslinger
- first_name: P.
  full_name: Weise, P.
  last_name: Weise
language:
- iso: eng
page: 255-288
publication: 'Ökonomie und Gesellschaft, Jahrbuch 17: Komplexität und Lernen'
publisher: Metropolis
status: public
title: Machinelles Lernen und Komplexität
type: book_chapter
user_id: '49109'
year: '2001'
...
---
_id: '16233'
author:
- first_name: M.
  full_name: Kraft, M.
  last_name: Kraft
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
- first_name: P.
  full_name: Weise, P.
  last_name: Weise
citation:
  ama: 'Kraft M, Hüllermeier E, Weise P. Empirische  Überprüfung eines synergetischen
    Konjunkturmodells. In: Lorenz H-W, Meyer B, eds. <i>Studien Zur Evoltorischen
    Ökonomik IV</i>. Duncker &#38; Humblot, Berlin; 2001:11-44.'
  apa: Kraft, M., Hüllermeier, E., &#38; Weise, P. (2001). Empirische  Überprüfung
    eines synergetischen Konjunkturmodells. In H.-W. Lorenz &#38; B. Meyer (Eds.),
    <i>Studien zur Evoltorischen Ökonomik IV</i> (pp. 11–44). Duncker &#38; Humblot,
    Berlin.
  bibtex: '@inbook{Kraft_Hüllermeier_Weise_2001, title={Empirische  Überprüfung eines
    synergetischen Konjunkturmodells}, booktitle={Studien zur Evoltorischen Ökonomik
    IV}, publisher={Duncker &#38; Humblot, Berlin}, author={Kraft, M. and Hüllermeier,
    Eyke and Weise, P.}, editor={Lorenz, H.-W. and Meyer, B.Editors}, year={2001},
    pages={11–44} }'
  chicago: Kraft, M., Eyke Hüllermeier, and P. Weise. “Empirische  Überprüfung Eines
    Synergetischen Konjunkturmodells.” In <i>Studien Zur Evoltorischen Ökonomik IV</i>,
    edited by H.-W. Lorenz and B. Meyer, 11–44. Duncker &#38; Humblot, Berlin, 2001.
  ieee: M. Kraft, E. Hüllermeier, and P. Weise, “Empirische  Überprüfung eines synergetischen
    Konjunkturmodells,” in <i>Studien zur Evoltorischen Ökonomik IV</i>, H.-W. Lorenz
    and B. Meyer, Eds. Duncker &#38; Humblot, Berlin, 2001, pp. 11–44.
  mla: Kraft, M., et al. “Empirische  Überprüfung Eines Synergetischen Konjunkturmodells.”
    <i>Studien Zur Evoltorischen Ökonomik IV</i>, edited by H.-W. Lorenz and B. Meyer,
    Duncker &#38; Humblot, Berlin, 2001, pp. 11–44.
  short: 'M. Kraft, E. Hüllermeier, P. Weise, in: H.-W. Lorenz, B. Meyer (Eds.), Studien
    Zur Evoltorischen Ökonomik IV, Duncker &#38; Humblot, Berlin, 2001, pp. 11–44.'
date_created: 2020-03-03T17:09:46Z
date_updated: 2022-01-06T06:52:46Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: H.-W.
  full_name: Lorenz, H.-W.
  last_name: Lorenz
- first_name: B.
  full_name: Meyer, B.
  last_name: Meyer
language:
- iso: eng
page: 11-44
publication: Studien zur Evoltorischen Ökonomik IV
publisher: Duncker & Humblot, Berlin
status: public
title: Empirische  Überprüfung eines synergetischen Konjunkturmodells
type: book_chapter
user_id: '49109'
year: '2001'
...
---
_id: '13463'
author:
- first_name: Rolf
  full_name: Enzler, Rolf
  last_name: Enzler
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Enzler R, Platzner M. <i>Dynamically Reconfigurable Processors</i>. TELEMATIK,
    Zeitschrift des Telematik-Ingebieur-Verbandes 7(1); 2001.
  apa: Enzler, R., &#38; Platzner, M. (2001). <i>Dynamically Reconfigurable Processors</i>.
    TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1).
  bibtex: '@book{Enzler_Platzner_2001, title={Dynamically Reconfigurable Processors},
    publisher={TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1)}, author={Enzler,
    Rolf and Platzner, Marco}, year={2001} }'
  chicago: Enzler, Rolf, and Marco Platzner. <i>Dynamically Reconfigurable Processors</i>.
    TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1), 2001.
  ieee: R. Enzler and M. Platzner, <i>Dynamically Reconfigurable Processors</i>. TELEMATIK,
    Zeitschrift des Telematik-Ingebieur-Verbandes 7(1), 2001.
  mla: Enzler, Rolf, and Marco Platzner. <i>Dynamically Reconfigurable Processors</i>.
    TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1), 2001.
  short: R. Enzler, M. Platzner, Dynamically Reconfigurable Processors, TELEMATIK,
    Zeitschrift des Telematik-Ingebieur-Verbandes 7(1), 2001.
date_created: 2019-09-30T09:27:00Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publisher: TELEMATIK, Zeitschrift des Telematik-Ingebieur-Verbandes 7(1)
status: public
title: Dynamically Reconfigurable Processors
type: misc
user_id: '398'
year: '2001'
...
---
_id: '1016'
author:
- first_name: Thu Ngo
  full_name: Quynh, Thu Ngo
  last_name: Quynh
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Adam
  full_name: Wolisz, Adam
  last_name: Wolisz
- first_name: Klaus
  full_name: Rebensburg, Klaus
  last_name: Rebensburg
citation:
  ama: 'Quynh TN, Karl H, Wolisz A, Rebensburg K. The influence of proportional jitter
    and delay on end to end delay in differentiated service network. In: <i>Network
    Computing and Applications, 2001. NCA 2001. IEEE International Symposium On</i>.
    ; 2001:354--357.'
  apa: Quynh, T. N., Karl, H., Wolisz, A., &#38; Rebensburg, K. (2001). The influence
    of proportional jitter and delay on end to end delay in differentiated service
    network. In <i>Network Computing and Applications, 2001. NCA 2001. IEEE International
    Symposium on</i> (pp. 354--357).
  bibtex: '@inproceedings{Quynh_Karl_Wolisz_Rebensburg_2001, title={The influence
    of proportional jitter and delay on end to end delay in differentiated service
    network}, booktitle={Network Computing and Applications, 2001. NCA 2001. IEEE
    International Symposium on}, author={Quynh, Thu Ngo and Karl, Holger and Wolisz,
    Adam and Rebensburg, Klaus}, year={2001}, pages={354--357} }'
  chicago: Quynh, Thu Ngo, Holger Karl, Adam Wolisz, and Klaus Rebensburg. “The Influence
    of Proportional Jitter and Delay on End to End Delay in Differentiated Service
    Network.” In <i>Network Computing and Applications, 2001. NCA 2001. IEEE International
    Symposium On</i>, 354--357, 2001.
  ieee: T. N. Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “The influence of proportional
    jitter and delay on end to end delay in differentiated service network,” in <i>Network
    Computing and Applications, 2001. NCA 2001. IEEE International Symposium on</i>,
    2001, pp. 354--357.
  mla: Quynh, Thu Ngo, et al. “The Influence of Proportional Jitter and Delay on End
    to End Delay in Differentiated Service Network.” <i>Network Computing and Applications,
    2001. NCA 2001. IEEE International Symposium On</i>, 2001, pp. 354--357.
  short: 'T.N. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Network Computing and
    Applications, 2001. NCA 2001. IEEE International Symposium On, 2001, pp. 354--357.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '75'
page: 354--357
publication: Network Computing and Applications, 2001. NCA 2001. IEEE International
  Symposium on
status: public
title: The influence of proportional jitter and delay on end to end delay in differentiated
  service network
type: conference
user_id: '15572'
year: '2001'
...
---
_id: '47701'
author:
- first_name: Volker
  full_name: Krummel, Volker
  last_name: Krummel
citation:
  ama: Krummel V. <i>Sicherheit Und Anwendungen Des Advanced Encryption Standard (AES)
    Rijndael</i>.; 2001.
  apa: Krummel, V. (2001). <i>Sicherheit und Anwendungen des Advanced Encryption Standard
    (AES) Rijndael</i>.
  bibtex: '@book{Krummel_2001, title={Sicherheit und Anwendungen des Advanced Encryption
    Standard (AES) Rijndael}, author={Krummel, Volker}, year={2001} }'
  chicago: Krummel, Volker. <i>Sicherheit Und Anwendungen Des Advanced Encryption
    Standard (AES) Rijndael</i>, 2001.
  ieee: V. Krummel, <i>Sicherheit und Anwendungen des Advanced Encryption Standard
    (AES) Rijndael</i>. 2001.
  mla: Krummel, Volker. <i>Sicherheit Und Anwendungen Des Advanced Encryption Standard
    (AES) Rijndael</i>. 2001.
  short: V. Krummel, Sicherheit Und Anwendungen Des Advanced Encryption Standard (AES)
    Rijndael, 2001.
date_created: 2023-10-05T16:41:47Z
date_updated: 2023-10-05T16:54:52Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
  content_type: application/postscript
  creator: bhenrik
  date_created: 2023-10-05T16:41:41Z
  date_updated: 2023-10-05T16:54:52Z
  file_id: '47729'
  file_name: 2001_Krummel_AES.ps
  file_size: 1580787
  relation: main_file
file_date_updated: 2023-10-05T16:54:52Z
has_accepted_license: '1'
keyword:
- Diplomarbeit
language:
- iso: eng
oa: '1'
status: public
title: Sicherheit und Anwendungen des Advanced Encryption Standard (AES) Rijndael
type: misc
user_id: '41047'
year: '2001'
...
---
_id: '47702'
author:
- first_name: Martin
  full_name: Otto, Martin
  last_name: Otto
citation:
  ama: Otto M. <i>Brauer Addition-Subtraction Chains</i>.; 2001.
  apa: Otto, M. (2001). <i>Brauer Addition-Subtraction Chains</i>.
  bibtex: '@book{Otto_2001, title={Brauer Addition-Subtraction Chains}, author={Otto,
    Martin}, year={2001} }'
  chicago: Otto, Martin. <i>Brauer Addition-Subtraction Chains</i>, 2001.
  ieee: M. Otto, <i>Brauer Addition-Subtraction Chains</i>. 2001.
  mla: Otto, Martin. <i>Brauer Addition-Subtraction Chains</i>. 2001.
  short: M. Otto, Brauer Addition-Subtraction Chains, 2001.
date_created: 2023-10-05T16:42:24Z
date_updated: 2023-10-05T16:54:58Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
  content_type: application/postscript
  creator: bhenrik
  date_created: 2023-10-05T16:42:18Z
  date_updated: 2023-10-05T16:54:58Z
  file_id: '47730'
  file_name: 2001_Otto_BrauerAddition-SubtractionChains_Diplom.ps
  file_size: 2275300
  relation: main_file
file_date_updated: 2023-10-05T16:54:58Z
has_accepted_license: '1'
keyword:
- Diplomarbeit
language:
- iso: eng
oa: '1'
status: public
title: Brauer Addition-Subtraction Chains
type: misc
user_id: '41047'
year: '2001'
...
---
_id: '39411'
abstract:
- lang: eng
  text: Rapid prototyping based on 3D models is well accepted for several applications.
    This article addresses the application of animated virtual 3D prototypes for the
    development of computer-based systems supporting early collaboration of the system
    designer with the external customer. Our methodology seamlessly integrates illustration
    through 3D animation with the main tasks of computer-based real-time systems development,
    i.e., implementation and verification. The approach is outlined by the example
    of the design of a flexible manufacturing system.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
    Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>'
  apa: 'Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented
    Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>.
    Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>'
  bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
    }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a
    href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>},
    booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
    and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
    Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>.
    Cambridge, MA, USA , 2001. <a href="https://doi.org/10.1109/ENABL.2001.953425">https://doi.org/10.1109/ENABL.2001.953425</a>.
  ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
    through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
    Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
    2001, doi: <a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.'
  mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
    <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href="https://doi.org/10.1109/ENABL.2001.953425">10.1109/ENABL.2001.953425</a>.
  short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
    Cambridge, MA, USA , 2001.'
conference:
  name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
  isbn:
  - 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39407'
abstract:
- lang: eng
  text: "This article presents challenges, visions, and solutions for a true Pan-\r\nEuropean
    collaborative engineering infrastructure that is a target of the IST project\r\nE-COLLEG.
    The consortium aims at the definition of a transparent infrastructure\r\nthat
    will enable engineers from various domains to collaborate during the design of\r\ncomplex
    heterogeneous systems. In this context, we introduce an advanced\r\ncollaborative
    infrastructure (ACI). ACI covers dynamic Tool Registration and\r\nManagement Services
    (TRMS) for distance-spanning, tool integration and\r\nadministration, as well
    as open interfaces for XML-based data exchange. TRMS\r\nwill constitute a backbone
    for E-COLLEG-related pan-European collaborative\r\nresearch and engineering studies
    by fostering a combination of most recent Plug-\r\nand-Play techniques employing
    agent-based communication based on XML-\r\noriented integration technologies.
    This new enabling technology for collaborative\r\nengineering is validated in
    two application scenarios."
author:
- first_name: M.
  full_name: Bauer, M.
  last_name: Bauer
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: A.
  full_name: Pawlak, A.
  last_name: Pawlak
- first_name: K.
  full_name: Siekierska, K.
  last_name: Siekierska
- first_name: D.
  full_name: Soderberg, D.
  last_name: Soderberg
- first_name: X.
  full_name: Warzee, X.
  last_name: Warzee
citation:
  ama: Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European
    Collaborative Engineering. Published online 2001.
  apa: Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg,
    D., &#38; Warzee, X. (2001). <i>Advanced Infrastructure for PAN-European Collaborative
    Engineering</i>.
  bibtex: '@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001,
    place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition},
    title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer,
    M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska,
    K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business
    and e-Work Conference and Exhibition} }'
  chicago: Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska,
    D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative
    Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy,
    2001.
  ieee: M. Bauer <i>et al.</i>, “Advanced Infrastructure for PAN-European Collaborative
    Engineering.” Venice, Italy, 2001.
  mla: Bauer, M., et al. <i>Advanced Infrastructure for PAN-European Collaborative
    Engineering</i>. 2001.
  short: M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg,
    X. Warzee, (2001).
date_created: 2023-01-24T10:27:55Z
date_updated: 2023-01-24T10:28:01Z
department:
- _id: '672'
language:
- iso: eng
place: Venice, Italy
series_title: The e-Business and e-Work Conference and Exhibition
status: public
title: Advanced Infrastructure for PAN-European Collaborative Engineering
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39421'
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
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: D. W.
  full_name: Hoffmann, D. W.
  last_name: Hoffmann
- first_name: Joachim
  full_name: Gerlach, Joachim
  last_name: Gerlach
- first_name: Thomas
  full_name: Kropf, Thomas
  last_name: Kropf
- first_name: W.
  full_name: Rosenstiehl, W.
  last_name: Rosenstiehl
citation:
  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>'
  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>
  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} }'
  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>.'
  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.'
conference:
  name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
    2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
  isbn:
  - 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39427'
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: U.
  full_name: Pape, U.
  last_name: Pape
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis
    of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.'
  apa: Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking
    for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>.
  bibtex: '@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time
    Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings
    of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf,
    Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model
    Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings
    of ISI 2001</i>. Dubai, 2001.
  ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the
    Analysis of flexible Manufacturing Systems,” 2001.
  mla: Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible
    Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai,
    2001.'
date_created: 2023-01-24T10:43:11Z
date_updated: 2023-01-24T10:43:21Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39432'
abstract:
- lang: eng
  text: This article presents SAL, a general purpose scripting language for the rapid
    development of distributed software agents seamlessly embedded in a visual environment.
    Integrated facilities for dynamic visualization provide sample but powerful means
    for debugging and domain-oriented animation. SAL agents are arranged on a set
    of 2D worksheets which can be distributed over different machines. An agent's
    program is defined by the means of a table specifying a set of state transition
    rules with a condition and a sequence of actions each. Beyond basic computation
    and communication, actions can dynamically modify the agent's depiction, its program,
    and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability
    in various domains like electronic systems design and process management.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: A.
  full_name: Meyer, A.
  last_name: Meyer
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
citation:
  ama: 'Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile
    Evolving Agents. In: <i>Proceedings of the 34th Annual Hawaii International Conference
    on System Sciences</i>. ; 2001. doi:<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>'
  apa: Müller, W., Meyer, A., &#38; Zabel, H. (2001). A Language for the Rapid Prototyping
    of Mobile Evolving Agents. <i>Proceedings of the 34th Annual Hawaii International
    Conference on System Sciences</i>. <a href="https://doi.org/10.1109/HICSS.2001.926319">https://doi.org/10.1109/HICSS.2001.926319</a>
  bibtex: '@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A
    Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>},
    booktitle={Proceedings of the 34th Annual Hawaii International Conference on System
    Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001}
    }'
  chicago: Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid
    Prototyping of Mobile Evolving Agents.” In <i>Proceedings of the 34th Annual Hawaii
    International Conference on System Sciences</i>. Maui, HI, USA , 2001. <a href="https://doi.org/10.1109/HICSS.2001.926319">https://doi.org/10.1109/HICSS.2001.926319</a>.
  ieee: 'W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping
    of Mobile Evolving Agents,” 2001, doi: <a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>.'
  mla: Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving
    Agents.” <i>Proceedings of the 34th Annual Hawaii International Conference on
    System Sciences</i>, 2001, doi:<a href="https://doi.org/10.1109/HICSS.2001.926319">10.1109/HICSS.2001.926319</a>.
  short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii
    International Conference on System Sciences, Maui, HI, USA , 2001.'
date_created: 2023-01-24T10:48:09Z
date_updated: 2023-01-24T10:48:14Z
department:
- _id: '672'
doi: 10.1109/HICSS.2001.926319
keyword:
- software prototyping
- distributed programming
- authoring languages
- software agents
- program visualisation
- parallel languages
language:
- iso: eng
place: 'Maui, HI, USA '
publication: Proceedings of the 34th Annual Hawaii International Conference on System
  Sciences
publication_identifier:
  isbn:
  - 0-7695-0981-9
status: public
title: A Language for the Rapid Prototyping of Mobile Evolving Agents
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39431'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Tellmann, Rainer
  last_name: Tellmann
citation:
  ama: 'Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems.
    In: <i>Proceedings of SCASE 01</i>. ; 2001.'
  apa: Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for
    Agent-Based Systems. <i>Proceedings of SCASE 01</i>.
  bibtex: '@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands},
    title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE
    01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001}
    }'
  chicago: Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts
    for Agent-Based Systems.” In <i>Proceedings of SCASE 01</i>. Enschede, Netherlands,
    2001.
  ieee: G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based
    Systems,” 2001.
  mla: Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings
    of SCASE 01</i>, 2001.
  short: 'G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede,
    Netherlands, 2001.'
date_created: 2023-01-24T10:45:49Z
date_updated: 2023-01-24T10:45:54Z
department:
- _id: '672'
language:
- iso: eng
place: Enschede, Netherlands
publication: Proceedings of SCASE 01
status: public
title: Security Concepts for Agent-Based Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39406'
abstract:
- lang: eng
  text: "Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei
    der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme
    zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften,
    die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL
    auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur
    Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl
    OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden
    sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere
    objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand
    einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT,
    einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von
    Produktionsabl ̈aufen eingesetzt wird."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine
    MFERT-basierte Fallstudie. Published online 2001.
  apa: Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften
    mit OCL für eine MFERT-basierte Fallstudie</i>.
  bibtex: '@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen
    in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften
    mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller,
    Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen
    Anwendungen} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften
    Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen
    in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.'
  ieee: S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für
    eine MFERT-basierte Fallstudie.” Berlin, 2001.
  mla: Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften
    Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.
  short: S. Flake, W. Müller, (2001).
date_created: 2023-01-24T10:24:09Z
date_updated: 2023-01-24T10:24:15Z
department:
- _id: '672'
language:
- iso: eng
place: Berlin
series_title: 'Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen'
status: public
title: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39425'
abstract:
- lang: eng
  text: This paper introduces the VIVID (Visual Interactive VIew Development) framework
    for generation and customization of advanced visual interactive environments for
    resource manipulation in databases. The framework covers the definition of symbols,
    their mapping to database objects, specification of spatial relationships among
    them, layout assignment as well as the definition of drag&drop-based user interactions.
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource
    Management. In: <i>Proceedings of ISI 2001</i>. ; 2001.'
  apa: Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces
    for Resource Management. <i>Proceedings of ISI 2001</i>.
  bibtex: '@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of
    Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings
    of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }'
  chicago: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual
    Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai,
    2001.
  ieee: A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for
    Resource Management,” 2001.
  mla: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces
    for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.'
date_created: 2023-01-24T10:41:05Z
date_updated: 2023-01-24T10:41:09Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Generation of Interactive Visual Interfaces for Resource Management
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '19620'
author:
- first_name: Ingo
  full_name: Rieping, Ingo
  last_name: Rieping
citation:
  ama: Rieping I. <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>.
    Vol 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
  apa: Rieping, I. (2000). <i>Communication in Parallel Systems-Models, Algorithms
    and Implementations</i> (Vol. 81). Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn.
  bibtex: '@book{Rieping_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations},
    volume={81}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
    author={Rieping, Ingo}, year={2000}, collection={Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn} }'
  chicago: Rieping, Ingo. <i>Communication in Parallel Systems-Models, Algorithms
    and Implementations</i>. Vol. 81. Verlagsschriftenreihe Des Heinz Nixdorf Instituts,
    Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
  ieee: I. Rieping, <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>,
    vol. 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
  mla: Rieping, Ingo. <i>Communication in Parallel Systems-Models, Algorithms and
    Implementations</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2000.
  short: I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations,
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
date_created: 2020-09-22T10:06:31Z
date_updated: 2022-01-06T06:54:08Z
department:
- _id: '63'
- _id: '26'
intvolume: '        81'
language:
- iso: eng
publication_identifier:
  isbn:
  - 3-931466-80-9
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
title: Communication in Parallel Systems-Models, Algorithms and Implementations
type: dissertation
user_id: '5786'
volume: 81
year: '2000'
...
---
_id: '19621'
author:
- first_name: Matthias
  full_name: Westermann, Matthias
  last_name: Westermann
citation:
  ama: 'Westermann M. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity
    Constraints</i>. Vol 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn;
    2000.'
  apa: 'Westermann, M. (2000). <i>Caching in Networks: Non-Uniform Algorithms and
    Memory Capacity Constraints</i> (Vol. 90). Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn.'
  bibtex: '@book{Westermann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and
    Memory Capacity Constraints}, volume={90}, publisher={Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn}, author={Westermann, Matthias}, year={2000},
    collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }'
  chicago: 'Westermann, Matthias. <i>Caching in Networks: Non-Uniform Algorithms and
    Memory Capacity Constraints</i>. Vol. 90. Verlagsschriftenreihe Des Heinz Nixdorf
    Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2000.'
  ieee: 'M. Westermann, <i>Caching in Networks: Non-Uniform Algorithms and Memory
    Capacity Constraints</i>, vol. 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, 2000.'
  mla: 'Westermann, Matthias. <i>Caching in Networks: Non-Uniform Algorithms and Memory
    Capacity Constraints</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2000.'
  short: 'M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity
    Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.'
date_created: 2020-09-22T10:16:35Z
date_updated: 2022-01-06T06:54:08Z
department:
- _id: '63'
- _id: '26'
intvolume: '        90'
language:
- iso: eng
publication_identifier:
  isbn:
  - 3-931466-89-2
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
related_material:
  link:
  - relation: confirmation
    url: https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20000101283
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
title: 'Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints'
type: dissertation
user_id: '5786'
volume: 90
year: '2000'
...
---
_id: '19733'
author:
- first_name: Olaf
  full_name: Bonorden, Olaf
  last_name: Bonorden
- first_name: Ingo
  full_name: Rieping, Ingo
  last_name: Rieping
- first_name: Ingo
  full_name: von Otte, Ingo
  last_name: von Otte
- first_name: Bernhardus
  full_name: Juurlink, Bernhardus
  last_name: Juurlink
citation:
  ama: Bonorden O, Rieping I, von Otte I, Juurlink B. <i>PUB-Library, Release 7.0,
    User Guide and Function Reference</i>.; 2000.
  apa: Bonorden, O., Rieping, I., von Otte, I., &#38; Juurlink, B. (2000). <i>PUB-Library,
    Release 7.0, User Guide and Function Reference</i>.
  bibtex: '@book{Bonorden_Rieping_von Otte_Juurlink_2000, title={PUB-Library, Release
    7.0, User Guide and Function Reference}, author={Bonorden, Olaf and Rieping, Ingo
    and von Otte, Ingo and Juurlink, Bernhardus}, year={2000} }'
  chicago: Bonorden, Olaf, Ingo Rieping, Ingo von Otte, and Bernhardus Juurlink. <i>PUB-Library,
    Release 7.0, User Guide and Function Reference</i>, 2000.
  ieee: O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, <i>PUB-Library, Release
    7.0, User Guide and Function Reference</i>. 2000.
  mla: Bonorden, Olaf, et al. <i>PUB-Library, Release 7.0, User Guide and Function
    Reference</i>. 2000.
  short: O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0,
    User Guide and Function Reference, 2000.
date_created: 2020-09-28T12:20:20Z
date_updated: 2022-01-06T06:54:10Z
ddc:
- '000'
department:
- _id: '63'
file:
- access_level: closed
  content_type: application/pdf
  creator: koala
  date_created: 2020-09-28T12:20:10Z
  date_updated: 2020-09-28T12:20:10Z
  file_id: '19734'
  file_name: pub-hni-1656.pdf
  file_size: 271118
  relation: main_file
  success: 1
file_date_updated: 2020-09-28T12:20:10Z
has_accepted_license: '1'
language:
- iso: eng
status: public
title: PUB-Library, Release 7.0, User Guide and Function Reference
type: report
user_id: '15415'
year: '2000'
...
---
_id: '19849'
author:
- first_name: M.
  full_name: Bednara, M.
  last_name: Bednara
- first_name: O.
  full_name: Beyer, O.
  last_name: Beyer
- first_name: J.
  full_name: Teich, J.
  last_name: Teich
- first_name: Rolf
  full_name: Wanka, Rolf
  last_name: Wanka
citation:
  ama: 'Bednara M, Beyer O, Teich J, Wanka R. Tradeoff analysis and architecture design
    of a hybrid hardware/software sorter. In: <i>Proc. Int. Conf. on Application Specific
    Systems, Architectures, and Processors (ASAP)</i>. ; 2000:299-308. doi:<a href="https://doi.org/10.1109/asap.2000.862400">10.1109/asap.2000.862400</a>'
  apa: Bednara, M., Beyer, O., Teich, J., &#38; Wanka, R. (2000). Tradeoff analysis
    and architecture design of a hybrid hardware/software sorter. <i>Proc. Int. Conf.
    on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 299–308.
    <a href="https://doi.org/10.1109/asap.2000.862400">https://doi.org/10.1109/asap.2000.862400</a>
  bibtex: '@inproceedings{Bednara_Beyer_Teich_Wanka_2000, title={Tradeoff analysis
    and architecture design of a hybrid hardware/software sorter}, DOI={<a href="https://doi.org/10.1109/asap.2000.862400">10.1109/asap.2000.862400</a>},
    booktitle={Proc. Int. Conf. on Application Specific Systems, Architectures, and
    Processors (ASAP)}, author={Bednara, M. and Beyer, O. and Teich, J. and Wanka,
    Rolf}, year={2000}, pages={299–308} }'
  chicago: Bednara, M., O. Beyer, J. Teich, and Rolf Wanka. “Tradeoff Analysis and
    Architecture Design of a Hybrid Hardware/Software Sorter.” In <i>Proc. Int. Conf.
    on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 299–308,
    2000. <a href="https://doi.org/10.1109/asap.2000.862400">https://doi.org/10.1109/asap.2000.862400</a>.
  ieee: 'M. Bednara, O. Beyer, J. Teich, and R. Wanka, “Tradeoff analysis and architecture
    design of a hybrid hardware/software sorter,” in <i>Proc. Int. Conf. on Application
    Specific Systems, Architectures, and Processors (ASAP)</i>, 2000, pp. 299–308,
    doi: <a href="https://doi.org/10.1109/asap.2000.862400">10.1109/asap.2000.862400</a>.'
  mla: Bednara, M., et al. “Tradeoff Analysis and Architecture Design of a Hybrid
    Hardware/Software Sorter.” <i>Proc. Int. Conf. on Application Specific Systems,
    Architectures, and Processors (ASAP)</i>, 2000, pp. 299–308, doi:<a href="https://doi.org/10.1109/asap.2000.862400">10.1109/asap.2000.862400</a>.
  short: 'M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application
    Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.'
date_created: 2020-10-02T10:30:38Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1109/asap.2000.862400
language:
- iso: eng
page: 299-308
publication: Proc. Int. Conf. on Application Specific Systems, Architectures, and
  Processors (ASAP)
publication_identifier:
  isbn:
  - '0769507166'
publication_status: published
status: public
title: Tradeoff analysis and architecture design of a hybrid hardware/software sorter
type: conference
user_id: '15415'
year: '2000'
...
---
_id: '2433'
author:
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Simon
  full_name: Maurer, Simon
  last_name: Maurer
citation:
  ama: Plessl C, Maurer S. <i>Hardware/Software Codesign in Speech Compression Applications</i>.
    Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.
  apa: Plessl, C., &#38; Maurer, S. (2000). <i>Hardware/Software Codesign in Speech
    Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich,
    Switzerland.
  bibtex: '@book{Plessl_Maurer_2000, title={Hardware/Software Codesign in Speech Compression
    Applications}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland},
    author={Plessl, Christian and Maurer, Simon}, year={2000} }'
  chicago: Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech
    Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich,
    Switzerland, 2000.
  ieee: C. Plessl and S. Maurer, <i>Hardware/Software Codesign in Speech Compression
    Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland,
    2000.
  mla: Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech
    Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich,
    Switzerland, 2000.
  short: C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications,
    Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
date_created: 2018-04-17T15:56:00Z
date_updated: 2022-01-06T06:56:17Z
department:
- _id: '518'
keyword:
- co-design
- speech processing
publisher: Computer Engineering and Networks Lab, ETH Zurich, Switzerland
status: public
title: Hardware/Software Codesign in Speech Compression Applications
type: mastersthesis
user_id: '24135'
year: '2000'
...
---
_id: '3247'
author:
- first_name: Clemens
  full_name: Fischer, Clemens
  last_name: Fischer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an
    Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>. 2000:92--101.
  apa: Fischer, C., &#38; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal
    Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>,
    92--101.
  bibtex: '@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as
    a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin
    of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101}
    }'
  chicago: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as
    a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of
    the {EATCS}</i>, 2000, 92--101.
  ieee: C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis
    for an Object-Oriented Integrated Formal Method,” <i>Bulletin of the {EATCS}</i>,
    pp. 92--101, 2000.
  mla: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal
    Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>,
    2000, pp. 92--101.
  short: C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
date_created: 2018-06-14T07:17:49Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
page: 92--101
publication: Bulletin of the {EATCS}
status: public
title: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated
  Formal Method
type: journal_article
user_id: '29719'
year: '2000'
...