Yüklüyor…

QR Kod

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...

Detaylı Bibliyografya
Asıl Yazarlar:	Moutinho, Filipe de Carvalho (Yazar), Santos Gomes, Luís Filipe (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : 2016. Imprint: Springer,
Edisyon:	1st ed. 2016.
Seri Bilgileri:	SpringerBriefs in Electrical and Computer Engineering, 150
Konular:	Electronic circuits. Microprocessors. Computer architecture. Electronics. Electronic Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Online Erişim:	Full-text access

Benzer Materyaller

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Embedded Software Verification and Debugging
Baskı/Yayın Bilgisi: (Springer New York : Imprint: Springer, 2017.)

Techniques for Building Timing-Predictable Embedded Systems
Yazar:: Guan, Nan
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Embedded Systems Design with Special Arithmetic and Number Systems
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach /
Yazar:: Khan, Muhammad Usman Karim, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
Yazar:: Tlelo-Cuautle, Esteban, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Modeling and Simulation of Invasive Applications and Architectures
Yazar:: Roloff, Sascha, ve diğerleri
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2019.)

The Dark Side of Silicon Energy Efficient Computing in the Dark Silicon Era /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS /
Yazar:: Posser, Gracieli, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Brain-Machine Interface Closed-loop Bidirectional System Design /
Yazar:: Liu, Xilin, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Operational Amplifiers Theory and Design /
Yazar:: Huijsing, Johan
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

More-than-Moore 2.5D and 3D SiP Integration
Yazar:: Radojcic, Riko
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing /
Yazar:: Haj-Yahya, Jawad, ve diğerleri
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2018.)

CMOS Circuits for Biological Sensing and Processing
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Energy-Efficient Smart Temperature Sensors in CMOS Technology
Yazar:: Souri, Kamran, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Invasive Tightly Coupled Processor Arrays
Yazar:: LARI, VAHID
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2016.)

5G and E-Band Communication Circuits in Deep-Scaled CMOS
Yazar:: Vigilante, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Carbon Nanotubes for Interconnects Process, Design and Applications /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Soft Error Mechanisms, Modeling and Mitigation
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Near Threshold Computing Technology, Methods and Applications /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
Yazar:: Weichslgartner, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2018.)

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
Yazar:: Zhan, Naijun, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Post-Silicon Validation and Debug
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Approximate Circuits Methodologies and CAD /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Learning from VLSI Design Experience
Yazar:: Lee, Weng Fook
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Power Estimation on Electronic System Level using Linear Power Models
Yazar:: Schuermans, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Automated Methods in Cryptographic Fault Analysis
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Complex Digital Circuits
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
Yazar:: Chandrasekharan, Arun, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Design Automation for Differential MOS Current-Mode Logic Circuits
Yazar:: Badel, Stéphane, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Timing Performance of Nanometer Digital Circuits Under Process Variations
Yazar:: Champac, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Yazar:: Pagani, Santiago, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Contactless VLSI Measurement and Testing Techniques
Yazar:: Sayil, Selahattin
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)