Techniques for Building Timing-Predictable Embedded Systems

Techniques for Building Timing-Predictable Embedded Systems

This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline con...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Guan, Nan (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Έκδοση:	1st ed. 2016.
Θέματα:	Engineering. Microprocessors. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Smart Multicore Embedded Systems
Έκδοση: (2014)

Embedded Systems Design with FPGAs
Έκδοση: (2013)

Introduction to Embedded Systems Using Microcontrollers and the MSP430 /
ανά: Jiménez, Manuel, κ.ά.
Έκδοση: (2014)

Embedded Systems Development From Functional Models to Implementations /
Έκδοση: (2014)

Dynamic Memory Management for Embedded Systems
ανά: Atienza Alonso, David, κ.ά.
Έκδοση: (2015)

Embedded Systems Design with Special Arithmetic and Number Systems
Έκδοση: (2017)

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach /
Έκδοση: (2013)

Engineering Embedded Systems Physics, Programs, Circuits /
ανά: Hintenaus, Peter
Έκδοση: (2015)

Embedded Memory Design for Multi-Core and Systems on Chip
ανά: Mohammad, Baker
Έκδοση: (2014)

Embedded Software Verification and Debugging
Έκδοση: (2017)

Embedded Systems Design for High-Speed Data Acquisition and Control
ανά: Di Paolo Emilio, Maurizio
Έκδοση: (2015)

Multiprocessor Scheduling for Real-Time Systems
ανά: Baruah, Sanjoy, κ.ά.
Έκδοση: (2015)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
ανά: Moutinho, Filipe de Carvalho, κ.ά.
Έκδοση: (2016)

3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures /
ανά: Zatt, Bruno, κ.ά.
Έκδοση: (2013)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
ανά: Goossens, Sven, κ.ά.
Έκδοση: (2016)

Model-Based Design of Adaptive Embedded Systems
Έκδοση: (2013)

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC) /
ανά: Gangadharan, Sridhar, κ.ά.
Έκδοση: (2013)

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques /
ανά: Vermeulen, Bart, κ.ά.
Έκδοση: (2014)

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
ανά: Zhang, Chenxin, κ.ά.
Έκδοση: (2016)

System-Level Validation High-Level Modeling and Directed Test Generation Techniques /
ανά: Chen, Mingsong, κ.ά.
Έκδοση: (2013)

Trusted Computing for Embedded Systems
Έκδοση: (2015)

SystemC and SystemC-AMS in Practice SystemC 2.3, 2.2 and SystemC-AMS 1.0 /
ανά: Banerjee, Amal, κ.ά.
Έκδοση: (2014)

Scalable and Near-Optimal Design Space Exploration for Embedded Systems
ανά: Kritikakou, Angeliki, κ.ά.
Έκδοση: (2014)

Digital Systems From Logic Gates to Processors /
ανά: Deschamps, Jean-Pierre, κ.ά.
Έκδοση: (2017)

Smart Systems Integration and Simulation
Έκδοση: (2016)

Pipelined Multiprocessor System-on-Chip for Multimedia
ανά: Javaid, Haris, κ.ά.
Έκδοση: (2014)

System Specification and Design Languages Selected Contributions from FDL 2010 /
Έκδοση: (2012)

Computing with Memory for Energy-Efficient Robust Systems
ανά: Paul, Somnath, κ.ά.
Έκδοση: (2014)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
ανά: Seiter, Julia, κ.ά.
Έκδοση: (2017)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
ανά: Mehta, Ashok B.
Έκδοση: (2016)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
ανά: Mehta, Ashok B.
Έκδοση: (2014)

Model-Implementation Fidelity in Cyber Physical System Design
Έκδοση: (2017)

High-Level Modeling and Synthesis of Analog Integrated Systems
ανά: Martens, Ewout S. J., κ.ά.
Έκδοση: (2008)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Έκδοση: (2016)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 /
Έκδοση: (2015)

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
ανά: Onabajo, Marvin, κ.ά.
Έκδοση: (2012)

An ASIC Low Power Primer Analysis, Techniques and Specification /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2013)

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits /
ανά: Arora, Mohit
Έκδοση: (2012)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
ανά: Martins, Ricardo, κ.ά.
Έκδοση: (2017)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
ανά: Tlelo-Cuautle, Esteban, κ.ά.
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_q9g7iuqms79uendku5h5mqdkh8