System Specification and Design Languages Selected Contributions from FDL 2010 /

System Specification and Design Languages Selected Contributions from FDL 2010 /

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results,...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kaźmierski, Tom J. (Επιμελητής έκδοσης), Morawiec, Adam (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York, 2012.
Έκδοση:	1.
Σειρά:	Lecture Notes in Electrical Engineering, 106
Θέματα:	Engineering. Microprocessors. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Electronics and Microelectronics, Instrumentation. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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)

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

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

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

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

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)

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

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

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

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

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

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

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

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

Fundamentals of Computer Architecture and Design
ανά: Bindal, Ahmet
Έκδοση: (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)

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

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

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)

Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization /
ανά: Farooq, Umer, κ.ά.
Έκδοση: (2012)

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)

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

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

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

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