Kapak Resmi

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this...

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Verhulst, Eric. (Yazar, http://id.loc.gov/vocabulary/relators/aut), Boute, Raymond T. (http://id.loc.gov/vocabulary/relators/aut), Faria, José Miguel Sampaio. (http://id.loc.gov/vocabulary/relators/aut), Sputh, Bernhard H.C. (http://id.loc.gov/vocabulary/relators/aut), Mezhuyev, Vitaliy. (http://id.loc.gov/vocabulary/relators/aut)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	Elektronik Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	New York, NY : Springer US : Imprint: Springer, 2011.
Edisyon:	1st ed. 2011.
Konular:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Online Erişim:	https://doi.org/10.1007/978-1-4419-9736-4
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Scalable Techniques for Formal Verification
Yazar:: Ray, Sandip., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Adaptable Embedded Systems
Baskı/Yayın Bilgisi: (2013)

Cloud Connectivity and Embedded Sensory Systems
Yazar:: Spaanenburg, Lambert., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Integrated Optical Interconnect Architectures for Embedded Systems
Baskı/Yayın Bilgisi: (2013)

Heterogeneous Multicore Processor Technologies for Embedded Systems
Yazar:: Uchiyama, Kunio., ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Run-time Adaptation for Reconfigurable Embedded Processors
Yazar:: Bauer, Lars., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Baskı/Yayın Bilgisi: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
Yazar:: Gamatié, Abdoulaye., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
Yazar:: Keinert, Joachim., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
Yazar:: Morgado, Alonso., ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
Yazar:: Di Natale, Marco., ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Yazar:: Ahuja, Sumit., ve diğerleri
Baskı/Yayın Bilgisi: (2012)

CMOS Circuits for Passive Wireless Microsystems
Yazar:: Yuan, Fei., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Ultra-thin Chip Technology and Applications
Baskı/Yayın Bilgisi: (2011)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Baskı/Yayın Bilgisi: (2011)

Principles of VLSI RTL Design A Practical Guide /
Yazar:: Churiwala, Sanjay., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield /
Yazar:: Abu Rahma, Mohamed., ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Programming Many-Core Chips
Yazar:: Vajda, András., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Bio/CMOS Interfaces and Co-Design
Yazar:: Carrara, Sandro., ve diğerleri
Baskı/Yayın Bilgisi: (2013)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
Yazar:: Kundu, Sudipta., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Error Control for Network-on-Chip Links
Yazar:: Fu, Bo., ve diğerleri
Baskı/Yayın Bilgisi: (2012)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
Yazar:: Hohenauer, Manuel., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Focal-Plane Sensor-Processor Chips
Baskı/Yayın Bilgisi: (2011)

Power-efficient System Design
Yazar:: Panda, Preeti Ranjan., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices
Baskı/Yayın Bilgisi: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
Yazar:: Garg, Rajesh., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
Yazar:: Lin, Youn-Long Steve., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
Yazar:: Duan, Chunjie., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
Yazar:: Bosio, Alberto., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Minimizing and Exploiting Leakage in VLSI Design
Yazar:: Jayakumar, Nikhil., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Yazar:: Singh, Gaurav., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Baskı/Yayın Bilgisi: (2011)

Processor and System-on-Chip Simulation
Baskı/Yayın Bilgisi: (2010)

FPGA Design Best Practices for Team-based Design /
Yazar:: Simpson, Philip., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Process Variations and Probabilistic Integrated Circuit Design
Baskı/Yayın Bilgisi: (2012)

Automotive Radar Sensors in Silicon Technologies
Yazar:: Jain, Vipul., ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Scalable Multi-core Architectures Design Methodologies and Tools /
Baskı/Yayın Bilgisi: (2012)

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
Yazar:: Holleman, Jeremy., ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
Yazar:: Tajalli, Armin., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Low Power Networks-on-Chip
Baskı/Yayın Bilgisi: (2011)