Analysis, Architectures and Modelling of Embedded Systems (Registro nro. 66817)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 05691nam a22005895i 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control DE-He213
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20191014003436.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 100301s2009 gw | s |||| 0|eng d
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783642042843
-- 978-3-642-04284-3
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-642-04284-3
Fuente del número o código doi
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación TK7874.6
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia UYQE
Fuente bicssc
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia COM025000
Fuente bisacsh
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 004.6
Número de edición 23
001 - NÚMERO DE CONTROL
campo de control 000067087
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Rettberg, Achim.
Término indicativo de función/relación editor.
9 (RLIN) 155936
245 97 - MENCIÓN DE TÍTULO
Título Analysis, Architectures and Modelling of Embedded Systems
Medio [electronic resource] :
Resto del título Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
Mención de responsabilidad, etc. edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Berlin, Heidelberg :
Nombre del de productor, editor, distribuidor, fabricante Springer Berlin Heidelberg,
Fecha de producción, publicación, distribución, fabricación o copyright 2009.
300 64 - DESCRIPCIÓN FÍSICA
Extensión XI, 315 p.
Otras características físicas online resource.
336 64 - TIPO DE CONTENIDO
Término de tipo de contenido text
Código de tipo de contenido txt
Fuente rdacontent
337 64 - TIPO DE MEDIO
Nombre/término del tipo de medio computer
Código del tipo de medio c
Fuente rdamedia
338 64 - TIPO DE SOPORTE
Nombre/término del tipo de soporte online resource
Código del tipo de soporte cr
Fuente rdacarrier
347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo text file
Formato de codificación PDF
Fuente rda
490 81 - MENCIÓN DE SERIE
Mención de serie IFIP Advances in Information and Communication Technology,
Número Internacional Normalizado para Publicaciones Seriadas 1868-4238 ;
Designación de volumen o secuencia 310
505 80 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Modelling -- State Machine Based Method for Consolidating Vehicle Data -- Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation -- Modelling of Device Driver Software by Reflection of the Device Hardware Structure -- An Infrastructure for UML-Based Code Generation Tools -- A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance -- ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs -- Transaction Level Modelling -- Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support -- Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices -- Modeling Cache Effects at the Transaction Level -- Scheduling and Real-Time Systems -- Event Stream Calculus for Schedulability Analysis -- Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms -- Task-Dependent Processor Shutdown for Hard Real-Time Systems -- Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects -- Simulation, Verification and Test -- Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling -- Formal Verification for Embedded Systems Design Based on MDE -- Systematic Model-in-the-Loop Test of Embedded Control Systems -- Platforms and Processors -- Proteus, a Hybrid Virtualization Platform for Embedded Systems -- Constructing a Multi-OS Platform with Minimal Engineering Cost -- A Synchronization Method for Register Traces of Pipelined Processors -- Automotive Systems -- Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study -- Automatic Transformation of System Models in Automotive Electronics -- Towards a Load Balancing Middleware for Automotive Infotainment Systems -- Case Studies -- Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks -- A Hybrid Hardware and Software Component Architecture for Embedded System Design -- LowLevel Space Optimization of an AES Implementation for a BitSerial Fully Pipelined Architecture -- Wireless Sensor Networks -- The Case for Interpreted Languages in Sensor Networks -- Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard -- FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks -- Tutorials -- Efficient Modeling of Embedded Systems Using Computer-Aided Recoding -- New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies.
520 64 - SUMARIO, ETC.
Sumario, etc. This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009. The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS
Nota de tipo de archivo de ordenador o de datos ZDB-2-SCS
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer science.
-- 155937
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer network architectures.
-- 155938
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software engineering.
-- 9213
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer system performance.
-- 8956
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer aided design.
-- 155939
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Science.
-- 155940
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Special Purpose and Application-Based Systems.
-- 9217
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada System Performance and Evaluation.
-- 8961
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer-Aided Engineering (CAD, CAE) and Design.
-- 155941
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Systems Organization and Communication Networks.
-- 155942
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada User Interfaces and Human Computer Interaction.
-- 9817
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software Engineering.
-- 9213
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Zanella, Mauro C.
Término indicativo de función/relación editor.
-- 155943
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Amann, Michael.
Término indicativo de función/relación editor.
-- 155944
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Keckeisen, Michael.
Término indicativo de función/relación editor.
-- 155945
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Rammig, Franz J.
Término indicativo de función/relación editor.
-- 155946
710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
9 (RLIN) 155947
773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN
Título Springer eBooks
776 ## - 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 9783642042836
830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
Título uniforme IFIP Advances in Information and Communication Technology,
Número Internacional Normalizado para Publicaciones Seriadas 1868-4238 ;
Designación de volumen o secuencia 310
9 (RLIN) 155948
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso http://dx.doi.org/10.1007/978-3-642-04284-3
Nota pública de clik aquí para ver el libro electrónico
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro Electrónico

No hay ítems disponibles.