Yüklüyor…

QR Kod

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research...

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Fummi, Franco (Editör), Wille, Robert (Editör)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : 2018. Imprint: Springer,
Edisyon:	1st ed. 2018.
Seri Bilgileri:	Lecture Notes in Electrical Engineering, 454
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

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

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

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 Systems Design with Special Arithmetic and Number Systems
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
Yazar:: Ray, Sandip, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
Yazar:: Seiter, Julia, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

Model-Implementation Fidelity in Cyber Physical System Design
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Designing with Xilinx® FPGAs Using Vivado /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Computer Architecture and Design
Yazar:: Bindal, Ahmet
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Fundamentals of Computer Architecture and Design
Yazar:: Bindal, Ahmet
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Design for Manufacturability with Advanced Lithography
Yazar:: Yu, Bei, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
Yazar:: Mohamed, Khaled Salah
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

Exact Design of Digital Microfluidic Biochips
Yazar:: Keszocze, Oliver, 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.)

Fundamentals of Electromigration-Aware Integrated Circuit Design
Yazar:: Lienig, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
Yazar:: Martins, Ricardo, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

Digital Systems From Logic Gates to Processors /
Yazar:: Deschamps, Jean-Pierre, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

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

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
Yazar:: Mehta, Ashok B.
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Smart Systems Integration and Simulation
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

Formal System Verification State-of the-Art and Future Trends /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

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

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics /
Yazar:: Gimenez, Salvador Pinillos
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
Yazar:: Goossens, Sven, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2017.)

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
Yazar:: Zhang, Chenxin, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
Yazar:: Moutinho, Filipe de Carvalho, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2016.)

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

Complex Digital Circuits
Yazar:: Deschamps, Jean-Pierre, 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.)

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

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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar:: Przigoda, Nils, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)