Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    UID:
    almafu_BV014860499
    Umfang: IX, 343 S. : graph. Darst.
    ISBN: 3-540-00199-9
    Serie: Lecture notes in computer science 2549 : State-of-the-art survey
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Asynchrones Schaltwerk ; Entwurfsautomation ; Eingebettetes System ; Systementwurf ; Nebenläufigkeit ; Petri-Netz ; Entwurfsautomation ; Formale Methode ; Verifikation ; Leistungsbewertung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    almahu_9947920426902882
    Umfang: X, 346 p. , online resource.
    ISBN: 9783540361909
    Serie: Lecture Notes in Computer Science, 2549
    Inhalt: As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon ‘real estate’ rocket to billions of dollars that have to be spent on design, veri?cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single-?- quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies? Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di?erent scienti?c communities. The bridges must be built very quickly, and be maximally ?exible to accommodate changes taking place in a logarithmic timescale.
    Anmerkung: Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic Blocks -- Asynchronous Circuits -- GALA (Globally Asynchronous — Locally Arbitrary) Design -- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design -- Decomposition in Asynchronous Circuit Design -- Embedded System Design -- Functional and Performance Modeling of Concurrency in VCC -- Modeling and Designing Heterogeneous Systems -- Timed Verification and Performance Analysis -- Timed Verification of Asynchronous Circuits -- Performance Analysis of Asynchronous Circuits Using Markov Chains.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540001997
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    almahu_9948621622902882
    Umfang: X, 346 p. , online resource.
    Ausgabe: 1st ed. 2002.
    ISBN: 9783540361909
    Serie: Lecture Notes in Computer Science, 2549
    Inhalt: As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon 'real estate' rocket to billions of dollars that have to be spent on design, veri?cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single-?- quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies? Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di?erent scienti?c communities. The bridges must be built very quickly, and be maximally ?exible to accommodate changes taking place in a logarithmic timescale.
    Anmerkung: Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic Blocks -- Asynchronous Circuits -- GALA (Globally Asynchronous - Locally Arbitrary) Design -- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design -- Decomposition in Asynchronous Circuit Design -- Embedded System Design -- Functional and Performance Modeling of Concurrency in VCC -- Modeling and Designing Heterogeneous Systems -- Timed Verification and Performance Analysis -- Timed Verification of Asynchronous Circuits -- Performance Analysis of Asynchronous Circuits Using Markov Chains.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783540001997
    Weitere Ausg.: Printed edition: ISBN 9783662176610
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    UID:
    gbv_1649188358
    Umfang: Online-Ressource
    ISBN: 9783540361909 , 3540361901
    Serie: Lecture Notes in Computer Science 2549
    Inhalt: Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic Blocks -- Asynchronous Circuits -- GALA (Globally Asynchronous — Locally Arbitrary) Design -- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design -- Decomposition in Asynchronous Circuit Design -- Embedded System Design -- Functional and Performance Modeling of Concurrency in VCC -- Modeling and Designing Heterogeneous Systems -- Timed Verification and Performance Analysis -- Timed Verification of Asynchronous Circuits -- Performance Analysis of Asynchronous Circuits Using Markov Chains.
    Inhalt: As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon ‘real estate’ rocket to billions of dollars that have to be spent on design, veri?cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single-?- quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies? Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di?erent scienti?c communities. The bridges must be built very quickly, and be maximally ?exible to accommodate changes taking place in a logarithmic timescale.
    Weitere Ausg.: ISBN 9783540001997
    Weitere Ausg.: Buchausg. u.d.T. Concurrency and hardware design Berlin : Springer, 2002 ISBN 3540001999
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Asynchrones Schaltwerk ; Entwurfsautomation ; Eingebettetes System ; Systementwurf ; Nebenläufigkeit ; Petri-Netz ; Entwurfsautomation ; Formale Methode ; Verifikation ; Leistungsbewertung ; Asynchrones Schaltwerk ; Entwurfsautomation ; Aufsatzsammlung ; Eingebettetes System ; Systementwurf ; Nebenläufigkeit ; Petri-Netz ; Aufsatzsammlung ; Entwurfsautomation ; Formale Methode ; Verifikation ; Leistungsbewertung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Buch
    Buch
    Berlin [u.a.] : Springer-Verlag
    UID:
    kobvindex_ZLB13447910
    Umfang: IX, 343 Seiten , graph. Darst. , 24 cm
    ISBN: 3540001999
    Serie: Lecture notes in computer science 2549
    Anmerkung: Literaturangaben , Text engl.
    Sprache: Englisch
    Schlagwort(e): Parallelverarbeitung ; Computer ; Design ; Konstruktion ; Petri-Netz
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    b3kat_BV014860499
    Umfang: IX, 343 S. , graph. Darst.
    ISBN: 3540001999
    Serie: Lecture notes in computer science 2549 : State-of-the-art survey
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Asynchrones Schaltwerk ; Entwurfsautomation ; Eingebettetes System ; Systementwurf ; Nebenläufigkeit ; Petri-Netz ; Entwurfsautomation ; Formale Methode ; Verifikation ; Leistungsbewertung ; Aufsatzsammlung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 9783540000990?
Meinten Sie 9783540000297?
Meinten Sie 9783540001317?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz