Skip to main content
SpringerLink
Log in

Die Entwicklung der Informatik braucht Theorie und Praxis

Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf

  • Conference paper
GISI 95

Part of the book series: Informatik aktuell ((INFORMAT))

  • 143 Accesses

Zusammenfassung

Im folgenden soll anhand der Problematik der Repräsentation von Schaltfunktionen in CAD-Schaltkreisentwurfssystemen eine recht spannende und vielschichtige Interaktion zwischen Theorie und Praxis in der Informatikforschung dargestellt werden, die die These belegt, daß erfolgreiche und relevante Informatikforschung ein gesundes Zusammenspiel von mathematisch theoretischer, naturwissenschaftlich experimenteller und ingeniermäßig praktischer Forschungsarbeit erfordert.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. E. Bryant: Graph-Based Algorithms for Boolean Function Manipulation, IEEE Trans. Computers, C-35, 8, 1986, 677–691.

    Article  Google Scholar 

  2. R. E. Bryant: Symbolic Boolean Manipulation with Ordered Binary Decision Diagram, ACM Computing Surveys, Vol. 24, No.3 (Sep.), 293–318, 1992.

    Article  Google Scholar 

  3. J. Gergov, Ch. Meinel: Efficient Boolean Manipulation with OBDD’s Can Be Extended to FBDD’s, IEEE Transactions on Computers, Vol. 43, No. 10, 1994.

    Google Scholar 

  4. Ch. Meinel: Modified Branching Programs and Their Computational Power, LNCS 370, Springer-Verlag, 1989.

    Google Scholar 

  5. Ch. Meinel: Effiziente Algorithmen, Fachbuchverlag Leipzig, 1991.

    MATH  Google Scholar 

  6. I. Wegener: Efficient Data Structures for Boolean Functions, Discrete Mathematics 136, 347–372, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Professor für Theoretische Informatik FB IV, Universität Trier, Trier, 54286, Germany

    Christoph Meinel

Authors
  1. Christoph Meinel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Theoretische Informatik, ETH Zentrum, CH-8092, Zürich, Switzerland

    Friedbert Huber-Wäschle  & Peter Widmayer  & 

  2. Institut für Informatik, Universität Zürich, Winterthurer Strasse 190, CH-8057, Zürich, Switzerland

    Helmut Schauer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meinel, C. (1995). Die Entwicklung der Informatik braucht Theorie und Praxis. In: Huber-Wäschle, F., Schauer, H., Widmayer, P. (eds) GISI 95. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79958-7_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-79958-7_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60213-2

  • Online ISBN: 978-3-642-79958-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation