Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβ€™s Selected Contributions on Specification, Design, and Verification from FDL 2009

Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβs Selected Contributions on Specification, Design, and Verification from FDL 2009

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Borrione, Dominique
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht Springer Science+Business Media B.V. 2010
Σειρά:	Lecture Notes in Electrical Engineering 63
Θέματα:	Engineering Computer science Systems engineering Circuits and Systems Programming Languages, Compilers, Interpreters
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-90-481-9304-2

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

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
ανά: Vachoux, A.
Έκδοση: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDLβ04
ανά: Boulet, Pierre
Έκδοση: (2005)

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications
ανά: Platzner, Marco
Έκδοση: (2010)

Towards a Design Flow for Reversible Logic
ανά: Wille, Robert
Έκδοση: (2010)

Hardware Verification with C++ A Practitionerβs Handbook
ανά: Mintz, Mike
Έκδοση: (2006)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

3-Dimensional VLSI A 2.5-Dimensional Integration Scheme
ανά: Deng, Yangdong
Έκδοση: (2010)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
ανά: Shukla, Sandeep K
Έκδοση: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
ανά: Popovici, Katalin
Έκδοση: (2010)

UML for SOC Design
ανά: Martin, Grant (Grant Edmund)
Έκδοση: (2005)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav
Έκδοση: (2010)

ESD Design for Analog Circuits
ανά: Vashchenko, Vladislav A
Έκδοση: (2010)

High-Frequency Oscillator Design for Integrated Transceivers
ανά: Tang, Johan
Έκδοση: (2005)

Extreme Statistics in Nanoscale Memory Design
ανά: Singhee, Amith
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
ανά: Lin, Youn-Long Steve
Έκδοση: (2010)

Smart AD and DA Conversion
ανά: van Roermund, Arthur
Έκδοση: (2010)

Ultra-Low Energy Domain-Specific Instruction-Set Processors
ανά: Catthoor, Francky
Έκδοση: (2010)

Pipelined ADC Design and Enhancement Techniques
ανά: Ahmed, Imran
Έκδοση: (2010)

Network-on-Chip Architectures A Holistic Design Exploration
ανά: Nicopoulos, Chrysostomos
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

Analog and Digital Signals and Systems
ανά: Yarlagadda, R. K. Rao
Έκδοση: (2010)

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters
ανά: Roermund, Arthur H. M
Έκδοση: (2010)

Variation Aware Analog and Mixed-Signal Circuit Design in Emerging Multi-Gate CMOS Technologies
ανά: Fulde, Michael
Έκδοση: (2010)

Design of Wireless Autonomous Datalogger ICβs
ανά: Claes, Wim
Έκδοση: (2005)

Embedded Microcontroller Interfacing Designing Integrated Projects
ανά: Gupta, Gourab Sen
Έκδοση: (2010)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1β3, 2003, Darmstadt, Germany
ανά: Glesner, Manfred
Έκδοση: (2006)

Statistical Analysis and Optimization for VLSI: Timing and Power
ανά: Srivastava, Ashish
Έκδοση: (2005)

Data Mining and Diagnosing IC Fails
ανά: Huisman, Leendert M.
Έκδοση: (2005)

Compact Modeling Principles, Techniques and Applications
ανά: Gildenblat, Gennady
Έκδοση: (2010)

EMC of Analog Integrated Circuits
ανά: RedoutΓ©, Jean-Michel
Έκδοση: (2010)

CMOS Processors and Memories
ανά: Iniewski, Krzysztof
Έκδοση: (2010)

Time-to-Digital Converters
ανά: Henzler, Stephan
Έκδοση: (2010)

Inside NAND Flash Memories
ανά: Micheloni, Rino
Έκδοση: (2010)

Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault
ανά: Wunderlich, Hans-Joachim
Έκδοση: (2010)

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

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

CMOS Capacitive Sensors for Lab-on-Chip Applications A Multidisciplinary Approach
ανά: Ghafar-Zadeh, Ebrahim
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan
Έκδοση: (2010)

C Compilers for ASIPs Automatic Compiler Generation with LISA
ανά: Hohenauer, Manuel
Έκδοση: (2010)

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