feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almahu_9949602261202882
    Format: 1 online resource (181 pages)
    Edition: 1st ed.
    ISBN: 9783030474874
    Note: Intro -- Foreword -- Acknowledgements -- Contents -- Contributors -- 1 Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- 1.1 Introduction -- 1.2 Teaching -- 1.3 Academic Self-Government -- 1.4 Basic Research and SFB 876 -- 1.5 Technology Transfer and ICD -- 1.6 Conclusion -- 2 Testing Implementation Soundness of a WCET Analysis Tool -- 2.1 Introduction -- 2.1.1 Tool Qualification -- 2.1.2 Predictability -- 2.1.3 WCET Analysis -- 2.1.4 The Central Idea: Proving Safety Properties -- 2.1.5 Terminology -- 2.2 Validation of Our WCET Analysis Tool -- 2.2.1 Control-Flow Graph Reconstruction -- 2.2.2 Value Analysis -- 2.2.3 Microarchitectural Analysis: Trace Validation -- 2.2.3.1 Semi-Automatic Derivation of the Abstract Architecture Model -- 2.2.3.2 Trace Validation -- 2.3 Conclusion -- References -- 3 The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- 3.1 Introduction -- 3.2 Bandwidth and Latency -- 3.3 Power Consumption -- 3.4 Temperature vs. Reliability -- 3.5 Safety and Security -- 3.6 Conclusion -- References -- 4 On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- 4.1 Introduction -- 4.2 Formal Analysis Based on Schedule Functions -- 4.2.1 Preemptive EDF -- 4.2.2 Preemptive Fixed-Priority Scheduling Algorithms -- 4.3 Utilization-Based Analyses for Fixed-Priority Scheduling -- 4.4 Probabilistic Schedulability Tests -- 4.5 Conclusion -- References -- 5 ASSISTECH: An Accidental Journey into Assistive Technology -- 5.1 The Beginning: Mainly a Facilitator (2000-2005) -- 5.2 Early Phase: Focus on Embedded Systems (2005-2010) -- 5.2.1 ASSISTECH and COP315 -- 5.2.2 SmartCane -- 5.2.3 OnBoard -- 5.3 Collaborations and Research: Formation of ASSISTECH (2010-2013) -- 5.3.1 Student Projects to Research -- 5.3.2 NVDA Activities -- 5.3.3 TacRead and DotBook. , 5.4 Change of Focus: Technology to Users (2013-2016) -- 5.4.1 Tactile Graphics Project -- 5.4.2 More Research Projects and International Collaboration -- 5.5 Consolidation and Growth (2016 - ) -- 5.5.1 RAVI -- 5.5.2 MAVI -- 5.5.3 NAVI -- 5.5.4 Outreach Through Conferences -- 5.5.5 Major Recognitions -- 5.6 Conclusion -- References -- 6 Reflecting on Self-Aware Systems-on-Chip -- 6.1 Introduction to Self-Aware Systems-on-Chip -- 6.1.1 Computational Self-Awareness -- 6.1.2 Cyber-Physical Systems-on-Chip -- 6.2 Reflective System Models -- 6.2.1 Middleware for Reflective Decision-Making -- 6.3 Managing Energy-Efficient Chip Multiprocessors -- 6.3.1 Single Input Single Output Controllers -- 6.3.2 Multiple Input Multiple Output Controllers -- 6.3.3 Adaptive Control Methods -- 6.3.4 Hierarchical Controllers -- 6.4 Heterogeneous Mobile Governors: Energy-Efficient Mobile System-on-a-Chip -- 6.4.1 Sensors to Capture Dynamism -- 6.4.2 Toward Self-Aware Governors -- 6.5 Adaptive Memory: Managing Runtime Variability -- 6.5.1 Sharing Distributed Memory Space -- 6.5.2 Memory Phase Awareness -- 6.5.3 Quality-Configurable Memory -- 6.6 What's Ahead? -- 6.6.1 Example Use Case: Autonomous Driving -- 6.7 Summary -- References -- 7 Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- 7.1 Introduction -- 7.2 RISC Framework -- 7.2.1 RISC Compiler -- 7.2.1.1 Segment Graph Construction -- 7.2.1.2 Conflict Analysis -- 7.2.1.3 Source Code Instrumentation -- 7.2.2 RISC Simulator -- 7.2.3 RISC Analysis and Transformation Tools -- 7.3 Experiments -- 7.3.1 Mandelbrot Renderer -- 7.4 RISC Open Source Project -- 7.4.1 Open Source Code and Documentation -- 7.4.2 Binary Image for ``Plug-and-Play'' Evaluation -- 7.5 Conclusion -- References -- 8 Impact of Negative Capacitance Field-Effect Transistor (NCFET) on Many-Core Systems -- 8.1 Introduction. , 8.1.1 Negative Capacitance Field-Effect Transistor (NCFET) -- 8.2 Modeling NCFET at the System Level -- 8.2.1 Processor-Level Investigation -- 8.2.2 Simulation of NCFET-Based Many-Core -- 8.3 Performance, Power, and Cooling Trade-Offs with NCFET-based Many-Cores -- 8.3.1 Impact of NCFET on Performance -- 8.3.2 Impact of NCFET on Cooling Requirements -- 8.3.3 Impact of NCFET on Power Management Techniques -- 8.4 NCFET-Aware Voltage Scaling -- 8.4.1 Importance of NCFET-Aware DVS -- 8.4.2 NCFET-Aware DVS Technique -- 8.4.2.1 Design-Time Models -- 8.4.2.2 Runtime Models -- 8.4.3 Operating Voltage Selection -- 8.4.4 Evaluation -- 8.4.4.1 Experimental Setup -- 8.4.4.2 NCFET-Aware DVS Results and Analysis -- 8.5 Conclusion -- References -- 9 Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- 9.1 Introduction -- 9.2 Preliminaries and Definitions -- 9.2.1 System Model -- 9.2.2 *-Predictability -- 9.3 Run-Time Requirement Enforcement -- 9.4 Taxonomy of Run-Time Requirement Enforcers -- 9.4.1 Enforcement Automata (EA) -- 9.4.2 i-lets and e-lets -- 9.5 Case Study -- 9.5.1 Enforcement Problem Description -- 9.5.2 Power, Latency, and Energy Model -- 9.5.3 Energy-Minimized Timing Enforcement -- 9.5.4 Distributed Enforcement -- 9.5.5 Centralized Enforcement -- 9.5.6 Lower Latency Bound Enforcement and Range Extenders -- 9.6 Conclusions -- References -- 10 Compilation for Real-Time Systems a Decade After Predator -- 10.1 Introduction -- 10.2 Challenges and State-of-the-Art in WCET-Aware Compilation During Predator -- 10.3 Integration of Task Coordination into WCET-Aware Compilation -- 10.4 Analysis and Optimization of Multi-Processor Systems on Chip -- 10.5 Multi-Objective Compiler Optimizations Under Real-Time Constraints -- 10.6 Conclusions -- References -- Index.
    Additional Edition: Print version: Chen, Jian-Jia A Journey of Embedded and Cyber-Physical Systems Cham : Springer International Publishing AG,c2020 ISBN 9783030474867
    Language: English
    Keywords: Electronic books. ; Festschrift ; Festschriften. ; Festschriften.
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almafu_BV047580497
    Format: 1 Online-Ressource (XIII, 410 p. 118 illus., 89 illus. in color).
    Edition: 1st ed. 2021
    ISBN: 978-3-030-89657-7
    Series Statement: Information Systems and Applications, incl. Internet/Web, and HCI 13058
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-89656-0
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-89658-4
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Suchmaschine ; Information Retrieval ; Ähnlichkeitssuche ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almahu_9948574965302882
    Format: 1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)
    Edition: 1st edition 2021.
    ISBN: 3-030-47487-9
    Content: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Note: Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology -- Chapter 6. Reflecting on Self-aware Systems-on-Chip -- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems -- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator. , English
    Additional Edition: ISBN 3-030-47486-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9949427670702882
    Format: 1 online resource (xiii, 491 pages) : , illustrations (chiefly colour)
    Edition: 1st ed.
    ISBN: 3-11-078594-3
    Series Statement: De Gruyter STEM ; Volume 1/3
    Content: "Machine Learning under Resource Constraints addresses novel machine learning algorithms that are challenged by high-throughput data, by high dimensions, or by complex structures of the data in three volumes. Resource constraints are given by the relation between the demands for processing the data and the capacity of the computing machinery. The resources are runtime, memory, communication, and energy. Hence, modern computer architectures play a significant role. Novel machine learning algorithms are optimized with regard to minimal resource consumption. Moreover, learned predictions are executed on diverse architectures to save resources. It provides a comprehensive overview of the novel approaches to machine learning research that consider resource constraints, as well as the application of the described methods in various domains of science and engineering. Volume 1 establishes the foundations of this new field. It goes through all the steps from data collection, their summary and clustering, to the different aspects of resource-aware learning, i.e., hardware, memory, energy, and communication awareness. Several machine learning methods are inspected with respect to their resource requirements and how to enhance their scalability on diverse computing architectures ranging from embedded systems to large computing clusters. Ranges from embedded systems to large computing clusters. Provides application of the methods in various domains of science and engineering."--Provided by publisher.
    Note: "Part of the multi-volume work Machine Learning under Resource Constraints. In the series De Gruyter STEM."--Provided by publisher. , "Final report of CRC 876". , "Also of interest: Volume 2, Machine Learning under Resource Constraints. Discovery in Physics, Morik, Rhode (Eds.), 2023, ISBN 978-3-11-078595-1, e-ISBN 978-3-11-078596-8 ; Volume 3, Machine Learning under Resource Constraints. Applications, Morik, Rahnenführer, Wietfeld (Eds.), 2023, ISBN 978-3-11-078597-5, e-ISBN 978-3-11-078598-2."--Page ii. , Introduction / , Embedded Systems and Sustainability -- , The Energy Consumption of Machine Learning -- , Memory Demands of Machine Learning -- , Structure of this Book -- , Data Gathering and Resource Measuring -- , Declarative Stream-Based Acquisition and Processing of OS Data with kCQL / , PhyNetLab Test Bed / , Zero-Power/Low-Power Sensing / , Summary Extraction from Streams / , Coresets and Sketches for Regression Problems on Data Streams and Distributed Data / , Structured Data -- , Spatio-Temporal Random Fields / , The Weisfeiler-Leman Method for Machine Learning with Graphs / , Deep Graph Representation Learning / , High-Quality Parallel Max-Cut Approximation Algorithms for Shared Memory / , Millions of Formulas / , Cluster Analysis -- , Sparse Partitioning Around Medoids / , Clustering of Polygonal Curves and Time Series / , Data Aggregation for Hierarchical Clustering / , Matrix Factorization with Binary Constraints / , Hardware-Aware Execution -- , FPGA-Based Backpropagation Engine for Feed-Forward Neural Networks / , Processor-Specific Code Transformation / , Extreme Multicore Classification / , Optimization of ML on Modern Multicore Systems / , 7 Memory Awareness -- , Efficient Memory Footprint Reduction / , Machine Learning Based on Emerging Memories / , Cache-Friendly Execution of Tree Ensembles / , Communication Awareness -- , Timing-Predictable Learning and Multiprocessor Synchronization / , Communication Architecture for Heterogeneous Hardware / , Energy Awareness -- , Integer Exponential Families / , Power Consumption Analysis and Uplink Transmission Power / , Issued also in print. , In English.
    Additional Edition: ISBN 3-11-078593-5
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_1778426565
    Format: 1 Online-Ressource (176 p.)
    ISBN: 9783030474874
    Content: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing
    Note: English
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    b3kat_BV044935345
    Format: 1 Online-Ressource (L, 250 p. 116 illus., 1 illus. in color)
    ISBN: 9783319774794
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-77478-7
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Author information: Shafique, Muhammad
    Author information: Pagani, Santiago
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1831669528
    Format: 1 Online-Ressource (XIV, 491 Seiten)
    Edition: Issued also in print
    ISBN: 9783110785944 , 9783110786125
    Series Statement: Machine Learning under Resource Constraints Volume 1
    Content: Machine Learning under Resource Constraints addresses novel machine learning algorithms that are challenged by high-throughput data, by high dimensions, or by complex structures of the data in three volumes. Resource constraints are given by the relation between the demands for processing the data and the capacity of the computing machinery. The resources are runtime, memory, communication, and energy. Hence, modern computer architectures play a significant role. Novel machine learning algorithms are optimized with regard to minimal resource consumption. Moreover, learned predictions are executed on diverse architectures to save resources. It provides a comprehensive overview of the novel approaches to machine learning research that consider resource constraints, as well as the application of the described methods in various domains of science and engineering. Volume 1 establishes the foundations of this new field. It goes through all the steps from data collection, their summary and clustering, to the different aspects of resource-aware learning, i.e., hardware, memory, energy, and communication awareness. Several machine learning methods are inspected with respect to their resource requirements and how to enhance their scalability on diverse computing architectures ranging from embedded systems to large computing clusters
    Note: Frontmatter , Contents , Preface , 1 Introduction , Data Gathering and Resource Measuring , 3 Streaming Data, Small Devices , 4 Structured Data , 5 Cluster Analysis , 6 Hardware-Aware Execution , 7 Memory Awareness , 8 Communication Awareness , 9 Energy Awareness , Bibliography , Index , List of Contributors , Issued also in print , In English
    Additional Edition: ISBN 9783110785937
    Additional Edition: Erscheint auch als Druck-Ausgabe Machine learning under resource constraints ; Volume 1: Fundamentals Berlin : De Gruyter, 2023 ISBN 9783110785937
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Künstliche Intelligenz ; Maschinelles Lernen ; Eingebettetes System ; Big Data
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    edoccha_9959644591502883
    Format: 1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)
    Edition: 1st edition 2021.
    ISBN: 3-030-47487-9
    Content: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Note: Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology -- Chapter 6. Reflecting on Self-aware Systems-on-Chip -- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems -- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator. , English
    Additional Edition: ISBN 3-030-47486-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    edocfu_9959644591502883
    Format: 1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)
    Edition: 1st edition 2021.
    ISBN: 3-030-47487-9
    Content: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Note: Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology -- Chapter 6. Reflecting on Self-aware Systems-on-Chip -- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems -- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator. , English
    Additional Edition: ISBN 3-030-47486-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    kobvindex_HPB1356994849
    Format: 1 online resource (XIV, 491 p.).
    ISBN: 9783110785944 , 3110785943
    Series Statement: De Gruyter STEM Ser.
    Content: Machine Learning under Resource Constraints addresses novel machine learning algorithms that are challenged by high-throughput data, by high dimensions, or by complex structures of the data in three volumes. Resource constraints are given by the relation between the demands for processing the data and the capacity of the computing machinery. The resources are runtime, memory, communication, and energy. Hence, modern computer architectures play a significant role. Novel machine learning algorithms are optimized with regard to minimal resource consumption. Moreover, learned predictions are executed on diverse architectures to save resources. It provides a comprehensive overview of the novel approaches to machine learning research that consider resource constraints, as well as the application of the described methods in various domains of science and engineering. Volume 1 establishes the foundations of this new field. It goes through all the steps from data collection, their summary and clustering, to the different aspects of resource-aware learning, i.e., hardware, memory, energy, and communication awareness. Several machine learning methods are inspected with respect to their resource requirements and how to enhance their scalability on diverse computing architectures ranging from embedded systems to large computing clusters.
    Note: Frontmatter -- , Contents -- , Preface -- , 1 Introduction -- , Data Gathering and Resource Measuring -- , 3 Streaming Data, Small Devices -- , 4 Structured Data -- , 5 Cluster Analysis -- , 6 Hardware-Aware Execution -- , 7 Memory Awareness -- , 8 Communication Awareness -- , 9 Energy Awareness -- , Bibliography -- , Index -- , List of Contributors , In English.
    Additional Edition: ISBN 9783110786125
    Additional Edition: ISBN 9783110785937
    Language: English
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages