Model-Implementation Fidelity in Cyber Physical System Design

Model-Implementation Fidelity in Cyber Physical System Design

This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possi...

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

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

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

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

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

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

VLSI Design A Practical Guide for FPGA and ASIC Implementations /
ανά: Chandrasetty, Vikram Arkalgud
Έκδοση: (2011)

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

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

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

Models, Methods, and Tools for Complex Chip Design Selected Contributions from FDL 2012 /
Έκδοση: (2014)

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

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

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

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

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

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

Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems /
ανά: Fasthuber, Robert, κ.ά.
Έκδοση: (2013)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
ανά: Mohamed, Khaled Salah
Έκδοση: (2016)

FPGA Design Best Practices for Team-based Reuse /
ανά: Simpson, Philip Andrew
Έκδοση: (2015)

Designing with Xilinx® FPGAs Using Vivado /
Έκδοση: (2017)

Fundamentals of Computer Architecture and Design
ανά: Bindal, Ahmet
Έκδοση: (2017)

Design for Manufacturability with Advanced Lithography
ανά: Yu, Bei, κ.ά.
Έκδοση: (2016)

Low Power Interconnect Design
ανά: Saini, Sandeep
Έκδοση: (2015)

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

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

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute /
ανά: Williams, John Michael
Έκδοση: (2014)

Designing TSVs for 3D Integrated Circuits
ανά: Khan, Nauman, κ.ά.
Έκδοση: (2013)

Correct-by-Construction Approaches for SoC Design
ανά: Sinha, Roopak, κ.ά.
Έκδοση: (2014)

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

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

Arbitrary Modeling of TSVs for 3D Integrated Circuits
ανά: Salah, Khaled, κ.ά.
Έκδοση: (2015)

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

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
ανά: Pangracious, Vinod, κ.ά.
Έκδοση: (2015)

Analysis and Design of Networks-on-Chip Under High Process Variation
ανά: Ezz-Eldin, Rabab, κ.ά.
Έκδοση: (2015)

More than Moore Technologies for Next Generation Computer Design
Έκδοση: (2015)

Designing 2D and 3D Network-on-Chip Architectures
ανά: Tatas, Konstantinos, κ.ά.
Έκδοση: (2014)

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

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

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

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

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

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

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