Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support thi...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Moutinho, Filipe de Carvalho (Συγγραφέας), Santos Gomes, Luís Filipe (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Έκδοση:	1st ed. 2016.
Σειρά:	SpringerBriefs in Electrical and Computer Engineering, 150
Θέματα:	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 Software Verification and Debugging
Έκδοση: (2017)

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)

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

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

Multi-Net Optimization of VLSI Interconnect
ανά: Moiseev, Konstantin, κ.ά.
Έκδοση: (2015)

Techniques for Building Timing-Predictable Embedded Systems
ανά: Guan, Nan
Έκδοση: (2016)

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 Systems Design with Special Arithmetic and Number Systems
Έκδοση: (2017)

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

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Jakushokas, Renatas, κ.ά.
Έκδοση: (2011)

Source-Synchronous Networks-On-Chip Circuit and Architectural Interconnect Modeling /
ανά: Mandal, Ayan, κ.ά.
Έκδοση: (2014)

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

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

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

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

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

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

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

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

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

Wideband CMOS Receivers
Έκδοση: (2015)

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

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

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

Reliable Software for Unreliable Hardware A Cross Layer Perspective /
ανά: Rehman, Semeen, κ.ά.
Έκδοση: (2016)

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

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

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

FPGAs for Software Programmers
Έκδοση: (2016)

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

Reversible and Quantum Circuits Optimization and Complexity Analysis /
ανά: Abdessaied, Nabila, κ.ά.
Έκδοση: (2016)

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

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

Microarchitecture of Network-on-Chip Routers A Designer's Perspective /
ανά: Dimitrakopoulos, Giorgos, κ.ά.
Έκδοση: (2015)

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

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

Cannot write session to /tmp/vufind_sessions/sess_rdr7f38lm2eae5bvbgd6v6re2a