Embedded Systems Development (Registro nro. 27491)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	03609Cam#a22004935i#4500
001 - NÚMERO DE CONTROL
campo de control	INGC-EBK-000063
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control	AR-LpUFI
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control	20220927105613.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija	cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija	130718s2014 xxu\| s \|\|\|\| 0\|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro	9781461438793
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código	10.1007/978-1-4614-3879-3
Fuente del número o código	doi
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación	TK7888.4
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	TJFC
Fuente	bicssc
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	TEC008010
Fuente	bisacsh
245 10 - MENCIÓN DE TÍTULO
Título	Embedded Systems Development
Medio	[libro electrónico] : ;
Resto del título	From Functional Models to Implementations /
Mención de responsabilidad, etc.	edited by Alberto Sangiovanni-Vincentelli...[et al.].
260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc.	New York, NY :
Nombre del editor, distribuidor, etc.	Springer New York :
--	Imprint: Springer,
Fecha de publicación, distribución, etc.	2014.
300 ## - DESCRIPCIÓN FÍSICA
Extensión	viii, 223 p. :
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido	text
Código de tipo de contenido	txt
Fuente	rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio	computer
Código del tipo de medio	c
Fuente	rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte	online resource
Código del tipo de soporte	cr
Fuente	rdacarrier
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo	text file
Formato de codificación	PDF
Fuente	rda
490 1# - MENCIÓN DE SERIE
Mención de serie	Embedded Systems,
Número Internacional Normalizado para Publicaciones Seriadas	2193-0155 ;
Designación de volumen o secuencia	20
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato	Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems -- Part I Model-Based Design and Synthesis -- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets -- Dataflow-based, Cross-Platform Design Flow for DSP Applications -- Part II Model-Driven, Integration and Verification of Heterogeneous Models -- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification -- Schedulability Analysis at Early Design Stages with MARTE -- Part III Component-Based Design and Real-Time Components -- Early Time-Budgeting for Component-Based Embedded Control Systems -- Contract-Based Reasoning for Component systems with Rich Interactions -- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems -- Part IV Timing Analysis and Time-Based Synthesis -- Distributed Priority Assignment in Real-Time Systems -- Exploration of Distributed Automotive Systems using Compositional Timing Analysis -- Design and Evaluation of Future Ethernet AVB-based ECU Networks.
520 ## - SUMARIO, ETC.
Sumario, etc.	This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. Â The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results. Â Â Describes integration of heterogeneous models; Discusses synthesis of task model implementations and code implementations; Compares model-based design vs. model-driven approaches; Explains how to enforce correctness by construction in the functional and time domains; Includes optimization techniques for control performance.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Engineering.
9 (RLIN)	259622
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Microprocessors.
9 (RLIN)	259640
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Electronics.
9 (RLIN)	259648
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Microelectronics.
9 (RLIN)	259649
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Electronic circuits.
9 (RLIN)	259798
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Circuits and Systems.
9 (RLIN)	259651
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Instrumentation.
9 (RLIN)	259652
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Processor Architectures.
9 (RLIN)	259645
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Sangiovanni-Vincentelli, Alberto,
Término indicativo de función/relación	ed.
9 (RLIN)	259961
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Zeng, Haibo,
Término indicativo de función/relación	ed.
9 (RLIN)	259962
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Di Natale, Marco,
Término indicativo de función/relación	ed.
9 (RLIN)	259963
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Marwedel, Peter,
Término indicativo de función/relación	ed.
9 (RLIN)	259964
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia	Printed edition:
Número Internacional Estándar del Libro	9781461438786
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso	<a href="http://dx.doi.org/10.1007/978-1-4614-3879-3">http://dx.doi.org/10.1007/978-1-4614-3879-3</a>
912 ## -
--	ZDB-2-ENG
929 ## -
--	COM
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha	Libro electrónico

No hay ítems disponibles.