Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /

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

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Shukla, Sandeep K. (Επιμελητής έκδοσης), Talpin, Jean-Pierre (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US : Imprint: Springer, 2010.
Θέματα:	Engineering. Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

Analog Layout Synthesis A Survey of Topological Approaches /
Έκδοση: (2011)

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

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

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

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

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

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

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

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

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Έκδοση: (2010)

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

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
ανά: Morgado, Alonso, κ.ά.
Έκδοση: (2012)

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

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)

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

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

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

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

Reconfigurable Computing From FPGAs to Hardware/Software Codesign /
Έκδοση: (2011)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

Power-Aware Testing and Test Strategies for Low Power Devices
Έκδοση: (2010)

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

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

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

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

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

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

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

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

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

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

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

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

Focal-Plane Sensor-Processor Chips
Έκδοση: (2011)

Ultra-thin Chip Technology and Applications
Έκδοση: (2011)

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