Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

QR Code

Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

None

Saved in:

Bibliographic Details
Main Authors:	Herrera, F., Ugarte, I.
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/29212
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Concurrent Subspace Optimization for Aircraft System Design
by: Zhang, Ke-shi
Published: (2011)

Development of Flexible Cu(In,Ga)Se2 Thin Film Solar Cell by Lift-Off Process
by: Abe, Yasuhiro, et al.
Published: (2011)

SRAM Cells for Embedded Systems
by: Singh, Jawar, et al.
Published: (2012)

Networking Applications for Embedded Systems
by: Zoican, Sorin
Published: (2012)

Open Development Platform for Embedded Systems
by: Ostúa, E., et al.
Published: (2012)

High-Level Synthesis for Embedded Systems
by: Dossis, Michael
Published: (2012)

Potential of Grid Technology for Embedded Systems and Applications
by: El-Dahb, Mona Abo, et al.
Published: (2012)

Architecting Embedded Software for Context-Aware Systems
by: Pantsar-Syväniemi, Susanna
Published: (2012)

Implementing Multimodal Biometric Solutions in Embedded Systems
by: Wang, Jingyan, et al.
Published: (2011)

Software Reverse Engineering in the Domain of Complex Embedded Systems
by: Kienle, Holger M., et al.
Published: (2012)

Towards Automotive Embedded Systems with Self-X Properties
by: Weiss, Gereon, et al.
Published: (2011)

Rapid Prototyping for Mobile Robots Embedded Control Systems
by: Melo, Leonimer Flavio de, et al.
Published: (2011)

Real-Time Operating Systems and Programming Languages for Embedded Systems
by: Orozco, Javier D., et al.
Published: (2012)

Real-Time Concurrency Control Protocol Based on Accessing Temporal Data
by: Han, Qilong
Published: (2012)

Texture Analysis for Off-Line Signature Verification
by: Vargas, Jesus F., et al.
Published: (2011)

Evaluation of Replacing Natural Gas Heat Plant with a Biomass Heat Plant - A Technical Review of Greenhouse Gas Emission Trade-Offs
by: Droppo, James G., et al.
Published: (2012)

Real-Time Motion Processing Estimation Methods in Embedded Systems
by: Botella, Guillermo, et al.
Published: (2012)

Reduced Logic and Low-Power FFT Architectures for Embedded Systems
by: Oruklu, Erdal, et al.
Published: (2011)

Integrating Neural Signal and Embedded System for Controlling Small Motor
by: Mansor, Wahidah, et al.
Published: (2011)

Context Aware Model-Checking for Embedded Software
by: Dhaussy, Philippe, et al.
Published: (2012)

Design of an Embedded Controller for Some Applications of an Automotives
by: Bajaj, Preeti, et al.
Published: (2011)

The Innovative Design of Low Cost Embedded Controller for Complex Control Systems
by: Shao, Meng, et al.
Published: (2012)

Use of Optoelectronics to Measure Biosignals Concurrently During Functional Magnetic Resonance Imaging of the Brain
by: MacIntosh, Bradley J, et al.
Published: (2011)

Specification for piling and embedded retaining walls : specification, contract documentation and measurement, guidance notes /
Published: (1996)

Safely Embedded Software for State Machines in Automotive Applications
by: Mottok, Juergen, et al.
Published: (2012)

Exciton States in Free-Standing and Embedded Semiconductor Nanocrystals
by: Fernández, Yuriel Núñez, et al.
Published: (2012)

Quasi-Particle Spectra on Substrate and Embedded Graphene Monolayers
by: Feher, Alexander, et al.
Published: (2011)

Rapid Prototyping of Embedded Microelectronics by Laser Direct-Write
by: Pique, Alberto
Published: (2011)

Real-Time Video Face Recognition for Embedded Devices
by: Costache, Gabriel, et al.
Published: (2011)

A Power Quality Monitoring System Via the Ethernet Network Based on the Embedded System
by: Yingkayun, Krisda, et al.
Published: (2011)

Frictional Property of Flexible Element
by: Imado, Keiji
Published: (2011)

Flexible Protein-Protein Docking
by: Schneider, Sebastian, et al.
Published: (2011)

SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems
by: Posadas, Héctor, et al.
Published: (2012)

A Hierarchical C2RTL Framework for Hardware Configurable Embedded Systems
by: Liu, Yongpan, et al.
Published: (2012)

Possibilities for Flexible MEMS: Take Display Systems as Examples
by: Lo, Cheng-Yao
Published: (2012)

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
by: Peñil, Pablo, et al.
Published: (2012)

Attracting pollinators vs escaping herbivores: eco-evolutionary dynamics of plants confronted with an ecological trade-off
by: Yacine, Youssef, et al.
Published: (2024-07-01)

Uniconazole-mediated growth regulation in Ophiopogon japonicus: yield maximization vs. medicinal quality trade-offs
by: Xiaoyang Cai, et al.
Published: (2025-07-01)

AWGN Watermark in Images and E-Books - Optimal Embedding Strength
by: Vučković, Vesna, et al.
Published: (2012)

Vulnerability Analysis and Risk Assessment for SoCs Used in Safety-Critical Embedded Systems
by: Chen, Yung-Yuan, et al.
Published: (2012)