Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

Εμφάνιση άλλων εκδόσεων (1)

This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear power plants and telecommunication systems. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gamatie, Abdoulaye (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York, 2010.
Θέματα:	Engineering. Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Adaptable Embedded Systems
Έκδοση: (2013)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
ανά: Keinert, Joachim, κ.ά.
Έκδοση: (2011)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Heterogeneous Multicore Processor Technologies for Embedded Systems
ανά: Uchiyama, Kunio, κ.ά.
Έκδοση: (2012)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

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

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

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

Embedded System Design Modeling, Synthesis and Verification /
ανά: Gajski, Daniel D., κ.ά.
Έκδοση: (2009)

Programming Many-Core Chips
ανά: Vajda, András
Έκδοση: (2011)

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

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

Principles of VLSI RTL Design A Practical Guide /
ανά: Churiwala, Sanjay, κ.ά.
Έκδοση: (2011)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

Bio/CMOS Interfaces and Co-Design
ανά: Carrara, Sandro
Έκδοση: (2013)

Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology /
Έκδοση: (2011)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Process Variations and Probabilistic Integrated Circuit Design
Έκδοση: (2012)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
ανά: Garg, Rajesh, κ.ά.
Έκδοση: (2010)

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
ανά: Keating, Michael
Έκδοση: (2011)

Low-Power Variation-Tolerant Design in Nanometer Silicon
Έκδοση: (2011)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

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

Nanosystems Design and Technology
ανά: Micheli, Giovanni, κ.ά.
Έκδοση: (2009)

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
ανά: Holleman, Jeremy, κ.ά.
Έκδοση: (2011)

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach /
Έκδοση: (2011)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Έκδοση: (2011)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ανά: Ahuja, Sumit, κ.ά.
Έκδοση: (2012)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
ανά: Verhulst, Eric, κ.ά.
Έκδοση: (2011)

Energy Harvesting Systems Principles, Modeling and Applications /
Έκδοση: (2011)

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
ανά: Kanekawa, Nobuyasu, κ.ά.
Έκδοση: (2011)

Processor and System-on-Chip Simulation
Έκδοση: (2010)

Scalable Multi-core Architectures Design Methodologies and Tools /
Έκδοση: (2012)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
ανά: Abu-Rahma, Mohamed H., κ.ά.
Έκδοση: (2013)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
ανά: Kundu, Sudipta, κ.ά.
Έκδοση: (2011)

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