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
Filter
Materialart
Publikationsform
Verbünde
  • 1
    Online-Ressource
    Online-Ressource
    Cham : Springer International Publishing AG
    UID:
    (DE-627)1746185805
    Umfang: 1 online resource (158 pages)
    Ausgabe: 1st ed.
    ISBN: 9783319087535
    Inhalt: Provides an introduction to electronic system-level (ESL) design, along with background on simulation execution semantics for ESL models Discusses discrete event simulation, along with synchronous and out-of-order parallel discrete simulation approaches, including the underlying data structure, the scheduling algorithm, and the predictive static code analysis technique Includes guidelines for choosing among different simulation and diagnosis approaches for models with different features Presents the model analysis approaches to increase the observability for parallel ESL model development.
    Inhalt: Intro -- Foreword -- Preface -- Acknowledgments -- Contents -- Acronyms -- 1 Introduction -- 1.1 System-Level Design -- 1.1.1 Levels of Abstraction -- 1.1.2 The Y-Chart -- 1.1.3 System-Level Design Methodologies -- 1.1.4 Electronic System-Level Design Process -- 1.2 Validation and Simulation -- 1.2.1 Language Support for System-Level Design -- 1.2.2 System Simulation Approaches -- 1.2.3 Discrete Event Simulation -- 1.3 Goals -- 1.4 Overview -- 1.5 Related Work -- 1.5.1 The SpecC Language -- 1.5.2 The SystemC Language -- 1.5.3 The System-on-Chip Environment Design Flow -- 1.5.4 Multicore Technology and Multithreaded Programming -- 1.5.5 Efficient Model Validation and Simulation -- 2 The ConcurrenC Model of Computation -- 2.1 Motivation -- 2.2 Models of Computation -- 2.3 ConcurrenC MoC -- 2.3.1 Relationship to C-based SLDLs -- 2.3.2 ConcurrenC Features -- 2.3.3 Communication Channel Library -- 2.3.4 Relationship to KPN and SDF -- 2.4 Case Study -- 3 Synchronous Parallel Discrete Event Simulation -- 3.1 Traditional Discrete Event Simulation -- 3.2 SLDL Multithreading Semantics -- 3.2.1 Cooperative Multithreading in SystemC -- 3.2.2 Pre-emptive Multithreading in SpecC -- 3.3 Synchronous Parallel Discrete Event Simulation -- 3.4 Synchronization for Multicore Parallel Simulation -- 3.4.1 Protecting Scheduling Resources -- 3.4.2 Protecting Communication -- 3.4.3 Channel Locking Scheme -- 3.4.4 Automatic Code Instrumentation for Communication Protection -- 3.5 Implementation Optimization for Multicore Simulation -- 3.6 Experiments and Results -- 3.6.1 Case Study on a H.264 Video Decoder -- 3.6.2 Case Study on a JPEG Encoder -- 4 Out-of-Order Parallel Discrete Event Simulation -- 4.1 Motivation -- 4.2 Out-of-Order Parallel Discrete Event Simulation -- 4.2.1 Notations -- 4.2.2 Out-of-Order PDES Scheduling Algorithm.
    Anmerkung: Description based on publisher supplied metadata and other sources
    Weitere Ausg.: 9783319087528
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe 9783319087528
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    (DE-604)BV049534758
    Umfang: n, 188 Seiten , Illustrationen, Diagramme
    Anmerkung: Dissertation München, Ludwig-Maximilians-Universität 2023
    Weitere Ausg.: Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-329995
    Weitere Ausg.: 10.5282/edoc.32999
    Sprache: Englisch
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    (DE-604)BV040453702
    Umfang: 180 S. , 215 mm x 148 mm, 250 g
    ISBN: 9783862052820
    Serie: Reihe interkulturelle Kommunikation 11
    Anmerkung: Zugl.: Erfurt, Univ., Diss., 2012
    Sprache: Deutsch
    Fachgebiete: Komparatistik. Außereuropäische Sprachen/Literaturen
    RVK:
    Schlagwort(e): Deutsch ; Chinesisch ; Dolmetschen ; Laie ; Kulturkontakt ; Hochschulschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    (DE-627)1789666899
    ISBN: 9783030893903
    In: CLAR (4. : 2021 : Hangzhou), Logic and Argumentation, Cham : Springer, 2021, (2021), Seite 79-93, 9783030893903
    In: year:2021
    In: pages:79-93
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    Cham : Springer International Publishing
    UID:
    (DE-627)1659389976
    Umfang: Online-Ressource (XIX, 145 p. 51 illus., 41 illus. in color, online resource)
    ISBN: 9783319087535
    Serie: SpringerLink
    Inhalt: Introduction -- The ConcurrenC Model of Computation -- Synchronous Parallel Discrete Event Simulation -- Out-of-order Parallel Discrete Event Simulation -- Optimized Out-of-order Parallel Discrete Event Simulation -- Comparison and Outlook -- Utilizing the Parallel Simulation Infrastructure -- Conclusions.
    Inhalt: This book offers readers a set of new approaches and tools a set of tools and techniques for facing challenges in parallelization with design of embedded systems. It provides an advanced parallel simulation infrastructure for efficient and effective system-level model validation and development so as to build better products in less time. Since parallel discrete event simulation (PDES) has the potential to exploit the underlying parallel computational capability in today’s multi-core simulation hosts, the author begins by reviewing the parallelization of discrete event simulation, identifying problems and solutions. She then describes out-of-order parallel discrete event simulation (OoO PDES), a novel approach for efficient validation of system-level designs by aggressively exploiting the parallel capabilities of todays’ multi-core PCs. This approach enables readers to design simulators that can fully exploit the parallel processing capability of the multi-core system to achieve fast speed simulation, without loss of simulation and timing accuracy. Based on this parallel simulation infrastructure, the author further describes automatic approaches that help the designer quickly to narrow down the debugging targets in faulty ESL models with parallelism. • Provides an introduction to electronic system-level (ESL) design, along with background on simulation execution semantics for ESL models; • Discusses discrete event simulation, along with synchronous and out-of-order parallel discrete simulation approaches, including the underlying data structure, the scheduling algorithm, and the predictive static code analysis technique; • Includes guidelines for choosing among different simulation and diagnosis approaches for models with different features; • Presents the model analysis approaches to increase the observability for parallel ESL model development.
    Anmerkung: Description based upon print version of record , IntroductionThe ConcurrenC Model of Computation -- Synchronous Parallel Discrete Event Simulation -- Out-of-order Parallel Discrete Event Simulation -- Optimized Out-of-order Parallel Discrete Event Simulation -- Comparison and Outlook -- Utilizing the Parallel Simulation Infrastructure -- Conclusions.
    Weitere Ausg.: 9783319087528
    Weitere Ausg.: Druckausg. 978-331-90875-2-8
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    (DE-627)72391513X
    Umfang: 180 Seiten , graph. Darst. , 22 cm
    ISBN: 9783862052820
    Serie: Reihe interkulturelle Kommunikation 11
    Anmerkung: Literaturverz. S. 163 - 180 , Zugl.: Erfurt, Univ., Phil. Fak., Diss., 2012
    Sprache: Chinesisch , Deutsch
    Fachgebiete: Komparatistik. Außereuropäische Sprachen/Literaturen
    RVK:
    Schlagwort(e): Deutsch ; Chinesisch ; Dolmetschen ; Laie ; Kulturkontakt ; Deutsch ; Chinesisch ; Dolmetschen ; Laie ; Kulturkontakt ; Diskursanalyse ; Hochschulschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    UID:
    (DE-101)1025687329
    Umfang: 180 S. , 22 cm, 250 g
    ISBN: 9783862052820
    Serie: Reihe interkulturelle Kommunikation Bd. 11
    Anmerkung: Zugl. leicht überarb. Fassung von: Erfurt, Univ., Diss., 2012
    Sprache: Deutsch
    Schlagwort(e): Deutsch ; Chinesisch ; Dolmetschen ; Laie ; Kulturkontakt ; Hochschulschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Online-Ressource
    Online-Ressource
    Cham [u.a.] : Springer
    UID:
    (DE-602)b3kat_BV042167346
    Umfang: 1 Online-Ressource
    ISBN: 9783319087535
    Weitere Ausg.: Erscheint auch als Druckausgabe ISBN 978-3-319-08753-5
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    UID:
    (DE-602)b3kat_BV040453702
    Umfang: 180 S. , 215 mm x 148 mm, 250 g
    ISBN: 9783862052820
    Serie: Reihe interkulturelle Kommunikation 11
    Anmerkung: Zugl.: Erfurt, Univ., Diss., 2012
    Sprache: Deutsch
    Fachgebiete: Komparatistik. Außereuropäische Sprachen/Literaturen
    RVK:
    Schlagwort(e): Deutsch ; Chinesisch ; Dolmetschen ; Laie ; Kulturkontakt ; Hochschulschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Online-Ressource
    Online-Ressource
    Cham [u.a.] : Springer
    UID:
    (DE-604)BV042167346
    Umfang: 1 Online-Ressource
    ISBN: 9783319087535
    Weitere Ausg.: Erscheint auch als Druckausgabe ISBN 978-3-319-08753-5
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz